Tetris in a Single Line of Code
survex.com·2d·
Discuss: Hacker News
🎮Verification Games
Sixfab Opens Crowdfunding for Its Ready-to-Go Raspberry Pi CM5-Powered ALPON X5 Edge AI Box
hackster.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You might not need tmux
bower.sh·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/neovim
💾Retro Computing
Wireframer 7 days by a 21 y/o college student (100 users, 2 paid)
wireframer.site·2d·
Discuss: Hacker News
🐫Embedded OCaml
Facts will not Save You - AI, History and Soviet Sci-Fi
hegemon.substack.com·22h·
Discuss: Substack
✓Automated Theorem Proving
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🏹Effect Systems
The best dating apps aren’t even dating apps
techcrunch.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Examining the sentiment and emotional differences in product and service reviews: The moderating role of culture
arxiv.org·3d
🔬Static Analysis
Show HN: The easiest accessibility (a11y) checker for VSCode
github.com·4d·
Discuss: Hacker News
👁️System Observability
VizGenie: Toward Self-Refining, Domain-Aware Workflows for Next-Generation Scientific Visualization
arxiv.org·3d
📦Unikernel Systems
Trump admin to launch new private health tracking system with Big Tech's help
apnews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Decoding Zuck’s Superintelligence Memo
om.co·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
WaveVerify: A Novel Audio Watermarking Framework for Media Authentication and Combatting Deepfakes
arxiv.org·3d
🌐NetworkProtocols
Show HN: Gradient-Free ML Algorithm (Available for Contract Work)
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver
arxiv.org·1d
🐫OCaml
FLORES: A Reconfigured Wheel-Legged Robot for Enhanced Steering and Adaptability
arxiv.org·2d
📦Unikernel Systems
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·2d
✓Automated Theorem Proving
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Beijing summons Nvidia over alleged backdoors in China-bound AI chips
theregister.com·1d·
Discuss: Hacker News
💾Retro Computing