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

Meta Plans Fourth Restructuring of AI Efforts in Six Months
theinformation.com·10h
🔗Parser Combinators
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·1d
🏗️Software Architecture
Why more thinking isn’t always better: Informatics PhD student co-authors AI safety study with Anthropic
informatics.ed.ac.uk·16h
🎲Probabilistic Programming
Son’s math test sparks internet outrage
mindyourdecisions.com·1d
🔢Mathematical Logic
Creating Text Shadows in CSS: Simple to Advanced Techniques
codepen.io·17h·
Discuss: DEV
📐Type Theory
My Internship Experience at Oasis Infobyte 🚀
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Disappointment in the treatment of "P3312 Overload Set Types"
github.com·5d·
Discuss: r/cpp
📐Type Theory
The Human-AI Hybrid Delphi Model: A Structured Framework for Context-Rich, Expert Consensus in Complex Domains
arxiv.org·2d
🎲Probabilistic Programming
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·4d
🔧Compiler Design
Leetcode 53: Maximum Subarray in JavaScript
dev.to·1d·
Discuss: DEV
🧠Memory Management
Intriguing Properties of gpt-oss Jailbreaks
lesswrong.com·2d
🔧Compiler Design
OpenBench v0.3.0 is live! 🚀
threadreaderapp.com·1d
🧭SMT Solvers
Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The BC Cancer Registry
arxiv.org·1d
🔗Parser Combinators
A letter to Kyle Fish on the Retirement of Claude 3 Sonnet
lesswrong.com·1d
🤝Protocol Design
Why Developers Still Choose Python, Even If It’s “Slow”
dev.to·18h·
Discuss: DEV
🔧Compiler Design
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference
arxiv.org·1d
🔗Parser Combinators
An Introduction to Python-Rust Interop for Scientific Codebases
github.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·1d
🔗Parser Combinators
A Framework for FAIR and CLEAR Ecological Data and Knowledge: Semantic Units for Synthesis and Causal Modelling
arxiv.org·3d
🔢Mathematical Logic
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
dev.to·1d·
Discuss: DEV
📐Type Theory
Loading...Loading more...
AboutBlogChangelogRoadmap