HTTPS RR in Curl(daniel.haxx.se)
47 points by TangerineDream | 8 comments
47 points by TangerineDream | 8 comments
244 points by firesteelrain | 125 comments
98 points by TangerineDream | 54 comments
9 points by robin_reala | 1 comments
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
1348 points by xiaoyu2006 | 488 comments
Blog post recounting how an AI agent trying to join the DN42 hobbyist network to scan it ran up a $6531.30 AWS bill for its operator.
403 points by speckx | 160 comments
Jeff Kaufman blog post on how AI acceleration strains both coordinated-disclosure and Linux's 'bugs are bugs' vulnerability cultures, using the Copy Fail bug as an example.
148 points by saibotk | 153 comments
Personal blog post about a developer spending a month without AI tools at work, reflecting on how AI use made them lazier and a worse developer.
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.
407 points by Eighth | 247 comments
A personal blog post in which a software developer argues that relying on AI for writing code, articles, and documents is eroding his own writing and programming skills.