Almightygiraffe's Top FindsLoading...
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·1d·
Discuss: Hacker News, Hacker News
🧠Ai
The case for having roommates (even when you can afford to live alone)
supernuclear.substack.com·13h·
Discuss: Substack
As a linguist, I want to find the words to measure chronic illness
thesicktimes.org·6h·
Discuss: Hacker News
Show HN: Gensee – Free AI Agent Optimization and Deployment
platform.gensee.ai·2d·
Discuss: Hacker News
🧠Ai
Writing a basic service for GNU Guix
tannerhoelzel.com·28m·
Discuss: Hacker News
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·12h·
Discuss: Substack
In the Name of Progress
kudmitry.com·7h·
Discuss: Hacker News
🧠Ai
Show HN: A Virtual friend that checks up on you, every morning
jurnai.site·7h·
Discuss: Hacker News
Character consistency with just one reference image
about.ideogram.ai·1d·
Discuss: Hacker News
Symbol-Level Editing
sysprogs.com·20h·
Discuss: Hacker News
🧠Ai
Superagency and ADHD
treycausey.com·1d·
Discuss: Hacker News
🧠Ai
Runway Aleph AI: A new way to edit, transform, and generate videos
alephai.app·5h·
Discuss: Hacker News
Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.com·13h·
Discuss: Hacker News
Show HN: Voltpeek – A Vim inspired oscilloscope software
github.com·3h·
Discuss: Hacker News
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·11h·
Discuss: Hacker News
🧠Ai
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Ask HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?
news.ycombinator.com·8h·
Discuss: Hacker News
🧠Ai
I built a stock picking AI agent. Here's what it did after one month
laurentiu-raducu.medium.com·7h·
Discuss: Hacker News
AI Act: Today, the European Commission Approved the GPAI Code of Practice
nicfab.eu·1d·
Discuss: Hacker News
🧠Ai