Imposter Game – Ultimate Online Word Deception Experience
impostergame.net·7h·
Discuss: Hacker News
🎮Verification Games
PostgreSQL Field Guide - The reference guide for new users
barnesandnoble.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·5d·
Discuss: Hacker News
🧮Lambda Calculus
Science’s answer to the ultimate question: Where do we come from?
bigthink.com·1d·
Discuss: Hacker News
⚡Process Calculi
Infinite Mac: Resource Fork Roundtripping
blog.persistent.info·1d·
Discuss: blog.persistent.info, Hacker News
🍏Darwin
AI hardware reimagined for lower energy use
news.cornell.edu·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A Cross-Team Risk Map of In-House CIAM for B2B and B2C Apps
securityboulevard.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Iron Vector: 50% Cost Reduction for Apache Flink Workloads
irontools.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
The Quest to Find the Longest-Running Simple Computer Program
wired.com·3d·
Discuss: Hacker News, Hacker News
🎮Verification Games
From $0 to $40M ARR: Inside the tech that powers Bolt.new
newsletter.posthog.com·1d·
Discuss: Hacker News
🔧Unikernel Development
How Coding Agents Actually Work: Inside Opencode
cefboud.com·1d·
Discuss: r/programming
🤖Program Synthesis
AI Agent Development Trends 2025: Insights from 542 Projects
greenice.net·2d·
Discuss: Hacker News
🔤DSLs
A Guide To Fluent Bit’s Health Check API Endpoints
thenewstack.io·2h
📊Runtime Verification
Test state, not interactions
rednafi.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
A Different Perspective on Rationality - Would This Be Valuable?
lesswrong.com·5d
✓Automated Theorem Proving
What are you eating? The nutritional 'dark matter' in your food
medicalxpress.com·21h·
Discuss: Hacker News
📝Term Rewriting
Program management update — August 2025
blog.rust-lang.org·6d·
Discuss: Hacker News, r/rust
🐫OCaml
Learning to fuzz with LibAFL by solving puzzles
github.com·4d·
Discuss: Lobsters, Hacker News
🎮Verification Games
Obsidian Offering $5000 Bounty for Notion
github.com·13h·
Discuss: Hacker News, r/ObsidianMD
📦Unikernel Systems