10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·6h
🤖Program Synthesis
The XINU Page
xinu.cs.purdue.edu·18h·
Discuss: Hacker News
📦Unikernel Systems
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·1h·
Discuss: Hacker News
🎮Verification Games
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·3h·
Discuss: Hacker News
👁️System Observability
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·3d·
Discuss: Hacker News
🛡️seL4
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Vibe Coding in BASIC
goto10retro.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Basic Computations in Fault Tree Analysis
arxiv.org·2d
🔬Static Analysis
The Analog Art
joostrekveld.net·1h·
Discuss: Hacker News
💾Retro Computing
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·14h
🔍Formal Verification
AutoTriton: Automatic Triton Programming with Reinforcement Learning in LLMs
arxiv.org·2d
🔠Type-Level Programming
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·1d·
Discuss: Hacker News
🔤DSLs
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Stop Converting Your REST APIs to MCP
jlowin.dev·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·14h
🧪Property-Based Testing
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·14h
👁️System Observability
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Curriculum Negative Mining For Temporal Networks
arxiv.org·14h
➡️Category Theory