Best Products
Launches
Launch archive
Most-loved launches by the community
Launch Guide
Checklists and pro tips for launching
News
Newsletter
The best of Product Hunt, every day
Stories
Tech news, interviews, and tips from makers
Changelog
New Product Hunt features and releases
Forums
Forums
Ask questions, find support, and connect
Kitty Points Leaderboard
The highest scoring community members
Streaks
The most active community members
Events
Meet others online and in-person
Advertise
Subscribe
Sign in
Clear text
recent
p/vibecoding
by
David Brandt
•
1d ago
Someone said my product is impossible to make. Rice's theorem
... working out what a change will break before it happens, is impossible. He never explained, and never came back. It bugged me enough that I went looking for what he might have meant. The strongest version is Rice's
theorem
: you can't write a program that reliably works out the behaviour of arbitrary programs. Applied to me, you can't look at software and compute what a change breaks. Not hard. Impossible. Settled since 1953. If that's what ... ... meant, he was right, and it still doesn't apply. The
theorem
0
1
p/self-promotion
by
Nour
•
4mo ago
System Design shouldn't be memorised. It should be experienced. Let's talk about it.
... long, learning distributed systems has meant staring at static diagrams and hoping the concepts eventually click. You can recite CAP
theorem
, explain eventual consistency, draw a microservices diagram from memory, and still freeze when something breaks in production. I know that feeling well. My background is in Mechatronics Engineering and I currently work as a software engineer at Gymshark. Distributed systems was never formally taught to me. I learned it the hard way, and that gap between theory and intuition ...
0
3
p/self-promotion
by
Felipe Muniz
•
6mo ago
Break it. Challenge it. Ask it if it's conscious
... system asks "Among everything I don't know, what is most important to know for myself and for whom I serve?" No function discern() was written. It emerges from geometry. This is backed by: 6 papers 11 formal
theorems
with proof sketches All published with DOIs on ResearchGate 128 tests passing #1 on ClawWork LiveBench (68.5% quality, DeepSeek R1, zero fine-tuning) I built this alone. No funding, no team, no GPU cluster. The architecture is model-agnostic works ...
0
2
Subscribe
Sign in