Navigating AI in translation: Why human expertise still matters
gulf-times.com·6h·
Discuss: Hacker News
🐫OCaml
Realbasic (2000)
joelonsoftware.com·11h·
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
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
C++ with no classes?
pvs-studio.com·2d·
Discuss: r/cpp, r/programming
🐫OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·17h·
Discuss: Hacker News
⚙️PL Implementation
Sweatshop Data Is Over
mechanize.work·17h·
Discuss: Hacker News
🎮Verification Games
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·2h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·11h
✓Automated Theorem Proving
DpDNet: An Dual-Prompt-Driven Network for Universal PET-CT Segmentation
arxiv.org·11h
✓Automated Theorem Proving
Goldman Sachs is piloting its first autonomous coder in major AI milestone for Wall Street
cnbc.com·5h·
Discuss: Hacker News
💻CS
Automated Reasoning for Vulnerability Management by Design
arxiv.org·2d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·11h
⚙️PL Implementation
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·23h·
Discuss: Hacker News
❄️Nixified Development
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·11h
🐫OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
AutoLayout: Closed-Loop Layout Synthesis via Slow-Fast Collaborative Reasoning
arxiv.org·3d
🎮Verification Games
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·2h
🔄Reproducible Builds