ThinkSound – Online Free AI Powered Video to Audio and Sound Effects Generator
thinksound.app·12h·
Discuss: Hacker News
🏹Effect Systems
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·2d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·3d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·21h
🔍Formal Verification
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
🛡️seL4
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔬Static Analysis
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.org·2d
🔄Finite State Machines
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
The hidden cost of AI reliance
codebytom.blog·2d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Why Your Team Still Needs Go Training in the Age of AI
gopherguides.com·2d·
Discuss: Hacker News
🎮Verification Games
David Autor on AI and the future of work
voxdev.org·13h·
Discuss: Hacker News
💻CS
Show HN: SaaS Template Optimized for AI
github.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Our dev team tried replacing typing with talking and it's working
deepgram.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
The Metric That Determines AI Product Success
medium.com·7h·
Discuss: Hacker News
👁️System Observability