🐿️ 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
Creating a matchmaking system with AWS backend and JS react front end
reddit.com·14h·
Discuss: r/gamedev
⚖Algorithmic Game Theory
Day 002 on My journey to becoming a CSS Pro with Keith Grant
dev.to·14h·
Discuss: DEV
🤝Protocol Design
LLM Testing Strategies from OpenAI, Google, Anthropic, Meta
azilen.com·1d·
Discuss: r/programming
🔍Static Analysis
Introducing claude_hooks - A Ruby library that makes creating Claude Code hooks less painful
reddit.com·1d·
Discuss: r/ClaudeAI
🔧Compiler Design
When Philosophy Meets AI
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
A beginner-friendly guide to learning Jax with practical examples
github.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🧩Theorem Proving
Automated Multi-Modal Scholarly Review & Impact Prediction Framework
dev.to·1d·
Discuss: DEV
🔢Mathematical Logic
⭐ grantjenks python-c2f
waylonwalker.com·2d
⚙Functional Programming
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.org·7h
🎲Probabilistic Programming
High-Performance Routing System Design and Implementation(6148)
dev.to·1d·
Discuss: DEV
🦀Rust
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·2h·
Discuss: DEV
🧩Theorem Proving
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·7h
🎲Probabilistic Programming
🍝 Spaghetti Code: Why Your App Breaks When You Touch One Line
dev.to·2d·
Discuss: DEV
⚙Functional 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
Loading...Loading more...
AboutBlogChangelogRoadmap