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

The method for exactly solving bi-objective RAP with phase-type distribution under mixed redundancy strategy
sciencedirect.com·1d
🎲Probabilistic Programming
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·2d·
Discuss: Hacker News
🧠Memory Management
liblcf 0.8.1 Integer Overflow
packetstorm.news·1d
🤝Protocol Design
Someone asked an LLM to summarize my newsletter post through an LLM and submitted it to Reddit to gain karma.
bsky.app·1d·
Discuss: Bluesky
🔢Mathematical Logic
Po-Shen Loh on Building Thoughtfulness, Empathy, and Strong Networks in AI Era
toolong.link·5h·
Discuss: Hacker News
🤖Sci-Fi
Tech Now : BBCNEWS : August 20, 2025 1:30am-2:01am BST
archive.org·1h
🤖Sci-Fi
📄 Which of your colleagues are screwed?
justin.searls.co·9h
🔌Network Programming
githubnext/monaspace
github.com·4d
📐Type Theory
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
How do researchers write narrative CVs? Does language matter?
phys.org·11h
🎲Probabilistic Programming
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·1d
🎲Probabilistic Programming
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org·1d
🔗Parser Combinators
The Silent Doubt: Why I Built My First VS Code Extension 🤔
dev.to·1d·
Discuss: DEV
👐Open Source Software
🧠 The Hidden Power of AI Agents in Web Apps: Build a Truly Smart App in Less than 100 Lines of Code
dev.to·15h·
Discuss: DEV
🤖Sci-Fi
Apriel-Nemotron-15B-Thinker
arxiv.org·1d
🔗Parser Combinators
How to use All AI Tools in One Platform
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Researchers glimpse the inner workings of protein language models
news.mit.edu·1d
🔗Parser Combinators
Constants and Enumerated Types in Java
dev.to·3h·
Discuss: DEV
🧠Memory Management
The 4-Hour Weekly Workflow That Keeps My Codebase Clean
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Lifelong Learner: Discovering Versatile Neural Solvers for Vehicle Routing Problems
arxiv.org·22h
🎯Constraint Programming
Loading...Loading more...
AboutBlogChangelogRoadmap