AI tool detects LLM-generated text in research papers and peer reviews
nature.comยท21h
โšกProof Automation
humanely dealing with humungus crawlers
flak.tedunangst.comยท1dยท
๐ŸงFOSS
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.comยท2dยท
Discuss: Hacker News
๐ŸŽฎGameboy Emulation
Walking around the app
vickiboykis.comยท3dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Justice Ministry: New liability rules set for software and AI product makers
heise.deยท16h
๐Ÿ”“Open Source Software
My (speculative) master plan for immortality
maxwellnye.comยท1dยท
Discuss: Hacker News
๐Ÿ Homelab Archaeology
Microsoft reminds developers VBScript really is going away
theregister.comยท1d
๐Ÿ•ธ๏ธWASM Archives
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.comยท15hยท
Discuss: Hacker News
๐ŸŽ›๏ธFeed Filtering
What We Lost When Ethereum Switched to Proof-of-Stake
hackernoon.comยท7h
๐ŸคDistributed Consensus
Why TypeScriptโ€™s Type vs Interface War Never Ends (and What It Says About Dev Culture)
dev.toยท4dยท
Discuss: DEV
๐ŸŽฏGradual Typing
Unlocking the Power of AI: What is Prompt Engineering?
dev.toยท1hยท
Discuss: DEV
โšกProof Automation
Automated Adaptive Learning Pathway Generation via Dynamic Knowledge Graph Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
I Used Autogen GraphFlow and Qwen3 Coder to Solve Math Problems โ€” And It Worked
dev.toยท2dยท
Discuss: DEV
๐ŸงฎZ3 Solver
Show HN: Pgdbtemplate โ€“ fast PostgreSQL test databases in Go using templates
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
ADL-CLI โ€“ Generate enterprise-grade AI agents from a YAML spec
github.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธCLI Security
Glyph.Flow Devlog #4 โ€“ Import/Export, Config Overhaul, and the Road to 0.1.0
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Delta Encoding
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.toยท1dยท
Discuss: DEV
๐Ÿ›Fuzzing