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
Functional Programming in Modern C++
https://youtu.be/HE71NqRpvTQ
https://youtu.be/HE71NqRpvTQ
YouTube
Functional Programming in Modern C++: The Imperatives Must Go! - Victor Ciura - ACCU 2023
ACCU Membership: https://tinyurl.com/ydnfkcyn
https://accu.org
https://www.accuconference.org/
Functional Programming in Modern C++: The Imperatives Must Go! - Victor Ciura - ACCU 2023
Slides: https://accu.org/conf-previous/accu2023/
Can a language whose…
https://accu.org
https://www.accuconference.org/
Functional Programming in Modern C++: The Imperatives Must Go! - Victor Ciura - ACCU 2023
Slides: https://accu.org/conf-previous/accu2023/
Can a language whose…
👍3🤡2💩1