🐿️ 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 C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·2d·
Discuss: Hacker News
🧠Memory Management
Taking a Programming Class This Fall? Get a Head Start by Learning These Python Basics
howtogeek.com·2d
📝Lisp
📄 Which of your colleagues are screwed?
justin.searls.co·3h
🔌Network Programming
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·1d
🎲Probabilistic Programming
Rope data structure
reddit.com·2d·
Discuss: r/compsci
🔧Compiler Design
githubnext/monaspace
github.com·3d
📐Type Theory
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
How do researchers write narrative CVs? Does language matter?
phys.org·6h
🎲Probabilistic Programming
📌Key Differences Between ArkTS and TypeScript: A Guide for Developers
dev.to·1d·
Discuss: DEV
📐Type Theory
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·1d
🎲Probabilistic Programming
Artificial Intimacy
psychologytoday.com·2h
⚖Algorithmic Game Theory
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org·1d
🔗Parser Combinators
GPU Costs Melting Your Budget
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Context Engineering: Bringing Engineering Discipline to Prompts—Part 2
oreilly.com·1d
🔧Compiler Design
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·1d
🧭SMT Solvers
The Silent Doubt: Why I Built My First VS Code Extension 🤔
dev.to·1d·
Discuss: DEV
👐Open Source Software
Automating your content with Sanity's Agent Actions, Functions & Blueprints
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Inverse-LLaVA: Eliminating Alignment Pre-training Through Text-to-Vision Mapping
arxiv.org·17h
🔗Parser Combinators
Bringing AI to the Edge: MCP for IoT
dev.to·8h·
Discuss: DEV
🛡️IoT Security
🧠 The Hidden Power of AI Agents in Web Apps: Build a Truly Smart App in Less than 100 Lines of Code
dev.to·10h·
Discuss: DEV
🤖Sci-Fi
Loading...Loading more...
AboutBlogChangelogRoadmap