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
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
Barebones RISC-V OS written in Zig
https://timmy.moe/blog/barebones-os-zig/
https://timmy.moe/blog/barebones-os-zig/
🥴7❤3🤯3
The Green Tea Garbage Collector (Go)
https://go.dev/blog/greenteagc
https://go.dev/blog/greenteagc
go.dev
The Green Tea Garbage Collector - The Go Programming Language
Go 1.25 includes a new experimental garbage collector, Green Tea.
🔥13
A Higgs-bugson in the Linux Kernel
https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/
https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/
Jane Street Blog
A Higgs-bugson in the Linux Kernel
We recently ran across a strange higgs-bugson that manifested itself in a critical system that stores and distributes the firm’s trading activity data, calle...
Safe VSP (C64)
https://www.linusakesson.net/scene/safevsp/index.php
https://www.linusakesson.net/scene/safevsp/index.php
🔥1🤯1
Myths Programmers Believe about CPU Caches
https://software.rajivprab.com/2018/04/29/myths-programmers-believe-about-cpu-caches/
https://software.rajivprab.com/2018/04/29/myths-programmers-believe-about-cpu-caches/
Software the Hard way
Myths Programmers Believe about CPU Caches
As a computer engineer who has spent half a decade working with caches at Intel and Sun, I’ve learnt a thing or two about cache-coherency. This was one of the hardest concepts to learn back in coll…
🗿8🦄1
C++ move semantics from scratch
https://cbarrete.com/move-from-scratch.html
https://cbarrete.com/move-from-scratch.html
😎2🦄1
CMake Build Performance Insights
https://crascit.com/2022/06/24/build-performance-insights/
https://crascit.com/2022/06/24/build-performance-insights/
Control structures in programming languages: from goto to algebraic effectshttp://xavierleroy.org/control-structures/
Control structures in programming languages: from goto to algebraic effects
Control structures in programming languages
Xavier Leroy
👍15❤1🔥1