HMQ: Principal Type Inference Under a Prefix
microsoft.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·1d·
Discuss: Hacker News
👁️System Observability
The Ancient History of Compression Algorithms
cs4fn.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
The case for building operator interfaces before AI agents
henrypray.com·2d·
Discuss: Hacker News
👁️System Observability
Don’t compare programming to the real world
expressionstatement.com·2d·
Discuss: r/programming
👁️System Observability
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·2d·
Discuss: Hacker News
📡Network Protocol Design
Making Docs Better for AI and Humans
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
🏹Effect Systems
Time Series Foundation Models for Multivariate Financial Time Series Forecasting
arxiv.org·1d
🐫OCaml
Bujo.nvim – bullet journal accessible from anywhere
github.com·20h·
Discuss: Hacker News
📦Unikernel Systems
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·1d
🎮Verification Games
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.org·3d
🔠Type-Level Programming
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·3d
🐫OCaml
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·1d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
High-Resolution Visual Reasoning via Multi-Turn Grounding-Based Reinforcement Learning
arxiv.org·3d
🎮Verification Games
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·3d
🔍Formal Verification
CLI-RAG: A Retrieval-Augmented Framework for Clinically Structured and Context Aware Text Generation with LLMs
arxiv.org·2d
🔬Static Analysis
FEVO: Financial Knowledge Expansion and Reasoning Evolution for Large Language Models
arxiv.org·3d
🐫OCaml
Designing a CPU with only Memory Chips
hackaday.com·20h
⚙️Operating System Design