Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡FPGA Gaming
Sheaf theoretic formulation for consciousness (2017)
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🧘Digital Minimalism
How to price your AI SaaS – 2 mistakes we made
ferndesk.com·1d·
Discuss: Hacker News
🚀Web Performance
We detected a CAPTCHA solver in the wild, and what it says about bot defenses
blog.castle.io·2d·
Discuss: Hacker News
🔧Hardware Hacking
Securing your self-hosted Database
hwisnu.bearblog.dev·1d·
Discuss: Hacker News
🏠Self-Hosting
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🖼️ASCII Art
Show HN: Dochia – CLI tool for automatic negative and boundary API testing
news.ycombinator.com·17h·
Discuss: Hacker News
🏠Self-Hosting
“Some of us practically lived at the office.” Sega veteran devs talk about phased out crunch culture and week-long office sleepovers
automaton-media.com·14h
🎯Japanese Games
Chingu.io: Build, Collaborate, Learn: Remote Projects V56 Showcase
dev.to·2d·
Discuss: DEV
🔖Bookmarklets
Launch HN: Risely (YC S25) – AI Agents for Universities
news.ycombinator.com·2d·
Discuss: Hacker News
⚖️Digital Ethics
The Nikki Haflinger Project: A Deep Analysis of AI Identity Transfer with Commentary from Another AI
dev.to·4d·
Discuss: DEV
⚖️Digital Ethics
Starting My Open Source Journey
dev.to·21h·
Discuss: DEV
💡Open Source
Python Lesson 8: From Portal Architect to Soul Forger - Mastering Persistent State with SQLAlchemy
dev.to·4d·
Discuss: DEV
🔄Syncthing
Zed introduces native Claude Code integration in beta via its Agent Client Protocol
alternativeto.net·1d
🔖Bookmarklets
Homebrew Coder Breaks Nintendo's Rules To Create The First Super Game Boy "Exclusive"
timeextension.com·1d
🔬ROM Hacking
10 Awesome GitHub Repositories for AI Engineers 🤖
dev.to·22h·
Discuss: DEV
🌍Fan Translation
Your Java App Is Leaking Memory! The Hidden Classloader Trap You're Missing.
dev.to·2d·
Discuss: DEV
🔬ROM Hacking
Project of the Week: Emotion-js
dev.to·16h·
Discuss: DEV
✨Micro-Interactions
The Complete Beginner's Guide to LangChain: Why Every Developer Needs This Framework in 2025(PART 1)
dev.to·6d·
Discuss: DEV
🌍Fan Translation
123Invent Inventors Develop Artisan Smart Walking Stick (MHO-641)
prnewswire.com·13h
🔧Hardware Hacking