86-020.pdf
788.3 KB
No Silver Bullet: Essence and Accident in Software Engineeringhttps://www.cs.unc.edu/techreports/86-020.pdf
๐ฟ1
More speculations on arenas in C++
https://nullprogram.com/blog/2025/09/30/
https://nullprogram.com/blog/2025/09/30/
๐พ1
Programming in Assembly without an Operating System
https://youtu.be/ZFHnbozz7b4?si=_9eqsvsyIqW3FVad
https://youtu.be/ZFHnbozz7b4?si=_9eqsvsyIqW3FVad
YouTube
Programming in Assembly without an Operating System
I made a game in assembly that runs without an operating system. This is bare metal programming.
Use this code for 6% off the GEEKOM A9 Max: INKA9MAX
Amazon US: https://www.amazon.com/dp/B0FJ213R6G?maas=maas_adg_0FE41833A48421DFC866BA78A00785F4_afap_absโฆ
Use this code for 6% off the GEEKOM A9 Max: INKA9MAX
Amazon US: https://www.amazon.com/dp/B0FJ213R6G?maas=maas_adg_0FE41833A48421DFC866BA78A00785F4_afap_absโฆ
๐ฅ5
How we found a bug in Go's arm64 compiler
https://blog.cloudflare.com/how-we-found-a-bug-in-gos-arm64-compiler/
https://blog.cloudflare.com/how-we-found-a-bug-in-gos-arm64-compiler/
The Cloudflare Blog
How we found a bug in Go's arm64 compiler
84 million requests a second means even rare bugs appear often. We'll reveal how we discovered a race condition in the Go arm64 compiler and got it fixed.
โค5
CompCert C verified compiler: A compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processorshttps://github.com/AbsInt/CompCert
GitHub
GitHub - AbsInt/CompCert: The CompCert formally-verified C compiler
The CompCert formally-verified C compiler. Contribute to AbsInt/CompCert development by creating an account on GitHub.
๐ฟ7๐2
tree-traversal-locality.pdf
1.1 MB
Enhancing Locality for Recursive Traversals of Recursive Structures
https://dl.acm.org/doi/pdf/10.1145/2048066.2048104
https://dl.acm.org/doi/pdf/10.1145/2048066.2048104
๐2
Prime Numbers Show Unexpected Patterns of Fractal Chaos
https://www.scientificamerican.com/article/mathematicians-discover-prime-number-pattern-in-fractal-chaos/
https://www.scientificamerican.com/article/mathematicians-discover-prime-number-pattern-in-fractal-chaos/
Scientific American
Mathematicians Discover Prime Number Pattern in Fractal Chaos
Mathematicians have found a new way to predict how prime numbers behave
โค2๐ฅด2
Synquid synthesizes programs from refinement types.
https://github.com/nadia-polikarpova/synquid/tree/master
https://github.com/nadia-polikarpova/synquid/tree/master
GitHub
GitHub - nadia-polikarpova/synquid
Contribute to nadia-polikarpova/synquid development by creating an account on GitHub.
๐ฅ2๐1๐1
The Future of Boost (C++)
https://cppalliance.org/boost/2023/05/08/Future-of-Boost.html
https://cppalliance.org/boost/2023/05/08/Future-of-Boost.html
The C++ Alliance
The Future of Boost
Greetings! Iโm Vinnie Falco, Boost library author, C++ enthusiast, and the founder of The C++ Alliance, a 501(c)(3) non-profit. While some of you are enjoying the C++Now conference this week, Iโd like to share some background on our organization and someโฆ
๐ฅ1
kinds-are-calling-conventions.pdf
787.5 KB
Kinds Are Calling Conventions
https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf
https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf
โค3๐1๐1
๐ซก1
SSA (Static Single Assignment) Compilers
https://mcyoung.xyz/2025/10/21/ssa-1/
https://mcyoung.xyz/2025/10/21/ssa-1/
mcyoung.xyz
Why SSA? ยท mcyoung
๐ฏ4โค1๐1
Why C variable argument functions are an abomination (and what to do about it)
https://h4x0r.org/vargs/
https://h4x0r.org/vargs/
h4x0r
Why C variable argument functions are an abomination (and what to do about it)
A safer (yet easy) library-based approach
โค2๐ฅ1๐ฆ1