10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·1h
🤖Program Synthesis
The XINU Page
xinu.cs.purdue.edu·13h·
Discuss: Hacker News
📦Unikernel Systems
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·3d·
Discuss: Hacker News
🛡️seL4
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org·2d
🧪Property-Based Testing
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·1d·
Discuss: Hacker News
🔤DSLs
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Ready lists
11011110.github.io·3d·
Discuss: Hacker News
💻CS
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·9h
⚙️PL Implementation
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Basic Computations in Fault Tree Analysis
arxiv.org·2d
🔬Static Analysis
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·9h
🔍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·23h·
Discuss: Hacker News
🔤DSLs
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·9h
🧪Property-Based Testing
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·9h
👁️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·9h
➡️Category Theory
From Autonomy to Agency: Agentic Vehicles for Human-Centered Mobility Systems
arxiv.org·3d
💻CS