Dracula: August 10
draculadaily.substack.com·8h·
Discuss: Substack
🧫Cellular Automata
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·3d
🔧Compiler Design
Zig's Lovely Syntax
matklad.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Learn systems, not langauges
pthorpe92.dev·1d
🔧Compiler Design
The Soft Architecture of Meaning: Language Against Entropy
medium.com·1d·
Discuss: Hacker News
📊Information Theory
Try the Goddamned Thing Out
sundaystopwatch.eu·1h·
Discuss: Hacker News
🔧Compiler Design
You've Built a GenServer. Now Make It Fast, Observable and Bulletproof
freshcodeit.com·2d·
Discuss: DEV
🌍Distributed Systems
Building a Carbon and Price-Aware Kubernetes Scheduler
reddit.com·23h·
Discuss: r/kubernetes
🌍Distributed Systems
Deep linear networks
danmackinlay.name·2d
🔢Mathematical Logic
SED: Open source semantic layer and AI-data firewall for safe, governed database access
reddit.com·3h·
Discuss: r/opensource
👐Open Source Software
REPL + Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📝Lisp
Enhanced Algal Bloom Prediction and Mitigation via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
NomicLaw: Emergent Trust and Strategic Argumentation in LLMs During Collaborative Law-Making
arxiv.org·2d
🔢Mathematical Logic
Automated Hierarchical Semantic Graph Analysis for Enhanced Fraud Detection in Financial Transactions
dev.to·3h·
Discuss: DEV
🔗Parser Combinators
Implementing Offline-First Architecture in Flutter: Part 1 - Local Storage with Conflict Resolution
github.com·1d·
Discuss: DEV
🤝Protocol Design
Bio-Scaffold Compatibility Prediction via Multi-Scale Bayesian Network Analysis
dev.to·14h·
Discuss: DEV
🎲Probabilistic Programming
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·4d
🧭SMT Solvers
Is it easier to create a new language for a hardware or just a C wrapper?
reddit.com·15h·
Discuss: r/C_Programming
🔧Compiler Design
Rust Async Web Framework Performance Breakthrough(7140)
dev.to·2h·
Discuss: DEV
📦WebAssembly
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
🧩Theorem Proving