📜 Proof Languages - abnv · Scour

Bounded Modal Logic

arxiv.org·20h

📏Linear Logic

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

🏗️Calculus of Constructions

A Theory for Probabilistic Polynomial-Time Reasoning

arxiv.org·20h

🧮Combinator Calculus

Proving What's Possible

buttondown.com·6h

🎲Property Testing

Designing and Using Combinators: The Essence of Functional Programming

cse.chalmers.se·1d·

Discuss: Hacker News

⚡functional programming

Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System

news.ycombinator.com·9h·

Discuss: Hacker News

🤖Abstract Machines

Structure Beats Prose: Specs for Coding Agents That Actually Work

dev.to·6h·

Discuss: DEV

🎮Language Ergonomics

The Univalence Principle

golem.ph.utexas.edu·22h

🔗Category Theory

Fast Museum Searches: Go Concurrency and Caching

pkg.go.dev·8h·

Discuss: DEV

🗑️Stack Scanning GC

docs.modular.com·10h

🔗Go Generics

Peiyang-Song/Awesome-LLM-Reasoning-Failures: Repo for "Large Language Model Reasoning Failures"

github.com·8h

🪜Recursive Descent

vindarel: 🖌️ Lisp screenshots: today's Common Lisp applications in action

lisp-journey.gitlab.io·2h

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·9h·

Discuss: Lobsters

🔀Control Structures

LISP Prolog and Evolution

blog.samibadawi.com·8h

How ‘effectively zero-knowledge’ proofs could transform cryptography

scientificamerican.com

·13h

🔗Hash Functions

Verified developer portfolios using Code Complexity and AI

dev-proof-portfolio.vercel.app·3h·

Discuss: Hacker News

📚Self-Documenting Code

Simplifying assertions with lenses

blog.ploeh.dk·2d

🚂Error Monads

Functional Programming in an LLM World

notes.druchan.com·19h

🔍ML Language

A Note on Flat Abstract Syntax Trees

gist.github.com·2d·

Discuss: Hacker News

🌳Tree Walking

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

⚖️Inference Rules

Loading more...