Navigating AI in translation: Why human expertise still matters
gulf-times.com·11h·
Discuss: Hacker News
🐫OCaml
The Covert Hardware Implant: Part 1
rift.stacktitan.com·2h·
Discuss: Hacker News
💾Retro Computing
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·22h·
Discuss: Hacker News
⚙️PL Implementation
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
‘Coding is dead’: UW computer science program rethinks curriculum for the AI era
geekwire.com·1d·
Discuss: Hacker News
💻CS
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Realbasic (2000)
joelonsoftware.com·16h·
Discuss: Hacker News
💾Retro Computing
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·16h
🐫OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
AI-assisted software development
senkorasic.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·1d·
Discuss: r/programming
🎮Verification Games
AutoLayout: Closed-Loop Layout Synthesis via Slow-Fast Collaborative Reasoning
arxiv.org·3d
🎮Verification Games
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·7h
🔄Reproducible Builds
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·16h
✓Automated Theorem Proving