TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·17h·
Concurrency
Flag this post
Fil-C
graydon2.dreamwidth.org·1d·
🦀Rust
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·1d·
🧮Programming Language Theory
Flag this post
New comment by adastra22 in "Ratatui – App Showcase"
news.ycombinator.com·5h·
Discuss: Hacker News
🦀Rust
Flag this post
Tentatively reintroducing `bak`, the .bakfile manager
reddit.com·11h·
Discuss: r/commandline
👐Open Source Software
Flag this post
The Converse Madelung Question
arxiv.org·1d
Functional Programming
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Going Full-Time NeoHaskell
dev.to·3d·
Discuss: DEV
Functional Programming
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·2d·
Discuss: DEV
📝Lisp
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·4d·
Discuss: DEV
🧭SMT Solvers
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·2d·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Repository Pattern in Golang: A Practical Guide
dev.to·7h·
Discuss: DEV
💭Prolog
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
From data to corpus: semiotic and documentary issues in audiovisual archives
arxiv.org·5h
🔄Category Theory
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·4d·
Discuss: DEV
🌍Distributed Systems
Flag this post
The AI Stack We Trust: Tools, Frameworks, and Practices We Use in Production
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.edu·21h
🏗️Software Architecture
Flag this post