Navigating AI in translation: Why human expertise still matters
gulf-times.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Redesigning my server trays into touch-capable LED panels with real-time stats and synced media display
preview.redd.it·1d·
Discuss: r/homelab
💾Retro Computing
Migrate Enterprise Classic ASP Applications to ASP.NET Core
faciletechnolab.com·4d·
Discuss: r/programming
🔤DSLs
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·2d·
Discuss: Hacker News
🔬Static Analysis
Key Lessons from Using Java 21 Virtual Threads in Production
tech.cashfree.com·3d·
Discuss: Hacker News
👁️System Observability
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·3d·
Discuss: Hacker News
❄️Nix
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·3d·
Discuss: Hacker News
🔄Finite State Machines
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·5d·
Discuss: Hacker News
➡️Category Theory
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·3d·
Discuss: Hacker News
🐫OCaml
Using Protobuf to make Jira Cloud faster
atlassian.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
(Quite) a few words about async
yoric.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
What Makes GNOME So Appealing?
thenewstack.io·20h
🔬Unikernels
LISPy things you can do in 64K bytes of core
t3x.org·5d·
Discuss: Hacker News
🐫Embedded OCaml
evortran: a modern Fortran package for genetic algorithms with applications from LHC data fitting to LISA signal reconstruction
arxiv.org·4d
🐫OCaml
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·4d·
Discuss: Hacker News
🛡️seL4
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·1d
🔄Reproducible Builds
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·4d
🐫OCaml
How to Build an Agent
blog.langchain.com·3d·
Discuss: Hacker News
🤖Program Synthesis