The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·1d
💻Programming
Python Type Annotations (part 3)
dev.to·1d·
Discuss: DEV
💻Programming
Numerical Considerations in Weighted Model Counting
arxiv.org·6h
💻Programming
Song recommendations with free monads
blog.ploeh.dk·4h
💻Programming
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·5h·
Discuss: Hacker News
💻Programming
Pacman listing orphans
reddit.com·8h·
Discuss: r/archlinux
🔍Tpot
Programming languages and dimensions of units of measure
cl.cam.ac.uk·13h·
Discuss: Hacker News
💻Programming
Graham: Synchronizing Clocks by Leveraging Local Clock Properties (2022) [pdf]
usenix.org·5h·
Discuss: Hacker News
💻Programming
What is Fil-c and how to use it?
gizvault.com·5h·
Discuss: r/C_Programming
💻Programming
Any Use for my Hobby Project, BuffDB?
github.com·7h·
Discuss: r/opensource, r/programming, r/typescript
💻Programming
No, Reconsidered
3quarksdaily.com·1d
🧘‍♀️Meditation
Rough numbers between consecutive primes
terrytao.wordpress.com·7h
🔍Tpot
Measuring intelligence and reverse-engineering goals
lesswrong.com·8h
💻Programming
Tensor computing from scratch part II - Advanced operations
e-dorigatti.github.io·1d
💻Programming
Bidirectional Communication Patterns in Modern Web Apps(5757)
dev.to·6h·
Discuss: DEV
💻Programming
Anonymous Structures in C
dev.to·20h·
Discuss: DEV
💻Programming
Happy Maker Monday — show us your Raspberry Pi builds!
raspberrypi.com·12m
💻Programming
Try and
ygdp.yale.edu·20h·
Discuss: Hacker News
🔍Tpot
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·11h·
Discuss: Hacker News
🌈Dzogchen
⚡ 10AUG2025: One Week With The Brick
hiro.report·10h
🔍Tpot