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
Ergonomic Self-referential Types for Rust
https://blog.yoshuawuyts.com/self-referential-types/
https://blog.yoshuawuyts.com/self-referential-types/
Yoshuawuyts
Ergonomic Self-Referential Types for Rust
Using SIMD for Parallel Processing in Rust
https://nrempel.com/using-simd-for-parallel-processing-in-rust/
https://nrempel.com/using-simd-for-parallel-processing-in-rust/
π1
Reflection for C++26
https://isocpp.org/files/papers/P2996R4.html
https://isocpp.org/files/papers/P2996R4.html
π4π₯2π1
GCC's new fortification level
: The gains and costshttps://developers.redhat.com/articles/2022/09/17/gccs-new-fortification-level
Red Hat Developer
GCC's new fortification level: The gains and costs | Red Hat Developer
This article describes a new level of fortification supported in GCC. This new level detects more buffer overflows and bugs which mitigates security issues in applications at run time
An introduction to auto-vectorization with LLVM
https://artagnon.com/computing/compilers/intro-vec
https://artagnon.com/computing/compilers/intro-vec
Artagnon
An introduction to auto-vectorization with LLVM | artagnon.com
Ramkumar Ramachandra's personal website
Visualizing Rust codebases in a few seconds
https://github.com/lava-xyz/rust-ontologist
https://github.com/lava-xyz/rust-ontologist
GitHub
GitHub - lava-xyz/rust-ontologist: Visualizing Rust codebases in a few seconds
Visualizing Rust codebases in a few seconds. Contribute to lava-xyz/rust-ontologist development by creating an account on GitHub.
π2