Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·1d
📚Automata Learning
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Designing Smarter Conversational Agents for Kids: Lessons from Cognitive Work and Means-Ends Analyses
arxiv.org·1d
📚Automata Learning
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
⚙Operational Semantics
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·1d
📚Automata Learning
Learn about building a Rust Plugin System
blog.anirudha.dev·23h·
Discuss: Hacker News
⚙️PL Implementation
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Benchmarking compression programs
maskray.me·1d·
Discuss: Hacker News
🔄Reproducible Builds
Keyboards from My Collection
aresluna.org·17m·
Discuss: Hacker News
💾Retro Computing
Nix Vegas 2025 Retrospective
nix.vegas·9h·
Discuss: Lobsters
❄️Nix
Challenging LR Parsing (2020)
rust-analyzer.github.io·3d·
Discuss: Lobsters, r/programming
🐫OCaml
Agents need a new retrieval engine
hornet.dev·59m·
Discuss: Hacker News
📝Term Rewriting
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
Mojo Roadmap Document
docs.modular.com·3d·
Discuss: Hacker News
🐫OCaml
Toad: Universal TUI for Agentinc Coding from Will McGugan (Rich/Textual)
elite-ai-assisted-coding.dev·14h·
Discuss: Hacker News
🔧Unikernel Development
How to Test
matklad.github.io·17h·
Discuss: Hacker News
🧪Property-Based Testing
Can Multimodal LLMs Solve the Basic Perception Problems of Percept-V?
arxiv.org·1d
📚Automata Learning
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·14h·
Discuss: Substack
⚙️Operating System Design