🐿️ 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·1h
⚡Concurrency
We Computers: A Conversation with Hamid Ismailov and Shelley Fairweather-Vega
yalebooks.yale.edu·2d
🤖Sci-Fi
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·2d
⚡Concurrency
Why Semantic Spacetime (SST) is the answer to rescue property graphs
mark-burgess-oslo-mb.medium.com·3d·
Discuss: Lobsters
🔄Category Theory
📄 How to generate dynamic data structures with Apple Foundation Models
justin.searls.co·3d
🔧Compiler Design
Need help to find the right service.
moti90.github.io·13h
📦WebAssembly
Differentiating between AI and a human author using flash fiction
mark---lawrence.blogspot.com·7h·
Discuss: Hacker News
🧫Cellular Automata
Why does my regular expression work in X but not in Y?
unix.stackexchange.com·21h·
Discuss: Lobsters, Hacker News
📝Lisp
Announcing the Render MCP Server
render.com·1h
🦀Rust
How AI-Created Code Will Strain DevOps Workflows
devops.com·5h
🏗️Software Architecture
[$] Bringing restartable sequences out of the niche
lwn.net·5h
🏗Computer Architecture
Don't Understand PromQL? AI Agents Help You with Large-scale Metric Data Analysis
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
Day 003 on My journey to becoming a CSS Pro with Keith Grant
dev.to·1d·
Discuss: DEV
📐Type Theory
Deep Dive: I dug and dug and finally found out how the Context7 MCP works under-the-hood
reddit.com·2d·
Discuss: r/ClaudeAI
🤝Protocol Design
Federated Action Recognition for Smart Worker Assistance Using FastPose
arxiv.org·17h
🔗Parser Combinators
GeMS: Efficient Gaussian Splatting for Extreme Motion Blur
arxiv.org·17h
🎲Probabilistic Programming
Quark’s Outlines: Python Complex Numbers
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
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
Elegant Middleware Architecture Implementation(3190)
dev.to·4d·
Discuss: DEV
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap