Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·1d·
Discuss: Substack
🎯Proof Tactics
CodeSOD: A JSON Serializer
thedailywtf.com·2d
📦Deflate
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
Keyboard Holders, Generation 1
cceckman.com·2d·
Discuss: Hacker News
⌨️Mechanical Keyboards
10 Data + AI Observations for Fall 2025
towardsdatascience.com·1d
🌊Stream Processing
Code Green: How Big Data and AI are Engineering a Sustainable Planet
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·2d·
Discuss: Hacker News
🛡️eBPF Security
High-Throughput Reactive Sputtering Process Optimization via Adaptive Machine Learning Control
dev.to·3h·
Discuss: DEV
📄Document Digitization
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·11h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·18h·
Discuss: Lobsters, Hacker News
📊APL Heritage
AI and Deep Learning Accelerators Beyond GPUs in 2025
bestgpusforai.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·21h·
Discuss: Hacker News
🛡️Error Boundaries
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·2d·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·1d·
Discuss: DEV
📡Audio Modulation
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·13h·
Discuss: DEV
💻Local LLMs