🔢 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

How do I use MTP? 📬MessagePack

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

A new JavaScript test runner called Decaf 🍱Nom

djalbat.com·20h·Hacker News

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

github.com·1d·Lobsters, Hacker News

From 15-Minute Lambda Timeouts to Sub-Second Runs — A DynamoDB Optimization Story ⚡DynamoDB

docs.aws.amazon.com·23h·DEV

Int a = 5; a = a++ + ++a; a =? (2011) ♻️Interning

gynvael.coldwind.pl·59m·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

Range Minimum Queries Project 📊Vectorized Query Execution

curiouscoding.nl·2d

Weekly Challenge: Joining and splitting lists ⏭️Skip Lists

dev.to·7h·DEV

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·2h·Hacker News

Relational modeling and APL ⁑ Dercuano 🔍Datalog Engines

dercuano.github.io·2d·Lobsters

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·3d·Lobsters, Hacker News, Hacker News

The Infinite Product That Knows Binary 🔢Homomorphic Encryption

tsourakakis.com·1d

Break the Loop, Part 3: When the Shape of the Answer Becomes the Program λFunctional Programming

hackernoon.com·1d

Making Julia as Fast as C++ 🌀Naiad

flow.byu.edu·5d·Hacker News

7 lines of code, 3 minutes: Implement a programming language (2010) λFunctional Programming

matt.might.net·1d·Hacker News, r/programming

Abstract Machines for Logic Programs 🔍Datalog Engines

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

Log in to enable infinite scrolling