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

SKI Combinators, Point-free Programming, Lambda Elimination, Church Encoding

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2h·
Discuss: Hacker News
🎯Interactive Provers
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·23h·
Discuss: Hacker News
🔍Type Inference
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·23h·
Discuss: Hacker News
🔗Functional Compilers
A new look at twin reduction
cameroncounts.wordpress.com·1d
🔗Graph Isomorphism
Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
🌳Context free grammars
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Historical highlights?
logicmatters.net·12h
🔀Category Theory
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·6h
🧮Kolmogorov Bounds
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Machine Learning Fundamentals: decision trees project
dev.to·8h·
Discuss: DEV
🔗Topological Sorting
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Billions of Edges per Second with Postgres
onesparse.com·5h·
Discuss: Hacker News
🗜️Graph Compression
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·3h
🔢Bitwise Algorithms
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap