🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

Open Source Is Too Important To Dilute
thenewstack.io·5h
🔓Open Source Software
Browsers battle over PDF capabilities
pdfa.org·53m
📋Document Standards
Philips Hue White Ambiance is actually terrible…
wejn.org·7h
🔓Reverse engineering
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·6h
🔐Quantum Security
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
All AI Models Might be The Same
blog.jxmo.io·4h·
Discuss: Hacker News
🧠Machine Learning
Explaining information architecture to a 6-year-old and an 82-year-old
littlelanguagemodels.com·1d·
Discuss: Hacker News
🗂️Information Architecture
Billions of Edges per Second with Postgres
onesparse.com·2d·
Discuss: Hacker News
🗜️Graph Compression
Dollars per token considered harmful
modal.com·1d·
Discuss: Hacker News
💻Local LLMs
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·9h·
Discuss: Hacker News
🌳Incremental Parsing
Honest Abe: Anti-BS Epistemology
austinross.xyz·5h·
Discuss: Hacker News
🔲Proof Irrelevance
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·16h·
Discuss: DEV
🔄Language Evolution
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.to·3h·
Discuss: DEV
⬆️Lambda Lifting
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
✨Effect Handlers
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·17h
🗂️Vector Databases
Language Models for Adult Service Website Text Analysis
arxiv.org·1d
📝Text Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap