🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Language Theory

Type Systems, Formal Methods, Lambda Calculus, Category Theory

Speedrunning the New York Subway
blog.trailofbits.com·1h
🔱plan 9
Once Upon a Pipe in the West: A Working Adapter from HDMI to Gardena – Jhauser
jhauser.de·4h·
Discuss: Lobsters, Hacker News
💾vintage computing
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·1d·
Discuss: Hacker News
🎨Graphics Programming
Linear scan with lifetime holes
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Seed: Interactive software environment based on Common Lisp
github.com·1d·
Discuss: Lobsters, Hacker News
🧩programming
Introduction to Bluesky's AT Protocol
mackuba.eu·4d·
Discuss: Hacker News
🌐Network Protocols
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🧩programming
Modeling GRNs with a Probabilistic Categorical Framework
arxiv.org·5d
🧩programming
HebID: Detecting Social Identities in Hebrew-language Political Text
arxiv.org·3d
⚙️Compilers
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·5d
⚙️Compilers
A Guide to Gen AI / LLM Vibecoding for Expert Programmers
stochasticlifestyle.com·2d·
Discuss: Hacker News
⚙️Compilers
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·3d
🧩programming
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.org·3d
🌐Network Protocols
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·6d
⚙️Compilers
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.org·4d
⚙️Compilers
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·4d
⚙️Compilers
Exploiting Vocabulary Frequency Imbalance in Language Model Pre-training
arxiv.org·3d
⚙️Compilers
A partnership
arkansasonline.com·4h
🌐Network Protocols
Essential Reading for Agentic Engineers - August 2025
steipete.me·3d·
Discuss: Hacker News
🧩programming
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·4d
⚙️Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap