5 Essential Tools for Process Optimization to Boost Efficiency
smallbiztrends.com·10h
🏗Computer Architecture
Faster Index I/O with NVMe SSDs
marginalia.nu·1d·
Discuss: Lobsters
🏗Computer Architecture
I Built LogosDX: A TypeScript ecosystem for cross-runtime JavaScript development
logosdx.dev·20h·
Discuss: r/node
📐Type Theory
How Do We Learn Complex Skills? Understanding Act-R Theory
scotthyoung.com·2d·
Discuss: Hacker News
🧩Theorem Proving
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·3d·
Discuss: Hacker News
📝Lisp
What Are the Rules of the Universe? Google’s Quantum Computer Is Finding Out
scitechdaily.com·2d
🔐Cryptography
Model intelligence is no longer the constraint for automation
latentintent.substack.com·1d·
Discuss: Substack
🧭SMT Solvers
Links I love
modernmrsdarcy.com·1d
🔄Category Theory
Profiling django views for SQL queries
engineering.hackerearth.com·12h
🔍Static Analysis
Constructor Theory of Time feels like Object-Oriented Programming
reddit.com·12h·
Discuss: r/compsci
🧮Programming Language Theory
麻薬を使って「神秘」を演出も…カルト教団運営ゲーム『United Sects of America』を通じて、人はなぜカルトにハマるのかを考える
news.jp·4h
🧫Cellular Automata
⭐ Exafunction codeium.nvim
waylonwalker.com·12h
📝Lisp
Lit Hub Daily: August 15, 2025
lithub.com·1d
🧮Programming Language Theory
⭐ pytest-dev pluggy
waylonwalker.com·12h
🦀Rust
Predicting Guest Churn via Dynamic Bayesian Network Calibration with Enhanced HyperScore
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
Why the Cubs believe they still control their own destiny: 'Great opportunity ahead'
nytimes.com·5h
🧫Cellular Automata
Sample More to Think Less: Group Filtered Policy Optimization for Concise Reasoning
arxiv.org·3d
🎲Probabilistic Programming
Enhanced Dielectric Breakdown Prediction via Multi-Scale Graph Neural Networks
dev.to·4h·
Discuss: DEV
🕸️Graph Theory
Predictive Fault Diagnosis in Continuous Pharmaceutical Manufacturing via Hybrid Bayesian-LSTM Networks
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Weekly #33-2025:Patch Tuesday, AI & Careers, Core Fundamentals, Cloud Era
dev.to·1h·
Discuss: DEV
🔌Network Programming