The total budget for NYC in 2024 was $118B
comptroller.nyc.gov·6h·
Discuss: Hacker News
query optimization
Flag this post
Can conservation really be effective through video games? A case study on Jack Barau and some perspectives
jgeekstudies.org·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Newsom mounts a lonely stage at COP30
politico.com·16h·
Discuss: Hacker News
query optimization
Flag this post
Stray Cats and Bitcoin: A Costly Incident at a Bitcoin Mine in Mongolia
ifeg.info·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·6d·
Discuss: Hacker News
🌐network programming
Flag this post
International Space Station Being Decomissioned
unionrayo.com·3d·
Discuss: Hacker News
🌐network programming
Flag this post
New Shopify App Connects Local Couriers with Merchants
onro.io·3d·
Discuss: Hacker News
🌐network programming
Flag this post
Modal dialogs without React (or JavaScript)
laktek.com·17h·
Discuss: Hacker News
🐫ocaml
Flag this post
Using CRDTs and Sync as a Database
jackson.dev·5d·
Discuss: Hacker News
🗄️databases
Flag this post
The truth about superintelligent models: humanity has less life left than you
news.ycombinator.com·2d·
Discuss: Hacker News
formal methods
Flag this post
Ripple – the elegant TypeScript UI framework
github.com·5d·
Discuss: Hacker News
formal methods
Flag this post
A Couple of Cool Neurotech Companies
thelightcone.substack.com·1d·
Discuss: Substack
🌐network programming
Flag this post
Coding on Paper
thepalindrome.org·5d·
Discuss: Hacker News
🔄compilers
Flag this post
Show HN: When 7 Codex Agents Sent Each Other 1k Messages over 2 Days
dicklesworthstone.github.io·5d·
Discuss: Hacker News
🌐network programming
Flag this post
How we built the demo for the Current NOLA Day 2 keynote using Flink and AI
rmoff.net·4d·
Discuss: Hacker News
formal methods
Flag this post
Managing long contexts in agentic coding systems
cto.new·6d·
Discuss: Hacker News
formal methods
Flag this post
Google Posts Device Trees For Booting Pixel 10 Hardware With The Mainline Linux Kernel
phoronix.com·8h·
🔄compilers
Flag this post
wBlock: The next-generation ad blocker for Safari
apps.apple.com·12h·
Discuss: Hacker News
🌐network programming
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·6d·
Discuss: Hacker News
formal methods
Flag this post
Synthetic Socrates, Teaching Assistant
jimmyalfonsolicon.substack.com·1d·
Discuss: Substack
formal methods
Flag this post