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

Deciphering the function of Com_YlbF domain-containing proteins in Staphylococcus aureus
journals.asm.org·10h
🔄Category Theory
Why Building My Blog is More Fun Than Filling It
clojurecivitas.github.io·2d
🔧Compiler Design
Search Engine Journal: AI Systems Often Prefer AI-Written Content, Study Finds
rbfirehose.com·1d
🔗Parser Combinators
MockoScience 2025 HPPR: Finding the Best HPPR Snake Draft Strategies by Simulating Thousands of Drafts
reddit.com·8h·
Discuss: r/fantasyfootball
⚖Algorithmic Game Theory
IAC with Terraform
github.com·6h·
Discuss: DEV
🤝Protocol Design
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·1d
🧭SMT Solvers
Batch no. 2 return statement
blog.jfo.click·4d
🔧Compiler Design
Lienel、悪天候の浜辺で踊り狂う「超絶SUMMERでバカになれ」MV(暴風ver.)公開
news.jp·14h
⚙Functional Programming
Pluralsight vs Udemy: Which Platform Actually Helps You Code Better (and Not Just Collect Certificates)?
dev.to·14h·
Discuss: DEV
👐Open Source Software
Enemy State Machine Make My Brain Hurt
reddit.com·22h·
Discuss: r/godot
🧫Cellular Automata
There Is Only Time
carlbarenbrug.com·16h
🔄Category Theory
Exploring Multimodal AI Reasoning for Meteorological Forecasting from Skew-T Diagrams
arxiv.org·1d
🎲Probabilistic Programming
How do I come up with ideas for programming projects, and how do I know which language to move to after Python?
reddit.com·3d·
Discuss: r/AskProgramming
📝Lisp
We've open-sourced our Claude Code project management tool. I think others will like it
reddit.com·16h·
Discuss: r/ClaudeAI
👐Open Source Software
AI Needs Us—Yes, Really
every.to·16h
🧩Theorem Proving
⭐ python cpython
waylonwalker.com·4d
📐Type Theory
how-side-effects-work-in-fp
chadnauseam.com·4d
⚙Functional Programming
NFL teams monitoring wide receiver trade market: Why Vikings, Jets, 49ers need help
nytimes.com·9h
⚙Functional Programming
A Fully Transformer Based Multimodal Framework for Explainable Cancer Image Segmentation Using Radiology Reports
arxiv.org·22h
🎲Probabilistic Programming
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap