Fungus: The Befunge CPU(2015)
🔧Unikernel Development
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Notes by djb on using Fil-C with Debian multiarch
❄️NixOS
Flag this post
Epigenetic Landscape Mapping for EMT Inhibition via Adaptive Bayesian Optimization in Metastatic Breast Cancer
👁️Observability
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
📦Module Systems
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
Linux Kernel Ported to WebAssembly
💻QEMU
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...