Hacker News
- Syd the perhaps most sophisticated sandbox for Linux https://rentry.co/DSRsecuritycoursepart2#syd-the-perhaps-most-sophisticated-sandbox-for-linux 19 comments
Linked pages
- Hyrum's Law http://www.hyrumslaw.com/ 560 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- Porting OpenBSD pledge() to Linux https://justine.lol/pledge/ 255 comments
- CompCert - The CompCert C compiler https://compcert.org/compcert-C.html 225 comments
- OTCC : Obfuscated Tiny C Compiler https://bellard.org/otcc/ 171 comments
- TCC : Tiny C Compiler http://bellard.org/tcc/ 158 comments
- Improvements to static analysis in the GCC 14 compiler | Red Hat Developer https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler 155 comments
- F* Tutorial http://fstar-lang.org/tutorial/ 109 comments
- Hand-optimizing the TCC code generator - Dr. Brian Robert Callahan https://briancallahan.net/blog/20220406.html 38 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- In-Memory-Only ELF Execution (Without tmpfs) Mrs Quis Will Think of a Better Title https://magisterquis.github.io/2018/03/31/in-memory-only-elf-execution.html 28 comments
- GitHub - aws/s2n-tls: An implementation of the TLS/SSL protocols https://github.com/aws/s2n-tls 11 comments
- - gVisor https://gvisor.dev/ 10 comments
- Unikernel - Wikipedia https://en.wikipedia.org/wiki/Unikernel 9 comments
- CVE - Search Results https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=rust 7 comments
- A Plan 9 C Compiler for RV32GC and RV64GC - YouTube https://www.youtube.com/watch?v=LHJqdXGb0uc 5 comments
- signal(7) - Linux manual page http://man7.org/linux/man-pages/man7/signal.7.html 3 comments
- CompCert - Main page https://compcert.org/ 1 comment
- GitHub - google/closure-compiler: A JavaScript checker and optimizer. https://github.com/google/closure-compiler 0 comments
- seccomp-nurse: secure sandbox on Linux http://chdir.org/~nico/seccomp-nurse/ 0 comments
Would you like to stay up to date with Unix? Checkout Unix
Weekly.
Related searches:
Search whole site: site:rentry.co
Search title: DSR enhanced security and "formal verification" course
See how to search.