๐Ÿฟ๏ธ 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

Study: Elephants Only Other Species Capable Of Leveraging Synergies In Brand Portfolio
theonion.comยท3h
๐Ÿ”„Category Theory
How to Read a Book: 008, More On the Activiy and the Art of Reading
janusworx.comยท6h
๐Ÿ“ŠInformation Theory
Text Editing, AI and Problems that Go Away
terrycrowley.medium.comยท17h
๐Ÿ“ฆWebAssembly
Frank and May Watson, Firefox, Turing AI Institute, More: Sunday Afternoon ResearchBuzz, August 17, 2025
researchbuzz.meยท1d
๐Ÿค–Sci-Fi
Grammarly says its AI agent can predict an A paper - The Verge
news.google.comยท1d
๐Ÿ”—Parser Combinators
Keep local web-hosted lists of web links and mirrors, with public links and other goodies
reddit.comยท2hยท
Discuss: r/opensource
๐Ÿ‘Open Source Software
Giving AIs safe motivations
joecarlsmith.comยท1d
๐Ÿ”—Parser Combinators
Intraducing Mastrodon
daniel.industriesยท1d
๐Ÿ”ŒNetwork Programming
Coursera vs Udemy: Which Platform Should You Actually Learn From?
dev.toยท6hยท
Discuss: DEV
๐ŸงฉTheorem Proving
How to Register a Service Worker With Vite and Rollup Without Plugins
dev.toยท9hยท
Discuss: DEV
๐Ÿฆ€Rust
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท12h
๐ŸŽฒProbabilistic Programming
My first project in Go is a terminal dashboard (and wow, what a programming language)
reddit.comยท3hยท
Discuss: r/golang
๐Ÿ”งCompiler Design
Experimenting with NotebookLLM: From Cryptic Puzzles to Emergent AI
dev.toยท23hยท
Discuss: DEV
๐ŸงฉTheorem Proving
I took a break
waylonwalker.comยท2d
๐Ÿ”งCompiler Design
Apriel-Nemotron-15B-Thinker
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
โญ pedrovhb typescope
waylonwalker.comยท2d
๐Ÿ“Type Theory
How to use All AI Tools in One Platform
dev.toยท7hยท
Discuss: DEV
๐ŸงฉTheorem Proving
Researchers glimpse the inner workings of protein language models
news.mit.eduยท21h
๐Ÿ”—Parser Combinators
The 4-Hour Weekly Workflow That Keeps My Codebase Clean
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Lifelong Learner: Discovering Versatile Neural Solvers for Vehicle Routing Problems
arxiv.orgยท12h
๐ŸŽฏConstraint Programming
Loading...Loading more...
AboutBlogChangelogRoadmap