The CIA's 'Minerva' Secret
nsarchive.gwu.edu·1d·
Discuss: Hacker News
💾Retro Computing
New records on Wendelstein 7-X
iter.org·2h·
Discuss: Hacker News
🔍Formal Verification
Crypto-Betting Site Polymarket Set For US Return After Deal to Buy Tiny Exchange
bloomberg.com·3h·
Discuss: Hacker News
🔠Type-Level Programming
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·1d·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·3d·
Discuss: Lobsters, Hacker News, r/programming
🧱Immutable Infrastructure
Pro AI – Human Segregation
onlyluck.substack.com·6h·
Discuss: Substack
🍎Apple
What can we expect of LLMs as Software Engineers?
chelseatroy.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Medici, a minimal, open-source, dead-simple Splitwise alternative
github.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·4d
🔤DSLs
What's More Advanced Than AI? Quantum AI Is the Next Leap Forward
cnet.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·5d
➡️Category Theory
StellarF: A Lora-Adapter Integrated Large Model Framework for Stellar Flare Forecasting with Historical & Statistical Data
arxiv.org·5d
📦Unikernel Systems
I built an image viewer for the terminal that works everywhere
news.ycombinator.com·1d·
Discuss: Hacker News
💾Retro Computing
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·3d
🔄Finite State Machines
Cancellative Convex Semilattices
arxiv.org·5d
➡️Category Theory
Full circle buyer cycle last night
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Under-qualified sysadmin crashed Amazon.com for 3 hours with a typo
theregister.com·10h·
Discuss: Hacker News
❄️Nixified Development
Thoughts on AI and software development - Part 5
ufried.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Noradrenergic-inspired gain modulation attenuates the stability gap in joint training
arxiv.org·13h
🏹Effect Systems