🔗 Dependent Types - 2601 · Scour

Soppo language: Go, with the features it's missing 💬Smalltalk VMs

soppolang.dev·5h·Hacker News

Incremental Lambda Calculus ⚡Partial Evaluation

inc-lc.github.io·7h·Hacker News

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification 🪜Recursive Descent

arxiv.org·3d

Reflection On Recursion • 2 🪜Recursive Descent

inquiryintoinquiry.com·1d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🎭Racket

jointhefreeworld.org·6h·Lobsters, Hacker News

A language where you describe the system and the compiler verifies it 📚Self-Documenting Code

spine-lang.org·3h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🌳Pattern Match Compilation

yogthos.net·1d·Lobsters, Hacker News

mm0/mm0-rs/mmc.md at master 📏Linear Types

github.com·10h·Hacker News

JRMurr/tix: A nix type checker/lsp 🔮Type Inference Visualization

github.com·5d

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ⚖️Inference Rules

arxiv.org·1d

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔄Subinterpreters

pvk.ca·20h·Hacker News

But what about K? 🔬programming language theory

tony-zorman.com·1d·Lobsters, Hacker News

Slap: Functional Concatenative Language... with a Borrow Checker? ⚡Partial Evaluation

lobste.rs·6d·Lobsters

UniCreative: Unifying Long-form Logic and Short-form Sparkle via Reference-Free Reinforcement Learning 🪜Recursive Descent

arxiv.org·2d

I Accidentally Reinvented Kernel (Programming Language) 📚Forth Compilers

fayash.me·5d·Hacker News

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. 📋Tablegen

github.com·2d·Hacker News

The Rocq Prover 9.2 documentation ✨Gleam

rocq-prover.org·3d·Hacker News

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels 🗺️Region Inference

arxiv.org·2d

Post-Penultimate Conditional Syntax ⚖️Inference Rules

joel.place·5d·Hacker News

Nidus: Externalized Reasoning for AI-Assisted Engineering 🧠Symbolic AI

arxiv.org·2d

Loading more...