🎯 Constraint Solving - abnv · Scour

Time Series Reasoning via Process-Verifiable Thinking Data Synthesis and Scheduling for Tailored LLM Reasoning

arxiv.org·12h

🧩Constraint Logic

Solving parametric polynomial systems using Generic Rational Univariate Representation

arxiv.org·1d

⚡Partial Evaluation

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·1d·

Discuss: DEV

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

🌱Minimal Languages

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·4d·

Discuss: Hacker News

🌳Tree Walking

OSTEP Chapters 6,7

muratbuffalo.blogspot.com·5d·

Discuss: Blogger

💾Cache Algorithms

OpenClaw Memory Architecture: Building a Local-First RAG with SQLite

pingcap.com·4d

💾Minimal Databases

Actualización de embeddings en producción con LangChain + pgvector

platform.openai.com·4d·

Discuss: DEV

⚖️Weighted Automata

LangChain Academy's LangSmith Essentials Course

i-programmer.info·6d

🎓Teaching Compilers

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·5d

🔗Concurrency Primitives

Synthesizing scientific literature with retrieval-augmented language models

nature.com·4d

Consolidating systems for AI with iPaaS

technologyreview.com·5d

🎭Program Synthesis

The Engineering Discipline That Made AI Actually Useful

multigres.com·5d·

Discuss: Hacker News

📋Souffle Datalog

Build Your Own Coding Agent: A Zero-Magic Guide to AI Agents in Pure Python

leanpub.com·6d·

Discuss: Hacker News, r/coding

🎭Program Synthesis

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

wired.com·5d·

Discuss: Hacker News, Hacker News, r/technews

🧩Constraint Solvers

Matrices and Magic Squares

pballew.blogspot.com·5d·

Discuss: Blogger

🧮Linear Algebra

Taking on Anthropic's Public Performance Engineering Interview Challenge

matthewtejo.substack.com·6d·

Discuss: r/programming

⚡Interpreter Optimization

— ### Abstract Accurate prediction of physicochemical descriptors (e.g., aqueous solubility log S, octanol‑water partition coefficient log P, and acid ...

freederia.com·4d

✨Effect Inference

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·3d

🔢Algebraic Datatypes

Proposal: A Framework for Discovering Alien Physics via Optimal Compression

lesswrong.com·3d

🪜Recursive Descent

Loading more...