original ↗
batsov.com·1d
⚙Functional Programming
2025-09-03
tantek.com·2d
🧫Cellular Automata
After years away from coding, I got back into it by learning Expo and building this app. What do you think?
play.google.com·1d·
Discuss: r/programming
🔢Mathematical Logic
original ↗
canro91.github.io·1d
🔧Compiler Design
Not Safe for Work: Tracking and Investigating Stealerium and Phantom Infostealers
proofpoint.com·2d
👐Open Source Software
What It Feels Like to Build in AI
tomtunguz.com·1d
🧫Cellular Automata
DeepConf can greatly reduce computational effort in language model reasoning tasks
the-decoder.com·5d
🧭SMT Solvers
Gm gm
threadreaderapp.com·2d
⚖Algorithmic Game Theory
New comment by goalieca in "MIT Study Finds AI Use Reprograms the Brain, Leading to Cognitive Decline"
news.ycombinator.com·2d·
Discuss: Hacker News
🧭SMT Solvers
Time's arrow => decision theory
lesswrong.com·3d
⚖Algorithmic Game Theory
A Novel Method to Determine Total Oxidant Concentration Produced by Non-Thermal Plasma Based on Image Processing and Machine Learning
arxiv.org·2d
🧫Cellular Automata
Nonlinear Model Predictive Control-Based Reverse Path-Planning and Path-Tracking Control of a Vehicle with Trailer System
arxiv.org·2d
🧩Theorem Proving
Look Out For Bugs
matklad.github.io·1d·
Discuss: Lobsters
🔍Static Analysis
Automated Anomaly Detection in Triboelectric Nanogenerator Arrays via Spatiotemporal Deep Learning
dev.to·2d·
Discuss: DEV
⚙Functional Programming
The Quality Loop: Smart Testing for Happier Developers
dev.to·2d·
Discuss: DEV
🔍Static Analysis
New comment by IrisChase in "Ask HN: Who wants to be hired? (September 2025)"
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Network Programming
Natural language-based database analytics with Amazon Nova
aws.amazon.com·3d
🔗Parser Combinators
Carolina Codes 2025: My First-Time Speaker Experience
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Advanced Plasma Etch Parameter Optimization via Bayesian Neural Network Hyperparameter Tuning
dev.to·6d·
Discuss: DEV
🌍Distributed Systems
Deploy, Don’t Dream: Why Practicality Beats Perfection in Warehouse Robotics
hackernoon.com·2d
🧩Theorem Proving