Categorical systems theory
topos.institute·11h
🔀Category Theory
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·2h·
Discuss: Hacker News
📜Binary Philology
Sorting encrypted data without decryption: a practical trick
dev.to·8h·
Discuss: DEV
🔐Hash Functions
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔄Burrows-Wheeler
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·14h·
Discuss: Substack
🔲Cellular Automata
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·48m·
Discuss: Hacker News
⬌Bidirectional Typing
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·3h·
Discuss: Hacker News
🛡️Error Boundaries
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
On knot detection via picture recognition
arxiv.org·1d
🕸️Algebraic Topology
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·19h·
Discuss: r/LLM
💻Local LLMs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
More on Carmichael
johndcook.com·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
In-Depth Analysis: "Attention Is All You Need"
dev.to·8h·
Discuss: DEV
🧠Intelligence Compression
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving