Text post by FrasiertheLion
This post has no text beyond its title.
Related stories
On Being an Engineer in 2026(twitter.com)
149 points by talboren | 240 comments
An X article by a startup CTO arguing that engineers still have leverage over AI coding agents because of experience-based intuition and tacit knowledge.
Anthropic’s paper smells like bullshit(djnn.sh)
1070 points by vxvxvx | 300 comments
Blog post criticizing Anthropic's report on disrupting an AI-orchestrated cyber espionage campaign; the captured page shows a Cloudflare block screen.
I'm being cyberattacked by Tesla, Inc(dreamstation.systems)
389 points by robinpie | 109 comments
Personal blog post describing persistent attack traffic in nginx logs from IPs with Host/Referer headers pointing to pool-ntp.tesla.com.
Going Dark, and the era of law enforcement hacking(blog.cryptographyengineering.com)
438 points by vslira | 232 comments
Matthew Green blog post reflecting on Usenix Security and how AI may affect encryption, the 'going dark' debate, and law enforcement hacking.
AI will make formal verification go mainstream(martin.kleppmann.com)
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.
UpCodes (YC S17) is hiring SDR's to sell AI compliance software(up.codes)
0 points by Old_Thrashbarg | 0 comments
UpCodes careers page listing open positions and benefits at the YC-backed construction code compliance software company.