The XINU Page
xinu.cs.purdue.edu·14h·
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
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·10h
✓Automated Theorem Proving
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org·2d
🧪Property-Based Testing
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·2d·
Discuss: Hacker News
🔤DSLs
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·10h
⚙️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·10h
🔍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
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·10h
🧪Property-Based Testing
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·10h
👁️System Observability
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis