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…
Introduction to Information Geometry
https://www.robots.ox.ac.uk/~lsgs/posts/2019-09-27-info-geom.html
https://www.robots.ox.ac.uk/~lsgs/posts/2019-09-27-info-geom.html
Branchless Programming (C++/ASM)
https://youtu.be/bVJ-mWWL7cE
https://youtu.be/bVJ-mWWL7cE
YouTube
Branchless Programming: Why "If" is Sloowww... and what we can do about it!
Support What's a Creel? on Patreon: https://www.patreon.com/whatsacreel
Office merch store: https://whats-a-creel-3.creator-spring.com
FaceBook: https://www.facebook.com/whatsacreel/
In this video we look at branchless programming. This is a technique…
Office merch store: https://whats-a-creel-3.creator-spring.com
FaceBook: https://www.facebook.com/whatsacreel/
In this video we look at branchless programming. This is a technique…
👍2
CLOS: Integrating Object-Oriented and Functional Programming
https://dreamsongs.com/Files/clos-cacm.pdf
https://dreamsongs.com/Files/clos-cacm.pdf
🔥2🤮1🥴1
Solving the mystery behind Abstract Algorithm’s magical optimizations
https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07
https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07
Medium
Solving the mystery behind Abstract Algorithm’s magical optimizations
EDIT: the links of this post are broken. Click below to read it on GitHub:
👍1🤯1💅1🦄1