Song recommendations with pipes and filters
blog.ploeh.dk·4d
λLambda Formalization
Linkage
11011110.github.io·3d
🕸️Algebraic Topology
Binary Search in a 2D Matrix
mmhaskell.com·4d
📐Error Bounds
Dual numbers
funcall.blogspot.com·2d·
Discuss: www.blogger.com
📐Interval Arithmetic
Small Pull Requests, Big Impact: The Art of Code Reviews • Adrienne Braganza Tacke & Sasa Juric
youtube.com·4h
📏Code Metrics
Storage advice wanted for my homelab
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Preservation
How and where will agents ship software?
instantdb.com·1d·
Discuss: Hacker News
🌊Streaming Systems
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·1d
🔓Password Cracking
Building an AI-Powered Image Search Engine with Daft.ai
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·1d
🔗Topological Sorting
Language Models for Adult Service Website Text Analysis
arxiv.org·2d
📝Text Parsing
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
[P] XPINN Toolkit
reddit.com·1d·
Discuss: r/MachineLearning
📻Homebrew Protocols
How we tracked down a Go 1.24 memory regression
datadoghq.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Life Finds A Way: Emergence of Cooperative Structures in Adaptive Threshold Networks
arxiv.org·13h
🔲Cellular Automata
Beyond Fully Supervised Pixel Annotations: Scribble-Driven Weakly-Supervised Framework for Image Manipulation Localization
arxiv.org·13h
📊Learned Metrics
Eigenvalues and Eigenvectors: Unveiling the Secrets of Data Transformation in Machine Learning
dev.to·7h·
Discuss: DEV
📐Linear Algebra
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·13h
🧠Machine Learning
GPT-4.1 Beast Prompt
github.com·4h·
Discuss: Hacker News
⚡Proof Automation