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
Building and operating a pretty big storage system called S3
https://www.allthingsdistributed.com/2023/07/building-and-operating-a-pretty-big-storage-system.html
https://www.allthingsdistributed.com/2023/07/building-and-operating-a-pretty-big-storage-system.html
All Things Distributed
Building and operating a pretty big storage system called S3
Three distinct perspectives on scale that come along with building and operating a storage system the size of S3.
Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review
https://percisely.xyz/syncronicity
https://percisely.xyz/syncronicity
percisely.xyz
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism
https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
🔥3💩1
Functions are Vectors
https://thenumb.at/Functions-are-Vectors/
https://thenumb.at/Functions-are-Vectors/
thenumb.at
Functions are Vectors
Typed Design Patterns for the Functional Era
https://arxiv.org/pdf/2307.07069.pdf
https://arxiv.org/pdf/2307.07069.pdf
💅5👍1🤣1
High-numerical-aperture EUV lithography: The next trick to tinier transistorshttps://spectrum.ieee.org/high-na-euv
IEEE Spectrum
This Machine Could Keep Moore’s Law on Track
The next trick to tinier transistors is high-numerical-aperture EUV lithography