A critique of philosophical objectivity
lapcatsoftware.com·8h
🏛️Philosophy
Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Sets & Heaps in Haskell and Rust
mmhaskell.com·14h
🔒Type Safety
Thermodynamically Consistent Hybrid and Permutation-Invariant Neural Yield Functions for Anisotropic Plasticity
arxiv.org·19h
🌀Differential Geometry
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·19h
💻CS
NeuroKoop: Neural Koopman Fusion of Structural-Functional Connectomes for Identifying Prenatal Drug Exposure in Adolescents
arxiv.org·19h
🧠Machine Learning
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·4h·
Discuss: Hacker News
🔱Galois Cryptography
Improving Search for Deep Research Agents
vishnudut.com·1h·
Discuss: Hacker News
🧠Query Planners
Next-gen voice, video, and chat messaging using your domain name not your number
thunderbolt.com·1d·
Discuss: Hacker News
🔌Operating system internals
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·6h·
Discuss: Lobsters, Hacker News
💧Liquid Types
The Lobster Programming Language
strlen.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
Why a simple for loop (brute-force k-NN) becomes computationally impossible for modern AI applications
dev.to·14h·
Discuss: DEV
🧮Kolmogorov Complexity
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·19h
💾Binary Linguistics
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·11h
🌀Brotli Dictionary
HIP: Model-Agnostic Hypergraph Influence Prediction via Distance-Centrality Fusion and Neural ODEs
arxiv.org·3d
🌀Hyperbolic Geometry
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·3h·
Discuss: Hacker News
✅Format Validation
PGF-Net: A Progressive Gated-Fusion Framework for Efficient Multimodal Sentiment Analysis
arxiv.org·19h
📝ABNF Parsing
Dissonance: A journey through musical possibility space
aatishb.com·2d·
Discuss: Hacker News
🌈Spectral Audio
Sound and Solution-Complete CCBS
arxiv.org·19h
🛡️Archive Verification