🐿️ 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

Darwinist feminism: Dismantling the myth of female sexual passivity
english.elpais.com·8h
⚙️systems theory
School of Computing Technical Reports
jmtd.net·20h
🎓Academic Torrents
Back from Display Next Hackfest 2025
bootlin.com·1d
🖥️Terminal Renaissance
Various and Sundry
math.columbia.edu·1d
🧮Theoretical Computer Science
Replacing WriteFreely with eleventy
underlap.org·1d
📰RSS Archaeology
API design note: Don’t make up multiple names for the same thing
devblogs.microsoft.com·4d
🔗Concatenative Programming
Zuckerberg’s ‘personal superintelligence’ plan: fill your free time with more AI
theverge.com·12h
🌀Brotli Internals
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·6d·
Discuss: Lobsters, Hacker News
📚MARC Archaeology
Endowments and Unintended Consequences
paulkedrosky.com·20h·
Discuss: Hacker News
✨Effect Handlers
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
Facts will not Save You - AI, History and Soviet Sci-Fi
hegemon.substack.com·18h·
Discuss: Substack
🤖AI Translation
Coding agents provide fast data visualization tools
mnky9800n.substack.com·2d·
Discuss: Substack
🏛Digital humanities
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·20h
🧬Palindrome Codes
AI Is Democratizing Cognitive Thought
daviesgeek.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Migrating from K3s to EKS Anywhere for 20+ Edge Sites: How to Centralize and Cut Costs?
reddit.com·1d·
Discuss: r/kubernetes
🖥️Self-hosted Infrastructure
Rust Support in Socket
socket.dev·1d·
Discuss: Hacker News
🦀Rust Borrowing
How AI-First Tools Are Changing the Way We Do Research
dev.to·1d·
Discuss: DEV
🔬Academic Search
How to Build an MCP Server in TypeScript
dev.to·1d·
Discuss: DEV
🐚Nordic Shell
Tips for starting homelabbing
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
AI Agents for DevOps: Architect, Deploy, and Automate Like a Pro — Book Launch
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap