🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Typeclassopedia
wiki.haskell.org·19h·
Discuss: Hacker News
🧬Functional Programming
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·18h
📇Dublin Core
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
🔒Type Safety
Teaching programming languages
kmjn.org·10h
💻Programming languages
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Two Dogmas of Empiricism
en.wikipedia.org·9h·
Discuss: Hacker News
💻Programming languages
The Lobster Programming Language
strlen.com·2h·
Discuss: Hacker News
🔗Concatenative Programming
Claude Code's 19 cent Parser
blogger.com·9h
🔧Binary Parsers
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Counting Org mode headlines
mbork.pl·16h
📄PostScript
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·5h
⚡Proof Automation
how to build a youtube clone with python
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·22h
🧪Binary Fuzzing
Nullable vs. Nullable in C#
einarwh.no·4h·
Discuss: Lobsters, Hacker News
✅Format Verification
Loading...Loading more...
AboutBlogChangelogRoadmap