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
CrossHair: Analysis tool for Python that blurs the line between testing and type systemshttps://github.com/pschanely/CrossHair
GitHub
GitHub - pschanely/CrossHair: An analysis tool for Python that blurs the line between testing and type systems.
An analysis tool for Python that blurs the line between testing and type systems. - pschanely/CrossHair
👍2😐1
C++ vs Rust Move Semantics Efficiency Comparison
https://arewestackefficientyet.com/
https://arewestackefficientyet.com/
👍1