MicrocodeDecryptor
austral
MicrocodeDecryptor | austral | |
---|---|---|
15 | 19 | |
1,478 | 1,040 | |
- | 2.4% | |
0.0 | 7.9 | |
almost 2 years ago | 4 days ago | |
Python | OCaml | |
- | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
MicrocodeDecryptor
- Undocumented functions in cpu's and other complex hardware
- "Intel TXE" pažeidžiamumas buvo išnaudotas šifravimo raktui nustatyti
-
Embedded Systems Weekly #110
Microcode decryptor A team of researchers has released a tool to decrypt and unpack the microcode for some low-power Intel CPUs. This makes possible to understand how Intel has implemented various security fixes and features. Among the security fixes you can find the one about the famous Spectre vulnerability. Among the features you can dig into the implementation of Intel TXT, SGX or VT-x.
- Intel Microcode Decryptor
-
Hacker News top posts: Jul 20, 2022
Intel Microcode Decryptor\ (253 comments)
- Intel Microcode Decrpyor
- Intel Microcode decryptor
austral
- Austral: A systems language with linear types. (2021)
- Where Are the Supply Chain Safe Programming Languages?
- Rust developers concerned about complexity, low usage
-
Modern Pascal is still in the race (2022)
> But these days folks are mostly used to the C style syntax.
Mostly, but I'm told the new Austral[1] language has syntax very similar to that of Pascal's.
1: https://austral-lang.org/
- Austral Programming Language
-
Why Use Pascal?
For the first couple of items on the list, Austral might be a language worth considering:
https://austral-lang.org
It's new so it obviously doesn't have the community of libraries to use, but it does have a very friendly and accessible Pascal-like syntax, while also having a state of the art linear type system.
-
Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?
For something more new look at Austral.
- The seven programming ur-languages
-
Must move types by Niko Matsakis
https://austral-lang.org has linear types and doesn’t use RAII but it doesn’t have defer.
What are some alternatives?
PicoCart64 - N64 development cart using a Raspberry Pi RP2040
Elm - Compiler for Elm, a functional language for reliable webapps.
riscv-uefi-edk2-docs - Documentation and status of UEFI on RISC-V
csharplang - The official repo for the design of the C# programming language
crbus_scripts - IPC scripts for access to Intel CRBUS
conjure - Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
JJazzLab-X - Moved to JJazzLab repo
go - The Go programming language
bashttp - µServer in Bash
deprecated-coalton-prototype - Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
build-your-own-x - Master programming by recreating your favorite technologies from scratch.
racket - The Racket repository