📜 Proof Languages - abnv · Scour

Black Tongue Ruins - Sewer Dungeon and Ancient Ruins Cultist Lair Sacrifice Altar (Roll20)

legacy.drivethrurpg.com·12h

📝Rope Editors

Multiplex Thinking: Reasoning via Token-wise Branch-and-Merge

gmlr-penn.github.io·2d

🗺️Region Inference

Rewrote my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_modules) is the real win.

algomimic.com·5h·

Discuss: r/rust

Machine Learning Based SPAM Detection Using ONNX in Java

foojay.io·20h

🔤Language Tokenizers

Kevin Scott: Building a Sandbox for Claude Code

thekevinscott.com·11h

🦀MIR Optimization

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3d

📊Pratt Parsers

First Proof | Research-Level Math for AI Evaluation

1stproof.org·4d·

Discuss: Hacker News

🧩Constraint Solvers

An approach to reducing prompt size, drift, and governance risk in LLM-based systems

qu3ry.net·1d·

Discuss: r/LLM

📡Erlang BEAM

I’m experimenting with a stricter way to handle AI answers that might not be justified.

layal-production.up.railway.app·2d·

Discuss: r/SideProject

🛡️Parser Security

CSCI 49201 - Functional Programming in OCaml

a-nikolaev.github.io·5d·

Discuss: Hacker News

⚡functional programming

Claude Skills vs. MCP: A Technical Comparison for AI Workflows

intuitionlabs.ai·13h

🎭Program Synthesis

Spec-driven development doesn't work if you're too confused to write the spec - deontologician

publish.obsidian.md·21h·

Discuss: Lobsters, Hacker News, r/programming

🎮Language Ergonomics

Tutorial on Agentic Engine

pori.vanangamudi.org·2d·

Discuss: r/LocalLLaMA

AlphaProof Paper

julian.ac·4d

🧩SAT Solvers

Let Lambda Come Over

yamlscript.org·3d

λLambda Calculus

PBLean: Pseudo-Boolean Proof Certificates for Lean 4

arxiv.org·22h

🧩SAT Solvers

The Lazy Builder’s Complexity Lesson

artima.com·3d

🌳Tree Walking

New comment by anonymous908213 in "What functional programmers get wrong about systems"

news.ycombinator.com·1d·

Discuss: Hacker News

🚂Error Monads

Automated Constructive Proof Verification and Enhancement through Interactive Assistants and Machine‑Learning Heuristics **Abstract** We present a modular, c...

freederia.com·5d

🧮Theorem Provers

Fragments: February 9

martinfowler.com·1d

🎨Domain-Specific Languages

Loading more...