AWK technical notes (2023)
maximullaris.com·14h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·1d·
💻QEMU
Flag this post
I ****Ing Hate Science
buttondown.com·9h·
🔄Reproducible Builds
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·1d
❄️NixOS
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·3d·
🏗️Dune
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
Beyond the LLM: The 8 Essential Components for Building Reliable AI Agents and Where Coding Tools Fit In
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
AI Agents in 2025: A Practical Guide for Developers
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·11h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·1d·
Discuss: DEV
📊Runtime Verification
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·4h
📚Automata Learning
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·3h·
Discuss: Hacker News
λFunctional Programming
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·9h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
Active transfer learning for structural health monitoring
arxiv.org·4h
📚Automata Learning
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·11h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2d
🧪Property-Based Testing
Flag this post
Novel bidomain partitioned strategies for the simulation of ventricular fibrillation dynamics
arxiv.org·4h
🔲Cellular Automata
Flag this post