Generalized ADTs, Type Equality, Phantom Types, OCaml

Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·18h
👁️Observability
Flag this post
An Illustrated Introduction to Linear Algebra, Chapter 2
ducktyped.org·23h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Comparing Data Serialization Formats: Code, Size, and Performance
qt.io·23h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·7h
🏹Effect Systems
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
reddit.com·17h·
Discuss: r/rust
🔀OCaml Multicore
Flag this post
Mind the Gap: Missing Cyber Threat Coverage in NIDS Datasets for the Energy Sector
arxiv.org·7h
🔍CBMC
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·7h
🔲Cellular Automata
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·1d
📚Automata Learning
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🔍CBMC
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·18h·
Discuss: Hacker News
📦Module Systems
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·5d·
🏗️Dune
Flag this post
Towards Automated Petrography
arxiv.org·7h
🔲Cellular Automata
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·7h
🧩Parser Combinators
Flag this post
Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models
arxiv.org·1d
🐫OCaml
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·7h
🧩Parser Combinators
Flag this post