📜 Proof Languages - abnv · Scour

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

legacy.drivethrurpg.com·1d

📝Rope Editors

anglesmorts.org·1d

🔗Lexical Scoping

Machine Learning Based SPAM Detection Using ONNX in Java

foojay.io·1d

🔤Language Tokenizers

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·4d

📊Pratt Parsers

First Proof | Research-Level Math for AI Evaluation

1stproof.org·5d·

Discuss: Hacker News

🧩Constraint Solvers

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

qu3ry.net·2d·

Discuss: r/LLM

📡Erlang BEAM

Kevin Scott: Building a Sandbox for Claude Code

thekevinscott.com·1d

🦀MIR Optimization

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

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

Discuss: r/SideProject

🛡️Parser Security

CSCI 49201 - Functional Programming in OCaml

a-nikolaev.github.io·6d·

Discuss: Hacker News

⚡functional programming

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

intuitionlabs.ai·1d

🎭Program Synthesis

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

publish.obsidian.md·1d·

Discuss: Lobsters, Hacker News, r/programming

🎮Language Ergonomics

Tutorial on Agentic Engine

pori.vanangamudi.org·2d·

Discuss: r/LocalLLaMA

AlphaProof Paper

julian.ac·5d

🧩SAT Solvers

Let Lambda Come Over

yamlscript.org·4d

λLambda Calculus

The Lazy Builder’s Complexity Lesson

artima.com·3d

🌳Tree Walking

Fragments: February 9

martinfowler.com·2d

🎨Domain-Specific Languages

$\mathsf{SoK}$: On Cryptography for Multi-Cloud Storage

eprint.iacr.org·2d

🔗Hash Functions

The Adventures of a Pythonista in Schemeland/30

artima.com·3d

🔧Scheme Macros

How to Classically Verify a Quantum Cat without Killing It

eprint.iacr.org·1d

🎲Property Testing

**Abstract:** This paper introduces Quantum-Inspired Algorithm for Axiomatic System Generation and Verification (QASAGV), a novel approach to automatically c...

freederia.com·5d

∀Quantified Types

Loading more...