Screening Without Tagging
science.org·11h
🎲Probabilistic Programming
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·14h·
Concurrency
Flag this post
Trusting AI Output? Why Improper Output Handling is the New XSS
auth0.com·1d
🦀Rust
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
🧭SMT Solvers
Flag this post
From Swift to Mojo and high-performance AI Engineering with Chris Lattner
newsletter.pragmaticengineer.com·1d
🧩Theorem Proving
Flag this post
Stop Coding and Start Planning
kill-the-newsletter.com·14h
🔌Network Programming
Flag this post
You Should Write An Agent
fly.io·1d·
🧩Theorem Proving
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·4d·
Discuss: Hacker News
Functional Programming
Flag this post
New comment by adastra22 in "Ratatui – App Showcase"
news.ycombinator.com·2h·
Discuss: Hacker News
🦀Rust
Flag this post
Tentatively reintroducing `bak`, the .bakfile manager
reddit.com·8h·
Discuss: r/commandline
👐Open Source Software
Flag this post
Going Full-Time NeoHaskell
dev.to·2d·
Discuss: DEV
Functional Programming
Flag this post
[D] Trajectory Distillation for Foundation Models
reddit.com·1d·
🧭SMT Solvers
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·2d·
Discuss: DEV
📝Lisp
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·2h
🔄Category Theory
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·3d·
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·18h
🏗️Software Architecture
Flag this post