New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.netยท9hยท
Discuss: Hacker News
๐ŸงชProtocol Fuzzing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท3d
โœ…Format Verification
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.comยท1dยท
Discuss: Hacker News
๐ŸŽตAudio ML
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Flag this post
After the Last Git Commit
gist.github.comยท12hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Flag this post
Day 22: Python Even-Odd Counter โ€“ Count Even and Odd Integers in a List with Type Checks
dev.toยท13hยท
Discuss: DEV
๐ŸงฎAlgebraic Datatypes
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.toยท14hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
Flag this post
A Roller Coaster Of Emotions
deprogrammaticaipsum.comยท6h
๐Ÿ–ฅRetro Computing
Flag this post
[R] We found LRMs look greatโ€ฆuntil the problems get harder (AACL 2025)
reddit.comยท3dยท
๐ŸงฎTheorem Proving
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same Appโ€ฆ
dev.toยท4hยท
Discuss: DEV
โšกProof Automation
Flag this post
Active transfer learning for structural health monitoring
arxiv.orgยท4h
๐Ÿง Machine Learning
Flag this post
Chain of Pattern: Rethink
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Code Metrics
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Flag this post
Writing an LLM from scratch, part 25 โ€“ instruction fine-tuning
gilesthomas.comยท4dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Collateral Crossroads: Quantum-AI's Revolution in Risk Mitigation
dev.toยท6hยท
Discuss: DEV
๐Ÿ”Quantum Security
Flag this post