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·9h
💻Programming
Song recommendations with free monads
blog.ploeh.dk·6h
💻Programming
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·7h·
Discuss: Hacker News
💻Programming
Pacman listing orphans
reddit.com·10h·
Discuss: r/archlinux
🔍Tpot
Programming languages and dimensions of units of measure
cl.cam.ac.uk·16h·
Discuss: Hacker News
💻Programming
Graham: Synchronizing Clocks by Leveraging Local Clock Properties (2022) [pdf]
usenix.org·8h·
Discuss: Hacker News
💻Programming
What is Fil-c and how to use it?
gizvault.com·8h·
Discuss: r/C_Programming
💻Programming
Any Use for my Hobby Project, BuffDB?
github.com·10h·
Discuss: r/opensource, r/programming, r/typescript
💻Programming
No, Reconsidered
3quarksdaily.com·1d
🧘‍♀️Meditation
Rough numbers between consecutive primes
terrytao.wordpress.com·9h
🔍Tpot
Measuring intelligence and reverse-engineering goals
lesswrong.com·11h
💻Programming
Tensor computing from scratch part II - Advanced operations
e-dorigatti.github.io·1d
💻Programming
Anonymous Structures in C
dev.to·22h·
Discuss: DEV
💻Programming
Bidirectional Communication Patterns in Modern Web Apps(5757)
dev.to·9h·
Discuss: DEV
💻Programming
Happy Maker Monday — show us your Raspberry Pi builds!
raspberrypi.com·2h
💻Programming
Try and
ygdp.yale.edu·23h·
Discuss: Hacker News
🔍Tpot
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·13h·
Discuss: Hacker News
🌈Dzogchen
OpenSSH Post-Quantum Cryptography
openssh.com·1h·
Discuss: Lobsters, Hacker News
💻Programming