Quantum_entropy_source_on_an_InP_photonic_integrated_circuit_for.pdf
1.6 MB
Quantum entropy source on an InP photonic
integrated circuit for random number generation
integrated circuit for random number generation
Generation_of_fresh_and_pure_random_numbers_for_loophole_free_Bell.pdf
4.3 MB
Generation of fresh and pure random numbers for loophole-free Bell tests
Programming Deadlock
Math has a flaw https://youtu.be/HeQX2HjkcNo
Game of Life inside Game of Life inside Game of Life ...
https://x.com/Hamptonism/status/1794699743064621365
https://x.com/Hamptonism/status/1794699743064621365
๐2
MSP101 - Monadic programs as container morphisms
https://www.youtube.com/watch?v=ft8LYjB22fc
https://www.youtube.com/watch?v=ft8LYjB22fc
๐3โค1
2011.13127v3.pdf
2.2 MB
Copy-and-Patch Compilation
: A fast compilation algorithm for high-level languages and bytecode๐ฅ2
๐2๐1
Distributed Snapshots
: Chandy-Lamport protocolhttps://blog.fponzi.me/2024-05-30-distributed-snapshots.html
blog.fponzi.me
Distributed Snapshots: Chandy-Lamport protocol
Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....
Everything About The Fast Inverse Square Root Algorithm (Quake 3)
https://github.com/francisrstokes/githublog/blob/main/2024%2F5%2F29%2Ffast-inverse-sqrt.md
https://github.com/francisrstokes/githublog/blob/main/2024%2F5%2F29%2Ffast-inverse-sqrt.md
GitHub
githublog/2024/5/29/fast-inverse-sqrt.md at main ยท francisrstokes/githublog
I'm sick of complex blogging solutions, so markdown files in a git repo it is - francisrstokes/githublog
๐ฑ1
Boehm-Berarducci Encoding
https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
okmij.org
Boehm-Berarducci Encoding
Explaining the Boehm-Berarducci isomorphism between strictly-positive algebraic data types and a class of polymorphic System F terms, and illustrating it on a simple example
๐ฅ1
Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
๐1๐ฅ1
Category Theory: a concise course
https://categorytheory.gitlab.io/
https://categorytheory.gitlab.io/
๐5
Writing Truly Memory Safe JIT Compilers
https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd
https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd
Medium
Writing Truly Memory Safe JIT Compilers
How to kill off a top source of browser exploits
๐2๐ฅ2
Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
Make Your Program Slower With Threads
https://brooker.co.za/blog/2014/12/06/random.html
https://brooker.co.za/blog/2014/12/06/random.html
brooker.co.za
Make Your Program Slower With Threads - Marc's Blog
Your Own Constant Folder in C/C++
https://www.neilhenning.dev/posts/yourownconstantfolder/
https://www.neilhenning.dev/posts/yourownconstantfolder/
Neil Henning
Your Own Constant Folder in C/C++
I was talking with someone today that really really wanted the sqrtps to be used in some code they were writing. And because of a quirk with clang (still there as of clang 18.1.0), if you happened to use -ffast-math clang would butcher the use of the intrinsic.โฆ
๐1
The ZINC experiment: an economical implementation of the ML language
https://inria.hal.science/inria-00070049/document
https://inria.hal.science/inria-00070049/document
๐ฅ1
Deforestation: transforming programs to eliminate trees
Philip Wadler
https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf
Philip Wadler
https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf
๐ฅ2