Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
💻Programming languages
Generalizing zombie arguments
lesswrong.com·16h
🏛️Politics
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·17h
💻Programming languages
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·11h·
Discuss: r/programming
📘Typescript
Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
💻Programming languages
A Rust Shaped Hole
mnvr.in·9h·
Discuss: Hacker News
🦀Rust
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·42m·
Discuss: Hacker News
📏Vector Similarity
A distributed systems reliability glossary
antithesis.com·6h·
Discuss: Lobsters, Hacker News
🛡️System Reliability
As chatbots improve, humans' unique language abilities are becoming less special
phys.org·7h
🎭Claude
Double dissociation of dynamic and static face perception provides causal evidence for a third visual pathway
nature.com·4h
📊Embeddings
Wordborn
scriptoria.bearblog.dev·22h
🍄Fungi
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·21h
🔍Vector Search Algorithms
Connecting legibility to theory building in programming
ashwinsundar.com·5h·
Discuss: Hacker News
💻Programming languages
How I Doubled My Lookup Performance with a Bitwise Trick
reddit.com·50m·
Discuss: r/programming
🔢BitNet Inference
Principles for Picking Practical Interpretability Projects
lesswrong.com·3h
🔍AI Interpretability
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·17h
🎭Claude
supporting my values over taking defaults: stop filling the silence
sym.bearblog.dev·13h
🏠Small tech services
The Plato Plateau – anxiety matched philosophy
aneeshsathe.com·7h·
Discuss: Hacker News
🏛️Politics
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·7h
🕳LLM Vulnerabilities
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·5h·
Discuss: Lobsters, Hacker News
🏗️Build Systems