🔢 algo - hello · Scour

Verifier-Backed Hard Problem Generation for Mathematical Reasoning 🧮SMT Solvers

You've Been Constraint-Solving All Along 🧩Constraint Programming

craigstuntz.com·1d

ChatGPT for Google Sheets - 与电子表格对话，使用自然语言编辑单元格 🎯Lance

workspace.google.com·14h

was tired of my solved DSA questions being scattered across LeetCode, GFG tabs, random folders, and pure chaos... so I built this 🔧Abseil

chromewebstore.google.com·13h·r/chrome_extensions

tidwall/btype: B-tree based collection types for Go 🗺️BTreeMap

github.com·2d·Lobsters, Hacker News

[Python/Sage] Using Equivalence Classes to Accelerate Solving the Discrete Logarithm Problem in a Short Interval ⚡X-Fast Tries

leetarxiv.substack.com·4d·Substack, r/programming

How do I use MTP? 📬MessagePack

cas-bridge.xethub.hf.co·8h·r/LocalLLaMA

Relational modeling and APL ⁑ Dercuano 🔍Datalog Engines

dercuano.github.io·2d·Lobsters

Java Program - Sieve of Eratosthenes to Find Prime Numbers ⏭️Skip Lists

netjstech.com·10h·netjstech.com

Range Minimum Queries Project 📊Vectorized Query Execution

curiouscoding.nl·2d

Vector, the Journal of the British APL Association 🎯Lance

web.archive.org·6d·Hacker News

Help me test my chess bot 🎲Deterministic Simulation

A recent experience with ChatGPT 5.5 Pro #️⃣Hash Tables

gowers.wordpress.com·4d·Lobsters, Hacker News, Hacker News

The Infinite Product That Knows Binary 🔢Homomorphic Encryption

tsourakakis.com·1d

Reinforcement Learning for Optimal Execution 📊Dynamic Programming

jonathankinlay.com·2d

Making Julia as Fast as C++ 🌀Naiad

flow.byu.edu·5d·Hacker News

Abstract Machines for Logic Programs 🔍Datalog Engines

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

Speed-Optimized Python 3.14t on Debian Forky: A Clang-19 Build Guide (Assisted by Google AI) 🐻‍❄️Polars

dbaxps.blogspot.com·5d

Replacing a 3 GB SQLite database with a 10 MB FST (finite state transducer) binary 📊HyperLogLog

til.andrew-quinn.me·2d·Lobsters, Hacker News, r/programming

Log in to enable infinite scrolling