Hiding secret codes in light protects against fake videos
news.cornell.edu·1d·
Discuss: Hacker News
🎮Verification Games
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
arxiviq.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Leaving LinkedIn
onepict.com·3d·
Discuss: Hacker News
🍎Apple
Live coding interviews measure stress, not coding skills
hadid.dev·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Reddit Popularity Made Our Simulated Conscious AI Crash and How We Scaled Fast
dreami.me·4d·
Discuss: Hacker News
💾Retro Computing
The LumenPnP Pasting Utility: Never Buy Solder Stencils Again?
hackaday.com·3d
🐫Embedded OCaml
Capacity planning a rising concern for datacenter operators as AI grows
theregister.com·10h·
Discuss: Hacker News
🏠HomeLab
Show HN: My Open Source HTML Drafting Program
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: WTMF: An AI Companion for Late-Night Thoughts – Launching Next Week
news.ycombinator.com·2d·
Discuss: Hacker News
🍎Apple
Why AI Security Deserves More Attention
medium.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SpecTree: Composable Context Engineering for LLMs
fuzzycomputer.com·5d·
Discuss: Hacker News
🔍Formal Verification
Stack Overflow's 2025 Developer Survey Reveals Trust in AI at an All Time Low
stackoverflow.co·5d·
Discuss: Hacker News, r/webdev
🤖Program Synthesis
Beyond the Hype: 4 Ways To Use AI for Cybersecurity Defenses
thenewstack.io·3d
🤖Program Synthesis
I built SQL-GPT – paste your schema, ask in English, get SQL queries
reddit.com·5d·
Discuss: r/programming
🎮Verification Games
Formal Bayesian Transfer Learning via the Total Risk Prior
arxiv.org·2d
✓Automated Theorem Proving
Show HN: Pontoon, an open-source data export platform
news.ycombinator.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: SilentGPT – Terminal ChatGPT Client in C (AES-256, No Telemetry)
github.com·6d·
Discuss: Hacker News
🍎XNU Internals
Show HN: Moots AI (YC W22) helps you turn meetup contacts into deals
news.ycombinator.com·2d·
Discuss: Hacker News
🍎Apple
Looking for affordable all flash rack mount NAS
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
GSFusion:Globally Optimized LiDAR-Inertial-Visual Mapping for Gaussian Splatting
arxiv.org·2d
🐫OCaml