🧮 SMT Solvers - emschwartz · Scour

Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)

axiommath.ai·14m

I bought a €9k GH200 “desktop” to save $1.27 on Claude Code (vLLM tuning notes)

dnhkng.github.io·7h·

Discuss: r/LocalLLaMA

🏗️LLM Infrastructure

MyNotes: Learning with AI

mguhlin.org·3h

👨‍💻AI Coding

Stack: Simulating cellular conditions via prompt engineering, without the need for fine-tuning

arcinstitute.org·14m

📦Batch Embeddings

rush86999/atom: Atom Agent, automate your workflows by talking to an AI — and let it remember, search, and handle tasks like a real assistant

github.com·1h·

Discuss: Hacker News

Primecoin primality test

johndcook.com·1d

🔐Cryptography

Epistemic Debt: The Hidden Cost of AI Speed

failingfast.io·1d

MalruleLib: Large-Scale Executable Misconception Reasoning with Step Traces for Modeling Student Thinking in Mathematics

arxiv.org·4d

🪄Prompt Engineering

Show HN: The OASI 6 Engineering Structural Abundance via SMR and Modular

news.ycombinator.com·23h·

Discuss: Hacker News

🌐Distributed systems

LIVE SOLVE REPEAT! (Absolute Solver in a timeloop)

forums.sufficientvelocity.com·4d

🪄Prompt Engineering

Linus Torvalds: Stop making an issue out of AI slop in kernel docs – you're not changing anybody's mind

theregister.com·2d·

Discuss: Hacker News

Putting the M in a UNI-T MSO

hackaday.com·5d

🪄Prompt Engineering

Finishing "fizzbuzz" and announcing the Python Growth Challenge

everydaysuperpowers.dev·5d

🌊Async Patterns

An Algebraic Theory of Music

reasonablypolymorphic.com·6d·

Discuss: Hacker News

💻Programming languages

MambaFormer: Token-Level Guided Routing Mixture-of-Experts for Accurate and Efficient Clinical Assistance

arxiv.org·5d

📱Edge AI Optimization

Computing Without the Courses

joodaloop.com·5d

🪄Prompt Engineering

I got paid minimum wage to solve an impossible problem using C++ (and accidentally learned why most algorithms make life worse)

tiespetersen.substack.com·4d·

Discuss: Substack, r/cpp

🎰Bandit Algorithms

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one

arxiv.org·2d

🔄Incremental Computation

Quantum Computers: Are We There Yet?

semiwiki.com·5d

LLM & AI Agent Applications with LangChain and LangGraph — Part 25: AI Agents architectures(and…

pub.towardsai.net·6d

Loading more...