Mathematical exploration and discovery at scale
terrytao.wordpress.com·14h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·1d·
Discuss: Hacker News
🗃️databases
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·18h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·1d·
Discuss: Hacker News
🌐distributed systems
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·18h·
Discuss: Hacker News
🌐distributed systems
Flag this post
Harness the Power of Atlas Search and Vector Search with $RankFusion
mongodb.com·3h·
Discuss: Hacker News
🗃️databases
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀rust
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·1d·
Discuss: Hacker News
🎮gamedev
Flag this post
Marden's Theorem
en.wikipedia.org·4h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·3d·
Discuss: Hacker News, r/cpp
📝sql
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🌐distributed systems
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·2d·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·1d·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·2d·
Discuss: Hacker News
🌐distributed systems
Flag this post
Benchmarking the Most Reliable Document Parsing API
tensorlake.ai·14m·
Discuss: Hacker News
🗃️databases
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·1d·
Discuss: Hacker News
🎮gamedev
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·3d·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4d·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·13h·
Discuss: Hacker News
🌐distributed systems
Flag this post