Superlinear Speedup by Program Transformation
https://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
https://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
A modern supercompiler for call-by-value functional languages
https://github.com/mazeppa-dev/mazeppa
https://github.com/mazeppa-dev/mazeppa
GitHub
GitHub - mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
A modern supercompiler for call-by-value functional languages - mazeppa-dev/mazeppa
👍7🔥2
EGRAPHS Community
E-graphs are data structures for working with large equivalence classes of programs; they have recently been employed to build new kinds of program optimizers and synthesizers.
https://egraphs.org/
E-graphs are data structures for working with large equivalence classes of programs; they have recently been employed to build new kinds of program optimizers and synthesizers.
https://egraphs.org/
egraphs.org
EGRAPHS
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
🔥1
Compiling to categories
https://conal.net/papers/compiling-to-categories/
https://conal.net/papers/compiling-to-categories/
conal.net
Compiling to categories
👍1