Navigating AI in translation: Why human expertise still matters
gulf-times.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Migrate Enterprise Classic ASP Applications to ASP.NET Core
faciletechnolab.com·3d·
Discuss: r/programming
🔤DSLs
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·1d·
Discuss: Hacker News
🔬Static Analysis
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·2d·
Discuss: Hacker News
🔄Finite State Machines
Key Lessons from Using Java 21 Virtual Threads in Production
tech.cashfree.com·2d·
Discuss: Hacker News
👁️System Observability
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·2d·
Discuss: Hacker News
🐫OCaml
Enhancing LLM performance with reasoning using deterministic feedback loops
usekbai.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Using Protobuf to make Jira Cloud faster
atlassian.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
(Quite) a few words about async
yoric.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: PromptDrifter – Catch LLM prompt drift before it breaks prod
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Bujo.nvim – bullet journal accessible from anywhere
github.com·14h·
Discuss: Hacker News
📦Unikernel Systems
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Updated Goose Roadmap · grant program, dedicated team funding
github.com·21h·
Discuss: Hacker News
🍎XNU Internals
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🔍Formal Verification
GATMesh: Clock Mesh Timing Analysis using Graph Neural Networks
arxiv.org·3d
🐫Embedded OCaml
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·2d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Domain adaptation of large language models for geotechnical applications
arxiv.org·3d
🔤DSLs