🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⛪ Church Encoding

Lambda Calculus, Data Representation, Functional Encoding, Type Theory

My (temp) budget homelab
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
The Hidden Costs of Streaming Music (2020)
newyorker.com·7h·
Discuss: Hacker News
📼Cassette Culture
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Honest Abe: Anti-BS Epistemology
austinross.xyz·6h·
Discuss: Hacker News
🔲Proof Irrelevance
"high level" languages are easier to optimize
jyn.dev·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·10h·
Discuss: Hacker News
🌳Incremental Parsing
Day 4 of Learning System Design: Mastering Consistent Hashing
dev.to·10h·
Discuss: DEV
🌐Distributed Hash
Wrote my own DB engine in Go... open source it or not?
reddit.com·12h·
Discuss: r/golang
🔓Open Source Software
Fundamental Concepts In Cloud Computing.
dev.to·5h·
Discuss: DEV
🖥️Self-hosted Infrastructure
How to generate a TypeScript SDK for your API spec
buildwithfern.com·1d·
Discuss: Hacker News
⚡gRPC
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
The Symbol Grounding Problem (1990)
arxiv.org·4d·
Discuss: Hacker News
🔢Denotational Semantics
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·7h·
Discuss: Hacker News
🧬PostgreSQL Forensics
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·18h
🤐Secure Multiparty
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·18h
🕸️Algebraic Topology
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Language Models for Adult Service Website Text Analysis
arxiv.org·1d
📝Text Parsing
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·7h·
Discuss: DEV
🔄Lens Laws
Loading...Loading more...
AboutBlogChangelogRoadmap