Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·8h·
Discuss: Hacker News
🤝Protocol Design
Two-Phase Commit
docs.pgdog.dev·14h·
Discuss: Hacker News
⚡Concurrency
Bootstrapping vs Funding: Which Path Fits 2025?
ncgtc.in·1d·
Discuss: DEV
⚖Algorithmic Game Theory
The Android Linux Commander
hackaday.com·1d
🔌Network Programming
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·6h·
Discuss: Hacker News
🤝Protocol Design
GPT-5’s Ethics Guidelines for Using It in Philosophical Research
dailynous.com·18h
🔢Mathematical Logic
Back from Chaos (1998)
theatlantic.com·10h·
Discuss: Hacker News
🧮Programming Language Theory
The $50 Article That Sparked My Research on CTEs
medium.com·18h·
Discuss: DEV
🗄️Database Theory
Trust Still Lives In Blue Links via @sejournal, @Kevin_Indig
searchenginejournal.com·18h
🔍Static Analysis
How Bloom Filters Can Supercharge Your NLP Pipelines 🚀🧠
dev.to·16h·
Discuss: DEV
🔗Parser Combinators
5 things people over-simplify when it comes to self-hosting
xda-developers.com·6h
🌍Distributed Systems
HR Path、Next Generation Inc.（NGI）の買収により、米国市場での存在感を引き続き拡大
news.jp·6h
🕸️Graph Theory
Boost Your Productivity: A Sleep Debt Calculator for Devs
dev.to·57m·
Discuss: DEV
🎲Probabilistic Programming
I pivoted from software engineering to AI product management. Here are the 3 strategies I used to help me land the job.
businessinsider.com·22h
🧭SMT Solvers
Where Should I Study? Biased Language Models Decide! Evaluating Fairness in LMs for Academic Recommendations
arxiv.org·3d
🎲Probabilistic Programming
How I Stopped AI Claude Code From Breaking My Codebase
reddit.com·2d·
Discuss: r/ClaudeAI
🏗️Software Architecture
Row Equivalence in Linear Algebra with Python
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·2d
🔗Parser Combinators
Analysis of fuel assembly geometric uncertainties based on sub-channel code
sciencedirect.com·1d
🎲Probabilistic Programming
Fastest Way to Learn API's
dev.to·1d·
Discuss: DEV
🤝Protocol Design