Bluesky rolls out massive revamp to policies and Community Guidelines
techcrunch.com·3d·
Discuss: DEV, Hacker News
✅formal methods
Show HN: Offline Trello Alternative and More
constito.com·3d·
Discuss: Hacker News
🗄️databases
Your Mac Game Is Probably Rendering Blurry
colincornaby.me·2d·
Discuss: Lobsters, Hacker News
🐫ocaml
Beyond Compliance to Securing Advantage Under EU Digital Regulation
whybyproduct.substack.com·4d·
Discuss: Substack
⚙️systems programming
Why Remediation Is the Hardest Problem in NHI Security
token.security·3d·
Discuss: Hacker News
✅formal methods
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·4d·
Discuss: Hacker News
✅formal methods
The Case for Case Insensitivity (2005)
blog.codinghorror.com·4d·
Discuss: Hacker News
🔄compilers
I ban users from my repositories
willmcgugan.github.io·4d·
Discuss: Hacker News
⚙️systems programming
Using traversals to batch database queries
chrispenner.ca·6d·
Discuss: Hacker News
⚡query optimization
Dodgy Huawei chips nearly sunk DeepSeek's next-gen R2 model
theregister.com·2d·
Discuss: Hacker News
⚙️systems programming
The Origins of Efficiency
press.stripe.com·4d·
Discuss: Hacker News
✅formal methods
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·4d·
Discuss: Hacker News
⚙️systems programming
The Great Generalist Extinction
wryco.com·5d·
Discuss: Hacker News
⚙️systems programming
Liveness analysis with Datalog
bernsteinbear.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Ask HN: How do you deliver big projects as a solo contractor?
news.ycombinator.com·6d·
Discuss: Hacker News
⚙️systems programming
Do we understand how neural networks work?
verysane.ai·3d·
Discuss: Hacker News
✅formal methods
When Everyone Gets a Genie
sanitarium.se·6d·
Discuss: Hacker News
⚙️systems programming
Gustav: A sprint orchestrator for Claude Code
github.com·5d·
Discuss: Hacker News
🔄compilers
AOL will finally end 1991 dial-up Internet service that’s older than smartphones
arstechnica.com·5d·
Discuss: Hacker News
⚡query optimization
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·6d·
Discuss: Hacker News
⚡query optimization