🎯 Hindley-Milner - hello · Scour

Wheeler Bisimulations

arxiv.org·1d

✅Model Checking

An interpretable molecular framework for predicting cancer driver missense mutations

pnas.org·2h

Fine Grained Everything, and what comes after React Server Components

blog.logrocket.com·19h

Backtracking Algorithms

algos.khourani.com·23h

💃Dancing Links

Programming Aphorisms

matklad.github.io·15h

🦀Rust Macros

Issue #721: Classification With zstd, Callables, Gemini, and More (Feb. 10, 2026)

pycoders.com·19h

Mastra: Build AI agents with a modern TypeScript stack

producthunt.com·20h

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·2d

🔍Type Inference

ConGLUDe: Toward General-Purpose Foundation Models for Drug Discovery

cbirt.net·6h

🧬Computational Biology

wordchipper - my next-gen LLM tokenizer; looking for LTR release help

docs.rs·1d·

Discuss: r/rust

Building a Robust Classifier with Stacked Generalization

dev.to·21h·

Discuss: DEV

🧠Machine Learning

Differential Logic • 5

inquiryintoinquiry.com·1d

🧮SMT Solvers

The middle ground between canonical models and data mesh

frederickvanbrabant.com·1d·

Discuss: r/programming

🏗️Data Modeling

A Coding Implementation to Establish Rigorous Prompt Versioning and Regression Testing Workflows for Large Language Models using MLflow

marktechpost.com·2d

cs.tufts.edu·1d·

Discuss: Lobsters

🔨Compiler Design

pythological/kanren: An extensible, lightweight relational/logic programming DSL written in pure Python

github.com·2d

[AINews] Qwen Image 2 and Seedance 2

latent.space·9h

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·1d·

Discuss: r/LocalLLaMA

📊Dynamic Programming

Active learning enables generation of molecules that advance the known Pareto front

nature.com·22h

🧬Computational Biology

maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.

github.com·23h·

Discuss: Hacker News

Loading more...