5311.
5312.
Left to Right Programming
(news.ycombinator.com)
5313.
Left to Right Programming: Programs Should Be Valid as They Are Typed
(news.ycombinator.com)
5314.
Over 800 N-able servers left unpatched against critical flaws
(bleepingcomputer.com)
5315.
Countrywide natural experiment links built environment to physical activity
(news.ycombinator.com)
5316.
Typechecker Zoo
(news.ycombinator.com)
5317.
Texas law gives grid operator power to disconnect data centers during crisis
(news.ycombinator.com)
5318.
5319.
MCP tools with dependent types
(news.ycombinator.com)
5320.
MCP Tools and Dependent Types
(news.ycombinator.com)
5321.
Fun with Finite State Transducers
(news.ycombinator.com)
5322.
SystemD Service Hardening
(news.ycombinator.com)
5323.
Comparison of different C libraries providing generic containers capabilities
(news.ycombinator.com)
5324.
Major Plastics Treaty Ends in Failure
(gizmodo.com)
5325.
5326.
Princeton NuEnergy's battery recycling tech recovers 97% of lithium-ion material
(news.ycombinator.com)
5327.
Monday – A personality experiment
(news.ycombinator.com)
5328.
Dev Compass – Programming Philosophy Quiz
(news.ycombinator.com)
5329.
Tversky Neural Networks
(news.ycombinator.com)
5330.
5331.
5332.
5333.
5334.
Once Again, Oil States Thwart Agreement on Plastics
(news.ycombinator.com)
5335.
5336.
Single Sign on for Furries
(news.ycombinator.com)
5337.
PuTTY has a new website
(news.ycombinator.com)
5338.
5339.
Melting Glacier in Alaska Floods State Capital
(futurism.com)