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

Building Mercer Wealth Management โ€” the story of creating a modern advisory website (a behind-the-scenes narrative)
mercerwm.comยท1dยท
Discuss: DEV
๐Ÿ—๏ธSoftware Architecture
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.comยท2dยท
Discuss: Lobsters
๐Ÿ”—Parser Combinators
Launch HN: Uplift (YC S25) โ€“ Voice models for under-served languages
news.ycombinator.comยท1hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Mantine and inline styling
reddit.comยท5hยท
Discuss: r/reactjs
๐Ÿ—๏ธSoftware Architecture
Day 002 on My journey to becoming a CSS Pro with Keith Grant
dev.toยท16hยท
Discuss: DEV
๐ŸคProtocol Design
When Philosophy Meets AI
github.comยท1dยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
When to Use Generic vs Non-Generic Collections in C#
dev.toยท2dยท
Discuss: DEV
๐Ÿง Memory Management
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.orgยท9h
โš–Algorithmic Game Theory
Automated Multi-Modal Scholarly Review & Impact Prediction Framework
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ขMathematical Logic
A One-Class Explainable AI Framework for Identification of Non-Stationary Concurrent False Data Injections in Nuclear Reactor Signals
arxiv.orgยท9h
๐ŸŽฒProbabilistic Programming
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.orgยท1d
๐ŸงญSMT Solvers
How to use All AI Tools in One Platform
dev.toยท4hยท
Discuss: DEV
๐ŸงฉTheorem Proving
๐Ÿง  The Hidden Power of AI Agents in Web Apps: Build a Truly Smart App in Less than 100 Lines of Code
dev.toยท2hยท
Discuss: DEV
๐Ÿค–Sci-Fi
Introduction to Gang of Four (GoF) Design Patterns
dev.toยท2dยท
Discuss: DEV
โš™Functional Programming
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Unsupervised Pairwise Learning Optimization Framework for Cross-Corpus EEG-Based Emotion Recognition Based on Prototype Representation
arxiv.orgยท9h
๐ŸŽฒProbabilistic Programming
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.orgยท1d
โš–Algorithmic Game Theory
๐Ÿš€ Boost Your Coding Speed with AI Assistants (Copilot, Codeium & Tabnine Compared)
dev.toยท1dยท
Discuss: DEV
๐ŸงฉTheorem Proving
ADMIRE-BayesOpt: Accelerated Data MIxture RE-weighting for Language Models with Bayesian Optimization
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.orgยท1d
๐Ÿ”Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap