🐿️ 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
Context engineering case studies: Etsy-specific question answering
etsy.com·3h
🎲Probabilistic Programming
Po-Shen Loh on Building Thoughtfulness, Empathy, and Strong Networks in AI Era
toolong.link·2h·
Discuss: Hacker News
🤖Sci-Fi
📄 Which of your colleagues are screwed?
justin.searls.co·5h
🔌Network Programming
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·1d·
Discuss: Hacker News
🎲Probabilistic Programming
githubnext/monaspace
github.com·3d
📐Type Theory
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
How do researchers write narrative CVs? Does language matter?
phys.org·8h
🎲Probabilistic Programming
📌Key Differences Between ArkTS and TypeScript: A Guide for Developers
dev.to·1d·
Discuss: DEV
📐Type Theory
I chose OCaml as my primary language
xvw.lol·6d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
Artificial Intimacy
psychologytoday.com·4h
⚖Algorithmic Game Theory
Insight Rumors: A Novel Textual Rumor Locating and Marking Model Leveraging Att_BiMamba2 Network
arxiv.org·19h
📊Information Theory
🚀 Day 33 of DSA Problem Solving – Max Consecutive Ones & More!
dev.to·1d·
Discuss: DEV
📈Complexity Theory
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·19h
🔗Parser Combinators
Bringing AI to the Edge: MCP for IoT
dev.to·10h·
Discuss: DEV
🛡️IoT Security
Loading...Loading more...
AboutBlogChangelogRoadmap