🔠 Type-Level Programming - matmat · Scour

Solving parametric polynomial systems using Generic Rational Univariate Representation

arxiv.org·20h

🧮SMT Solvers

Coding Agents with Environment Interaction: A Theoretical Perspective

arxiv.org·20h

🔲Cellular Automata

outer measure in nLab

ncatlab.org·5d

🔢Denotational Semantics

Categorical systems theory

danmackinlay.name·5d

🔀Category Theory

dev.to·1d·

Discuss: DEV

✨Effect Handlers

To Consume or Reference in Rust

meejah.ca·4d

🦀Rust Borrowing

[Dev Weekly #97] Astro is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3 Codex Just Dropped, and more

blog.codeminer42.com·3d

🔄Language Evolution

Sampling the Oxford CS Library

blog.computationalcomplexity.org·5d·

Discuss: blog.computationalcomplexity.org

⛏️Proof Mining

I built a Python LSP in Go!

reddit.com·2d·

Discuss: r/golang

🧠Lisp Dialects

Logic for Programmers New Release and Next Steps

buttondown.com·5d

⚙️Proof Engineering

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·4d

🦀Rust Macros

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·3d

📋Document Grammar

Building Highly Efficient Inference System for Recommenders Using PyTorch

pytorch.org·3d·

Discuss: Hacker News

📊Quantization

ahead-of-time wasm gc in wastrel

wingolog.org·3d·

Discuss: Lobsters, Hacker News

⚙️WASM Runtime

Database Schema as Code Intelligence

dev.to·1d·

Discuss: DEV

🗄️Database Internals

Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)

neutree.ai·3d·

Discuss: Hacker News

A Quick Introduction to OxCaml

noelwelsh.com·5d·

Discuss: Hacker News

💧Liquid Types

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·1d·

Discuss: Hacker News

⚖️Hoare Logic

Pascal-J/type-system-j: adds an optional type system to J language

github.com·6d·

Discuss: Lobsters

🎯Gradual Typing

erlang.org·3d·

Discuss: Hacker News

🦀Rusty Databases

Loading more...