🔗 Dependent Types - nmarshall · Scour

These French Pantry Staples Make Classic Meals Easy to Pull Off 📅Meal Planning

seriouseats.com·2d

Making a Type Checker/LSP for Nix λFunctional Programming

johns.codes·6d·Lobsters, Hacker News, r/NixOS

Giving LLMs a Formal Reasoning Engine for Code Analysis ∀Lean4

yogthos.net·12h·Lobsters, Hacker News

DSPy: Programming – Not Prompting 🤖AI Coding Tools

akashtandon.in·2h·Hacker News

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·1d

anurag-as/Bonsai: A self-tuning Rust library that transparently switches between spatial index structures at runtime to maintain optimal query performance as your data evolves. 🎮Bevy

github.com·21h·Hacker News

Introduction to Compilers and Language Design 🔨Compilers

dthain.github.io·6d

From bytecode to bytes: automated magic packet generation 🔓Binary Exploitation

blog.cloudflare.com·20h·Hacker News

The Rocq Prover 9.2 documentation ∀Lean4

rocq-prover.org·1d·Hacker News

Grow and mow: interpretable models with boosting, symbolic regression and e-graphs 🐻‍❄️Polars

mchav.github.io·2h·Hacker News

A composable AI agent framework in TypeScript 🤖AI agents

better-agent.com·15h·Hacker News

AXI: Agent EXperience Interface 🤖AI agents

axi.md·4h·Hacker News

Live Life on the Edge: A Layered Strategy for Testing Data Models ⚙️Alloy

chiply.dev·2d·Hacker News, r/programming

I Accidentally Reinvented Kernel (Programming Language) 🦀Rust Macros

fayash.me·4d·Hacker News

A deterministic workflow compiler –> turns LLM intent into forms, docs, and APIs 🏗️Cranelift

web.geniesnap.com·20h·Hacker News

Formal Modeling and Analysis of Distributed Systems from AWS 📐TLA+

p-org.github.io·2d·Hacker News

Program Analysis: A Pragmatic Approach 🔍Static Analysis

homes.cs.washington.edu·12h·Lobsters

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 📐TLA+

github.com·3h·Hacker News

Formal Methods 📐TLA+

formalmethods.dk·6d·Lobsters

Clojure on Fennel part one: Persistent Data Structures λFunctional Programming

andreyor.st·2d·Lobsters, Hacker News

Loading more...