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.org
Why C variable argument functions are an abomination (and what to do about it) | H4X0R****
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
Atomic Commit In SQLite
https://sqlite.org/atomiccommit.html
https://sqlite.org/atomiccommit.html
π3β€2
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β¦
πΏ7π¦1
C++ move semantics from scratch
https://cbarrete.com/move-from-scratch.html
https://cbarrete.com/move-from-scratch.html
π¦1π1
Control structures in programming languages: from goto to algebraic effectshttps://xavierleroy.org/control-structures/
Control structures in programming languages: from goto to algebraic effects
Control structures in programming languages
Xavier Leroy
π14β€1π₯1
A Friendly Tour of Process Memory on Linux
https://www.0xkato.xyz/linux-process-memory
https://www.0xkato.xyz/linux-process-memory
0xkato
A Friendly Tour of Process Memory on Linux
A deep dive into how Linux manages process memory, page tables, and virtual address spaces
π6