news
Monoidal computer I: Basic computability by string diagrams (2012)
16 pointsposted 4 days ago
by measurablefuncLISP Comes of Age (1980)
74 pointsposted 4 days ago
by so-cal-schemerNoyb win: German DPA finds microtargeting by major political parties illegal
25 pointsposted a day ago
by dgellowFocused Company Operating Principles
24 pointsposted a day ago
by mooredsMoreutils: The utilities package every Unix/Linux/Mac OS developer should know
44 pointsposted 3 days ago
by jcbhmrA whirlwind tour of systemd-nspawn containers (2025)
55 pointsposted 3 days ago
by ibobevA Bicycle Journey Across Brazil to Find a Vanishing Savanna
57 pointsposted 6 days ago
by throwaway2037Crosscut – Drawing Dynamic Models
8 pointsposted a day ago
by andsoitisAir Purifiers as White Noise Machines
176 pointsposted 3 days ago
by luuShow HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
235 pointsposted 4 days ago
by dsmurrellShow HN: Swurf – Swipe through the real web
77 pointsposted 4 days ago
by webtjb096Launch HN: Alter (YC S25) – Access control for multi-user agents
69 pointsposted 6 days ago
by simfiniiGood type against all odds
215 pointsposted 6 days ago
by firloopSemantic search across major museums
130 pointsposted 4 days ago
by surprisetalkCloudflare deploys protections against php2shell vulnerability
134 pointsposted 5 days ago
by MaxiousLLMs are making formal software verification feasible at a much larger scale
462 pointsposted 4 days ago
by johnbenderSuperhuman Hardware Design Is the Easy Part
58 pointsposted 3 days ago
by gmaysEA is shutting down BioWare
707 pointsposted 5 days ago
by aaronbrethorstThe Chalk and the Airplane
27 pointsposted 5 days ago
by paulorlandoWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 4 days ago
by oidarGemma-4-26B-A4B with 39-69% less thinking at same accuracy
126 pointsposted 3 days ago
by armcatReactive Optimizers: rewrite the optimizer's source code during training
32 pointsposted 5 days ago
by matt_dNo signs of AI payoff outside the tech sector
637 pointsposted 2 days ago
by the-mitrVibe coding is turning the music gear world upside down
8 pointsposted 17 hours ago
by saikatsgeMudhra to exit global SSL/TLS certificate business
1157 pointsposted 4 days ago
by bo0tzzUsing thousands of AI agents to uncover new leads in biological data
160 pointsposted 5 days ago
by raahelb