Modelling API rate limits as diophantine inequalities
vivekn.dev·2d·
Discuss: Hacker News
🎯Performance Proofs
The Whole Code Catalog
futureofcoding.org·2d·
Discuss: Hacker News
🔗Concatenative Programming
The Story of Mel
users.cs.utah.edu·25m·
Discuss: Hacker News
⚔️Lean Tactics
Using LLMs in CI/CD for semantic testing of web content
plo.ug·2d·
Discuss: Hacker News
⚡Proof Automation
Terence Tao: Hardest Problems in Mathematics, Physics and the Future of AI
lexfridman.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Memory Safety Is Merely Table Stakes
usenix.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Optimizing Change-Driven Architectures - A New Cloud-Native Model with Drasi
youtube.com·3d
⚡Incremental Computation
[R] OpenEvolve: Automated GPU Kernel Discovery Outperforms Human Engineers by 21%
reddit.com·21h·
Discuss: r/MachineLearning
⚡SIMD Optimization
Context Engineering: A Primer
ai.intellectronica.net·2d·
Discuss: Hacker News
⚙️TLA+
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·3d
💧Liquid Types
How I Built NetNerve That Made Headlines a Day After It's Launch
dev.to·6h·
Discuss: DEV
📊PCAP Analysis
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
📓 Dev Notebook – Part 0: 🎯 The Core Concepts of Forecasting You Should Understand Before Building Anything
dev.to·18h·
Discuss: DEV
📈Time Series
Uncertainty Quantification on Graph Learning: A Survey
arxiv.org·4d
🕸️Graph Embeddings
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
λLambda Encodings
Devlog #1 ahhhhh it's a snake
dev.to·8h·
Discuss: DEV
🔩Systems Programming
Why AI Agents Should Have Their Own Computers: Unlocking True Autonomy And Potential
dev.to·42m·
Discuss: DEV
🔲Cellular Automata
DiaLLMs: EHR Enhanced Clinical Conversational System for Clinical Test Recommendation and Diagnosis Prediction
arxiv.org·3d
🎵Audio ML
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·3d
🎯Dependent Parsing