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
All about Sanitizer Interceptors
https://maskray.me/blog/2023-01-08-all-about-sanitizer-interceptors
https://maskray.me/blog/2023-01-08-all-about-sanitizer-interceptors
MaskRay
All about sanitizer interceptors
Updated in 2025-08. Many sanitizers want to know every function in the program. User functions are instrumented and therefore known by the sanitizer runtime. For library functions, some (e.g. mmap, mu
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
Wikipedia
Abelian sandpile model
cellular automaton
๐1
Programming Deadlock
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
Abelian Sandpiles Explained
https://youtu.be/1MtEUErz7Gg
https://youtu.be/1MtEUErz7Gg
YouTube
Sandpiles - Numberphile
Luis David Garcia-Puente discusses sandpiles, and how they produce amazing "fractal zeroes".
Dr Garcia-Puente is an associate professor at Sam Houston State University and was interviewed while attending an MSRI-UP summer program.
We'd also like to thankโฆ
Dr Garcia-Puente is an associate professor at Sam Houston State University and was interviewed while attending an MSRI-UP summer program.
We'd also like to thankโฆ