🐓 Coq - ausean · Scour

Impredicativity in Linear Dependent Type Theory

arxiv.org·14h

📐Type Systems

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

📐Type Systems

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·14h

🚀 Building My First Web3 App on Monad Using AI + Simple Prompts

dev.to·2h·

Discuss: DEV

📐Type Systems

Show HN: Open-Source SDK for AI Knowledge Work

github.com·2h·

Discuss: Hacker News

🔍Symbolic Execution

Simplifying assertions with lenses

blog.ploeh.dk·1d

📐Type Systems

en.wikipedia.org·15h

📐Type Systems

A Note on Flat Abstract Syntax Trees

gist.github.com·1d·

Discuss: Hacker News

How to Find Your False Beliefs (Without Creating a Paradox)

clearerthinking.org·2h

OK, what's the difference between coherence and representation theorems?

lesswrong.com·18h

📐Type Systems

Formal Methods Practice and Theory

adacore.com·5h·

Discuss: Hacker News

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·1d

🔍Symbolic Execution

Hey guys! I've been working on solving the bootstrap problem in epistemic uncert...

news.ycombinator.com·5h·

Discuss: Hacker News

📐Type Systems

intersection type in nLab

ncatlab.org·6h

📐Type Systems

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·23h

📐Type Systems

Coding A PoS Tagger from Scratch — A Statistical Part-of-Speech Tagger | NLP

pub.towardsai.net

·21h

📐Type Systems

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·10h

Large Language Models for Mortals book released

crimede-coder.com·4h·

Discuss: Hacker News

📐Type Systems

Well-Typed.Com: hs-bindgen 0.1-alpha release

well-typed.com·19h·

Discuss: Lobsters, Hacker News

**Optimizing Efficient Knowledge Graph Inference with Tempor

dev.to·1h·

Discuss: DEV

📊Dataflow Analysis

Loading more...