CodeSOD: Copy of a Copy of a
thedailywtf.com·12h
🌲B-tree Forensics
Quantifying Baseball Pitch Tunneling with K-Nearest Neighbors
runningonnumbers.com·17h·
Discuss: Hacker News
🌀Differential Geometry
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·6h
🔗Concatenative Programming
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·2d
👁️System Observability
Ask HN: MCP/API search vs. vector search – what's winning for you?
news.ycombinator.com·18h·
Discuss: Hacker News
🗂️Vector Search
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·6h·
Discuss: Hacker News
🔩Systems Programming
Alphabet of Human Thought
en.wikipedia.org·4h·
Discuss: Hacker News
📼Cassette Linguistics
The Hierarchical Reasoning Model
jdsemrau.substack.com·5h·
Discuss: Substack
🔲Cellular Automata
A Screw Approach to the Approximation of the Local Geometry of the Configuration Space and of the set of Configurations of Certain Rank of Lower Pair Linkages
arxiv.org·15h
🌐Computational Topology
Stupidity as a Service
lawrenc.es·10h·
Discuss: Hacker News
🐛Fuzzing
Towards Faithful Class-level Self-explainability in Graph Neural Networks by Subgraph Dependencies
arxiv.org·2d
🕸️Graph Embeddings
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·15h
📋Document Grammar
Fuzzing Hardware Like Software (2021)
arxiv.org·22h·
Discuss: Hacker News
🧪Hardware Fuzzing
You Can Build Better AI Agents in Java Than Python
medium.com·9h·
Discuss: Hacker News
⚡Proof Automation
Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
arxiv.org·1d
💻Local LLMs
SPL Lightweight Multisource Mixed Computation Practices
github.com·11h·
Discuss: Hacker News, r/programming
💧Liquid Types
The Hidden Flaw in Real-Time Fraud Detection (and the Hybrid Solution That Works)
hackernoon.com·12h
🌊Stream Processing
original ↗
pvk.ca·1d·
Discuss: Lobsters, Hacker News
🛡️Preservation Proofs
Why Your AI Chatbot is Dumb — And How to Fix It with AutoGPT Agents
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Untangling the Web: Practical Middleware Patterns in Go
dev.to·14h·
Discuss: DEV
🌊Stream Processing