A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Build an AI coding agent in Python
theptrk.com·1h·
Discuss: Hacker News
💎Refinement Types
In the rush to adopt hot new tech, security is often forgotten. AI is no exception
theregister.com·1h·
Discuss: Hacker News
🛡️seL4
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev·2h·
Discuss: r/programming
🏹Effect Systems
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·1d
📚Automata Learning
Nesper: Program the ESP32 Using Nim
github.com·11h·
Discuss: Hacker News
🔧Unikernel Development
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Context Engineering: A Primer
okigu.com·19h·
Discuss: Hacker News
🔍Formal Verification
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·1d·
Discuss: Hacker News
👁️System Observability
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·16h·
Discuss: Substack
⚙️Operating System Design
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
What Is Complexity in Chess?
lichess.org·1d·
Discuss: Hacker News
🎮Verification Games
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·15h·
Discuss: Hacker News
📚Automata Learning
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·10h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·9h·
Discuss: Lobsters
🔧Unikernel Development