🧩 Constraint Programming - hello · Scour

Pokémon Team Optimization

nchagnet.pages.dev·2d·

Discuss: Hacker News

⚖️Y-Fast Tries

AI-Driven Formal Theorem Proving in the Lean Ecosystem

leandojo.org·1d

Prompts are becoming Code, but we still treat them like Strings

dev.to·18h·

Discuss: DEV

💬Prompt Engineering

the myth of multitasking and other things i learned today

lollar.bearblog.dev·7h

⏭️Skip Lists

Building Tetris with more satisfying line clears [Progress update #3]

reddit.com·1h·

Discuss: r/godot

Regression by Composition

lesswrong.com·1d

🧠Machine Learning

<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...

freederia.com·16h

A New Twist in a Famous Problem

blog.tanyakhovanova.com·1d

💃Dancing Links

🎲 The Automatic Grover Algorithm

lucamarx.com·1d

⚛️Quantum Computing

I'm looking for high-level evaluations for a private and unique heuristic logic engine.

reddit.com·1d·

Discuss: r/LLM

🔍Datalog Engines

An Inequality Union Find Inspired by Atomic Asymmetric Completion

philipzucker.com·6d

🧮SMT Solvers

Going back to go forwards and instruction design

lukes-blog.vercel.app·3h·

Discuss: Hacker News

🎨Design Systems

Help me solve this problem

reddit.com·1d·

Discuss: r/C_Programming

💃Dancing Links

jart/jtckdint: C23 Checked Arithmetic

github.com·1d

🔬Valgrind Tools

Stanford CS 224N | Natural Language Processing with Deep Learning

web.stanford.edu·1d

blog.mitrichev.ch·3d·

Discuss: blog.mitrichev.ch

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

💎Refinement Types

Optimality-Informed Neural Networks for Solving Parametric Optimization Problems

arxiv.org·3d

📊Optimization

LangChain & LangGraph: Beginner’s Guide to AI Workflows

javacodegeeks.com·1d

💬Prompt Engineering

A Validated Semantics for LLVM IR

sf.snu.ac.kr·14h

Loading more...