2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🏆LLM Benchmarking
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
How to Surgically Edit LLMs Without Retraining in Data Science
pub.towardsai.net·7h
🧠LLM Inference
STPA for Software Systems–Illuminate the Unknown Unknowns
usenix.org·22h
🛡️System Reliability
A new breed of analyzers
daniel.haxx.se·11h·
Discuss: Lobsters, Hacker News, r/programming
🔌API Design Theory
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·19h
🛡️AI Safety
Autonomous AI Hacking and the Future of Cybersecurity
schneier.com·12h·
Discuss: Hacker News
🛡️AI Security
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🔧Developer tools
AI can help your DevSecOps pipeline
spiceworks.com·10h·
Discuss: Hacker News
🛡️AI Security
A major evolution of Apple Security Bounty
security.apple.com·13h·
Discuss: Lobsters, Hacker News
📱New tech trends
LLM-Based AI Agent That Automates The Transistor Sizing Process (Univ. of Edinburgh)
semiengineering.com·2h
🆕New AI
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💻Programming languages
Navigating the evolving cybersecurity landscape: Key insights for the public sector
cloud.google.com·8h
🏝️Islands Architecture
The Day I Hacked XCTrack
blog.syrac.org·8h·
Discuss: Hacker News
🔐Hardware Security
JVM stack is about to be massively modernized
medium.com·5h·
Discuss: Hacker News
🔧Developer tools
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·22h·
Discuss: Hacker News
🏆LLM Benchmarking
It’s Sam Altman: the man who stole the rights from copyright. If he’s the future, can we go backwards? | Marina Hyde
theguardian.com·8h
🚀Indie Hacking
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·5h·
Discuss: Hacker News
🔐Hardware Security
October 7 – 10, 2025: Bellingcat Online Workshop (16-hour) [Europe-friendly time]
bellingcat.com·23h
🤝NYC Tech Meetups
ChatGPT safety systems can be bypassed to get weapons instructions
nbcnews.com·13h·
Discuss: Hacker News
🛡️AI Security