🔢 algo - hello · Scour

Polymath: A Challenging Multi-modal Mathematical Reasoning Benchmark 🌳Pratt Parsing

Stop Guessing Which Weights Your Neural Network Actually Learned: Deterministic Initialization That Tracks Every Change 📱Edge AI

dev.to·2d·DEV

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs 🧮SMT Solvers

nooga/let-go: Almost Clojure written in Go. 🔵Clojure

github.com·4d·Lobsters, Hacker News, Hacker News

Shipped v2 of go-js-array-methods — JS-style Filter, Map, Reduce for Go slices 🐹golang

dev.to·2d·DEV

Improving search efficiency via adaptive acquisition function selection in discrete black-box optimization ⏪Deoptimization

Dsat: A Native SAT Solver for Discrete Logic 🧩Constraint Programming

GB10 Solution Atlas is now open source, <2min cold start 100 tok/s Qwen3.6-FP8 🎨WGPU

github.com·5d·Hacker News, Hacker News

Getting Started with Python For Data Analytics: A Beginner-Friendly Introduction 🐍Python

dev.to·2d·DEV

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs 🔍KLEE

Turning Observability into a Search Space 📊Datalog

dev.to·2d·DEV

jonghough/jlearn: Machine Learning Library, written in J 🧠Machine Learning

github.com·5d·Lobsters

PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation 🎭Program Synthesis

Efficient Ensemble Selection from Binary and Pairwise Feedback 🔍Miniselect

aevyraai/verdict: Benchmark any LLM against your data. Pick the best model, then make it better. 🦙Ollama

github.com·5d·Hacker News

Beyond Accuracy: Evaluating Strategy Diversity in LLM Mathematical Reasoning ⚖️Y-Fast Tries

What Will Happen Next: Large Models-Driven Deduction for Emergency Instances ⚓Anchors

KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy. 📊Datalog

github.com·3d·Hacker News

Statistical mechanics of the $N$-queens problem 🔄Anti-Entropy

Cplus2ASP: Computing Action Language C+ in Answer Set Programming 🔗Dependent Types

No more posts from hello's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling