China: A Safe Haven from the NSA
medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Elizabeth Warren, Campaigning for Mamdani, Scorns Cuomo and Billionaires
nytimes.com·2h
🧮Constraint Solvers
lydiahallie/javascript-questions
github.com·1d
🔗Concatenative Programming
Unraveling The Thread Events
gbstudiocentral.com·11h
⚡Effectful Programming
Week 31 Status
blogs.gnome.org·2h
🎯Gradual Typing
I moved my family from Oklahoma to Puerto Rico. The high prices and power outages aren't ideal, but our lives are richer here.
businessinsider.com·1d
⭐Awesome lists
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Rachel Reeves under pressure to ‘urgently rule out’ tax hikes
the-independent.com·5h
📦Deflate
How can I read more than 4GB of data from a file in a single call to Read­File?
devblogs.microsoft.com·10h
🧪Binary Fuzzing
NYC's first light rail system gets green light
nbcnewyork.com·6h·
Discuss: Hacker News
⏳Time Capsule Networks
San Jose: Pedestrian killed Sunday in 20th traffic fatality of 2025
mercurynews.com·8h
📰RSS Reading Practices
USA’s Best High DA PA Business Listing Sites for Maximum Visibility
dev.to·18h·
Discuss: DEV
📈Search Quality
How to Play (and Win) Connections
lifehacker.com·6h
🔲Cellular Automata
Meet Localazy, Winner of Startups of The Year 2024 in Brno, South Moravian Region/Localization
hackernoon.com·8h
🚀Indie Hacking
Court ruling in favour of bridge march created bigger dilemma for Minns
abc.net.au·43m
🤝Consensus Networks
Grounded
xkcd.com·20h
🖋Typography
Settling Up
scopeofwork.net·12h
⚙️Cassette Mechanics
Wake-on-LAN Using Cloud Functions
mihai.fm·9h·
Discuss: Hacker News
🔌Offline-first Apps
A safer memcpy with very limited use cases
subethasoftware.com·3d
🧪Binary Fuzzing
Russian Teacher Tricks American Students
mindyourdecisions.com·4h
🌀Differential Geometry