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

Creating Push Button Trading: A Journey in Algorithmic Trading with Python and C++
pushbuttontrading.coยท1dยท
Discuss: DEV
๐Ÿ”ŒNetwork Programming
Faculty and Students Present at USENIX Security Symposium
cylab.cmu.eduยท18h
๐Ÿ”Cryptography
From DeepSeek-MoE to R1: how expert routing and RL made the leap
chrishayduk.comยท17hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Flexibility to Framework: Building MCP Servers with Controlled Tool Orchestration
aws.amazon.comยท1d
๐ŸคProtocol Design
Reducing Time to Value for Data Science Projects: Part 4
towardsdatascience.comยท1d
๐Ÿ”งCompiler Design
Software on Demand: from IDEs to Intent
metrics.blogg.gu.seยท3h
๐Ÿ‘Open Source Software
The AI Was Fed Sloppy Code. It Turned Into Something Evil.
quantamagazine.orgยท20hยท
Discuss: Hacker News
๐Ÿค–Sci-Fi
PyLadies SF Meetup on 8/28: Python + Pizza
dev.toยท15hยท
Discuss: DEV
๐ŸงฉTheorem Proving
Against Epistemic Democracy: A Epistemic Tier List of What Actually Works
lesswrong.comยท13h
๐Ÿ”ขMathematical Logic
OSE Metaprogramming: How to Make Your Code Come Alive
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งCompiler Design
Exploring the Technical Knowledge Interaction of Global Digital Humanities: Three-decade Evidence from Bibliometric-based perspectives
arxiv.orgยท1d
๐Ÿ“Type Theory
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.orgยท6h
๐Ÿ•ธ๏ธGraph Theory
Numerical Considerations in Weighted Model Counting
arxiv.orgยท3d
๐ŸŽฒProbabilistic Programming
Listing of tools that replace the reflection involving code with type safe code by generation
reddit.comยท3dยท
Discuss: r/golang
๐Ÿ”งCompiler Design
HTTP Request Processing with Zero-Copy Optimization(0979)
dev.toยท23hยท
Discuss: DEV
๐ŸคProtocol Design
Build Your Own AI Stock Portfolio Agent with LlamaIndex + AG-UI
dev.toยท21hยท
Discuss: DEV
๐ŸงฉTheorem Proving
AI Blob! LLM-Driven Recontextualization of Italian Television Archives
arxiv.orgยท6h
๐Ÿ”—Parser Combinators
Fuzzy-Pattern Tsetlin Machine
arxiv.orgยท1d
โš™Functional Programming
Understanding Transformers through the Lens of Pavlovian Conditioning
arxiv.orgยท1d
๐Ÿ”„Category Theory
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.toยท4dยท
Discuss: DEV, r/golang
๐Ÿ“Type Theory
Loading...Loading more...
AboutBlogChangelogRoadmap