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

Type Systems, Lambda Calculus, Semantics, Monads

How Agentic AI Can Help Overcome the Child Welfare Information Crisis
salesforce.com·3h
⚡Concurrency
Why Semantic Spacetime (SST) is the answer to rescue property graphs
mark-burgess-oslo-mb.medium.com·3d·
Discuss: Lobsters
🔄Category Theory
Differentiating between AI and a human author using flash fiction
mark---lawrence.blogspot.com·9h·
Discuss: Hacker News
🧫Cellular Automata
Two years and counting: How we are building the future of technical writing
typst.app·2d
🔧Compiler Design
In Conversation With Dung Le: Engineering Excellence Across Tech Giants and Entrepreneurial Ventures
hackernoon.com·5h
🛡️IoT Security
How AI-Created Code Will Strain DevOps Workflows
devops.com·7h
🏗️Software Architecture
Unsupervised Learning NO. 494
newsletter.danielmiessler.com·2d
🔗Parser Combinators
13 Most Common HTTP Status Codes You Should Know As A Developer
dev.to·15h·
Discuss: DEV
🤝Protocol Design
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·3d
🧭SMT Solvers
Approaching the Source of Symbol Grounding with Confluent Reductions of Abstract Meaning Representation Directed Graphs
arxiv.org·3d
🔗Parser Combinators
Build a Lightweight Serverless ETL Pipeline to Iceberg Tables with AWS Lambda Athena
dev.to·3d·
Discuss: DEV
🧩Theorem Proving
I built distributed systems at Meta. I still recommend starting with web dev.
dev.to·1d·
Discuss: DEV
📦WebAssembly
Graphon Mean-Field Logit Dynamic: Derivation, Computation, and Applications
arxiv.org·2d
⚖Algorithmic Game Theory
Quark’s Outlines: Python Complex Numbers
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
Rate my Web Dev Road Map
reddit.com·3d·
Discuss: r/webdev
📦WebAssembly
Evolving My AI Journal: From Python MCPs to Rust Scripts and Claude Code
dev.to·4d·
Discuss: DEV
🔧Compiler Design
Elegant Middleware Architecture Implementation(3190)
dev.to·4d·
Discuss: DEV
🦀Rust
Bidirectional Communication Patterns in Modern Web Apps(8274)
dev.to·4d·
Discuss: DEV
🤝Protocol Design
Code Smell 308 - Not Polymorphic Return
dev.to·5d·
Discuss: DEV
⚙Functional Programming
Coris (YC S22) Is Hiring
ycombinator.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap