🔠 Type-Level Programming - matmat · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·18h

🏗️Constructive Logic

Lil' Fun Langs' Guts

taylor.town·1d·

Discuss: Lobsters, Hacker News, r/programming

🔗Functional Compilers

Show HN: Turn – A compiled systems language for agentic computation

news.ycombinator.com·7h·

Discuss: Hacker News

🌐Protocol Synthesis

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

🔗Functional Compilers

State of Haskell 2025 results

discourse.haskell.org·3h·

Discuss: Lobsters, r/programming

🔗Functional Compilers

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·23h

⚔️Lean Tactics

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·18h

🌳Context free grammars

PEP 827 – Type Manipulation

peps.python.org·3d·

Discuss: Hacker News

🎯Gradual Typing

Generic methods arrive in Golang, but they weren't the top dev demand

theregister.com·7h

⬆️Lambda Lifting

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·6h

🔧Hardware Verification

Show HN: Sabela – A Reactive Notebook for Haskell

datahaskell.org·19h·

Discuss: Lobsters, Hacker News

🔗Functional Compilers

Build Semantic Search with LLM Embeddings

machinelearningmastery.com·10h

🗂️Vector Search

Differential Logic • 15

inquiryintoinquiry.com·5h

⚔️Lean Theorem

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·3h

🕸️Graph Algorithms

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·1h·

Discuss: Hacker News

🧬Functional Programming

extended C*-algebra in nLab

ncatlab.org·4h

🧮Algebraic Archives

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection

jmlr.org·11h

🧠Machine Learning

underlap.org·23h

🔩Systems Programming

I built a persistent memory layer for AI agents in Rust

news.ycombinator.com·4h·

Discuss: Hacker News

🦀Rust Borrowing

Dino in the Machine: Surviving the Transformer Latency Trap in C++

hackernoon.com·16h

🏗️Compiler Archaeology

Loading more...