The History of the Development of the C Language
https://www.bell-labs.com/usr/dmr/www/chist.html
https://www.bell-labs.com/usr/dmr/www/chist.html
❤1
Writing Safer C Code
https://github.com/Cyan4973/Writing_Safer_C_code
https://github.com/Cyan4973/Writing_Safer_C_code
GitHub
GitHub - Cyan4973/Writing_Safer_C_code: Collection of articles on good practices and tools to improve C code quality
Collection of articles on good practices and tools to improve C code quality - Cyan4973/Writing_Safer_C_code
Vale's First Prototype for Immutable Region Borrowing
https://verdagon.dev/blog/first-regions-prototype
https://verdagon.dev/blog/first-regions-prototype
🔥1
floatzone_sec23.pdf
1.7 MB
FloatZone: Accelerating Memory Error Detection Using the Floating Point UnitOn Maximizing Your Rust Code's Performance
https://jbecker.dev/research/on-writing-performant-rust
https://jbecker.dev/research/on-writing-performant-rust
jbecker.dev
On Maximizing Your Rust Code's Performance | Jonathan Becker
Fixing Memory Leaks in Rust
https://onesignal.com/blog/solving-memory-leaks-in-rust/
https://onesignal.com/blog/solving-memory-leaks-in-rust/
Customer Engagement Blog
Fixing Memory Leaks in Rust
Memory leakage in Rust is completely safe...until you run out and it results in your program being killed by the kernel. Learn how we solved this issue to eliminate memory leaks.
Patching GCC to build Actually Portable Executables (Cosmopolitan)
https://ahgamut.github.io/2023/07/13/patching-gcc-cosmo/
https://ahgamut.github.io/2023/07/13/patching-gcc-cosmo/
ahgamut.github.io
Patching GCC to build Actually Portable Executables | Blog Needs a Name
Gautham's Blog
Programming Deadlock
Math has a flaw https://youtu.be/HeQX2HjkcNo
Someone crafted a redstone PC in Minecraft to play Minecraft inside Minecraft
https://www.pcgamer.com/minecraftception-redstone-pc-chungus/
https://www.pcgamer.com/minecraftception-redstone-pc-chungus/
PC Gamer
Someone crafted a redstone PC in Minecraft to play Minecraft inside Minecraft
Behold, the Chungus 2.
A tutorial quantum interpreter in 150 lines of Lisp
https://www.stylewarning.com/posts/quantum-interpreter/?s=09
https://www.stylewarning.com/posts/quantum-interpreter/?s=09
Stylewarning
A tutorial quantum interpreter in 150 lines of Lisp
a personal blog
💊1
Reimplementation of Coroutines for Go
https://research.swtch.com/coro
https://research.swtch.com/coro
🤯1
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf
https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf
💩2❤1
Epigram: Practical Programming with Dependent Types
https://www.e-pig.org/downloads/epigram-notes.pdf
https://www.e-pig.org/downloads/epigram-notes.pdf
🤣1
Introducing Intel® Advanced Performance Extensions (Intel® APX)
https://www.intel.com/content/www/us/en/developer/articles/technical/advanced-performance-extensions-apx.html
https://www.intel.com/content/www/us/en/developer/articles/technical/advanced-performance-extensions-apx.html
Intel
Introducing Intel® Advanced Performance Extensions (Intel® APX)
These extensions expand the x86 instruction set with access to registers and features that improve performance.
❤1
Intel AVX10: Taking AVX-512 With More Features & Supporting It Across P/E Cores
https://www.phoronix.com/news/Intel-AVX10
https://www.phoronix.com/news/Intel-AVX10
Phoronix
Intel AVX10: Taking AVX-512 With More Features & Supporting It Across P/E Cores
Along with detailing Advanced Performance Extensions (APX), Intel as effectively a footnote to that also disclosed another exciting addition to find with future Intel CPUs: AVX10
❤2
The First Room-Temperature Ambient-Pressure Superconductor
https://arxiv.org/abs/2307.12008
https://arxiv.org/abs/2307.12008
👀2❤1🔥1
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.https://austral-lang.org/
austral-lang.org
The Austral Programming Language
Austral is a systems programming language designed for simplicity, maintability and security.
👏3🤡3🤔2🤮1