Molten-Salt Reactor
en.wikipedia.org·17h·
Discuss: Hacker News
✓Formal verification
Flag this post
Sam Altman served with subpoena during live talk with Steve Kerr
tribune.com.pk·28m·
Discuss: Hacker News
🔌Embedded
Flag this post
SF Bay Clipper 2.0 Savings Calculator
clipper2.hikingbytransit.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
IncusOS
discuss.linuxcontainers.org·13h·
Discuss: Hacker News, r/linux, r/selfhosted
🔌Embedded
Flag this post
Agile and Coding: Please don't break things
davidvujic.blogspot.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Claude AI meets 10 years of FHIR data
darrendevitt.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
User Experience Is Computation
madebynathan.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Automation via UEFI
vahidhashemi.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: ChatGPT for Forms
proloom.app·3d·
Discuss: Hacker News
🤖AI
Flag this post
YOLO Mode Is How You Build Fast. Auditable Control Is How You Ship Faster
securetrajectories.substack.com·23h·
Discuss: Substack
🤝Using AI for programming
Flag this post
2.7B Buildings
tech.marksblogg.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
OpenAPI won't make your APIs AI-ready. But Arazzo can
bump.sh·1d·
Discuss: Hacker News
🤖AI
Flag this post
AI Energy Score
huggingface.github.io·2d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Astrobiology Search Engine (NASA Space Apps Global Nominee 2025)
github.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·4d·
Discuss: Hacker News
✓Formal verification
Flag this post
Towards Humanist Superintelligence
microsoft.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Building Data Tools That Work
blog.matterbeam.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Becoming a Compiler Engineer
rona.substack.com·23m·
Discuss: Substack
✓Formal verification
Flag this post