TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.comยท14hยท
โšกConcurrency
Flag this post
Show HN: Yansu, Serious Coding
twitter.comยท18hยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
Inside Pinecone: Slab Architecture
pinecone.ioยท1dยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Read more
yugabyte.comยท2d
๐ŸŒDistributed Systems
Flag this post
Why TypeScript Won't Save You
cekrem.github.ioยท5hยท
๐Ÿฆ€Rust
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท3dยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
Pint: Python library that makes units easy
github.comยท9hยท
Discuss: Hacker News
๐ŸŽฒProbabilistic Programming
Flag this post
Why SafeLine is better than traditional WAF
dev.toยท11hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
You may not need pg_vector, sqlite-vss, etc.
dev.toยท11hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Theory
Flag this post
How Large Language Models Learn to Reason: The Ultimate 2025 Guide with Real-World Examples andโ€ฆ
pub.towardsai.netยท16h
๐Ÿ”ขMathematical Logic
Flag this post
๐ŸŽ™๏ธ Building a Text-to-Speech (TTS) GUI with Python
dev.toยท21hยท
Discuss: DEV
๐Ÿ“Text Editors
Flag this post
Dynamic Neuro-Network Resilience via Stochastic Gradient Amplification and Adaptive Sparsity (DNSAS)
dev.toยท4hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
How Self-Attention Actually Works (Simple Explanation)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠInformation Theory
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.toยท23hยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
From raw text to training gold: How to collect and prepare data for custom LLMs
pub.towardsai.netยท19h
๐ŸŽฒProbabilistic Programming
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.orgยท8h
๐ŸŽฒProbabilistic Programming
Flag this post