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

Criminal Court sentences opposition MP to 2 years 8 months in lèse majesté case
nationthailand.com·14h
🔢Mathematical Logic
Broken $100B dream city becomes refuge for tech utopians
latimes.com·10h·
Discuss: Hacker News
🔌Network Programming
‘Let’s make it look as cool as possible’ – Suda51 talks Romeo is a Dead Man
mirror.co.uk·22h·
Discuss: r/TwoBestFriendsPlay
🧫Cellular Automata
Barcelona set to extend star player's contract following his last season's contribution
sportingnews.com·22h
📊Information Theory
Vibe Coding Fiasco: AI Agent Goes Rogue, Deletes Company's Database
pcmag.com·14h·
Discuss: Hacker News
🧭SMT Solvers
Confronting The Golem
3quarksdaily.com·4h
🔢Mathematical Logic
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
LLMs are Bayesian, in Expectation, not in Realization
researchgate.net·6d·
Discuss: Hacker News
🎲Probabilistic Programming
How to Work with Files in Python (Read, Write, Append) 📂🐍
dev.to·2d·
Discuss: DEV
📝Lisp
Ergo Framework v3.1.0 Released
github.com·3d
🤝Protocol Design
2.5k budget, overwhelmed by options
reddit.com·10h·
Discuss: r/homelab
🌍Distributed Systems
Mastering MongoDB Aggregation Pipelines: A Developer’s Complete Guide
dev.to·4d·
Discuss: DEV
🗄️Database Theory
How to Context Engineer to Optimize Question Answering Pipelines
towardsdatascience.com·2d
🔗Parser Combinators
Barnwell separates fact from fiction off NFL Week 1: Is it too early to worry about the Lions?
espn.com·38m
🎲Probabilistic Programming
AI-Powered Due Diligence Scoring for Deep-Tech Seed Investments: A HyperScore Framework
dev.to·12h·
Discuss: DEV
🎲Probabilistic Programming
HELP ME, find a knowlege base
reddit.com·2d·
Discuss: r/selfhosted
👐Open Source Software
Atomica- Turn Science into understandable concepts
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Automated Scientific Forecasting via Multimodal Knowledge Graph Fusion and HyperScore Validation
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
It’s Basically Cozy Season, Right? I Think So.
bookriot.com·4h
⚙Functional Programming
How React Native Talks to Your iPhone and Android… And How It’s Changed
dev.to·18h·
Discuss: DEV
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap