🔢 algo - hello · Scour

Running the first program 🌀Naiad

enigmaticcode.wordpress.com·1d·Lobsters

Retrospective on binary search and comp{ress,ilat}ion (2015) ⚖️Y-Fast Tries

pvk.ca·5d·Hacker News

zuzuleinen/algotutor: AI-powered algorithmic training system using Claude Code 🌀Naiad

github.com·5h·Hacker News

General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks 💬Prompt Engineering

arxiv.org·18h

APL: Evaluator for a Subset of Scheme 📐Type Theory

dfns.dyalog.com·2d·Hacker News

A simple test-time method that beats Claude Mythos on Terminal-Bench 🧮MKL

llm-as-a-verifier.notion.site·2h·Hacker News

How I Built an Autonomous Dataset Generator with CrewAI + Ollama (72-hour run, 1,065 entries) 🦙Ollama

dev.to·6h·DEV

The Sort Algo Every Language Uses (Not Quicksort) ⚡Quicksort

youtube.com·4d·DEV

Solution Space 🧮SMT Solvers

misfitsarchitecture.com·2d

The AI revolution in math has arrived 💬Prompt Engineering

news.ycombinator.com·19h·Hacker News

算法解析 - Aditya Y. Bhargava --- Grokking Algorithms ⚡X-Fast Tries

manning.com·1d

A New Breakthrough in AI Solving Mathematical Conjectures: The Peking University Team's Exploration 🧮SMT Solvers

chinaresearchcollective.substack.com·6d·Substack

NoB (Noticeably Better): a compiled language that tries to stay out of your way 🦀Rust Macros

nob-lang.omni-flows.uk·1d·DEV

Analysis of spilling MoE weights onto SSD: GLM-5 is surprisingly usable even with over 1/3rd of weights left on SSD, due to caching dynamics 🧩mimalloc

rentry.org·3d·r/LocalLLaMA

A Perfectable Programming Language 🔨Compiler Design

alok.github.io·2d·Hacker News

Fast and Easy Levenshtein distance using a Trie 📝Suffix Arrays

stevehanov.ca·2d·Hacker News

Grow and mow: interpretable models with boosting, symbolic regression and e-graphs 🧠Machine Learning

mchav.github.io·5d·Hacker News

Calculating 📊Dynamic Programming

dailyexplorations.bearblog.dev·2d

🔗 Reply to: 1d-chess 🔢Homomorphic Encryption

perrotta.dev·2d

Para-B&B: Load-Balanced Deterministic Parallelization of Solving MIP 🔀SIMD Programming

arxiv.org·18h

Loading more...