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

Hypernetworks and "thinking" in LLMs
jaisidhsingh.bearblog.dev·1h
⚡Concurrency
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·2d·
Discuss: Hacker News
🧠Memory Management
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·3h·
Discuss: Hacker News
🤖Sci-Fi
📄 Which of your colleagues are screwed?
justin.searls.co·7h
🔌Network Programming
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
How do researchers write narrative CVs? Does language matter?
phys.org·9h
🎲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
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org·1d
🔗Parser Combinators
🚀 Day 33 of DSA Problem Solving – Max Consecutive Ones & More!
dev.to·1d·
Discuss: DEV
📈Complexity Theory
Context Engineering: Bringing Engineering Discipline to Prompts—Part 2
oreilly.com·1d
🔧Compiler Design
Inverse-LLaVA: Eliminating Alignment Pre-training Through Text-to-Vision Mapping
arxiv.org·20h
🔗Parser Combinators
Bringing AI to the Edge: MCP for IoT
dev.to·11h·
Discuss: DEV
🛡️IoT Security
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
🧠 The Hidden Power of AI Agents in Web Apps: Build a Truly Smart App in Less than 100 Lines of Code
dev.to·13h·
Discuss: DEV
🤖Sci-Fi
Apriel-Nemotron-15B-Thinker
arxiv.org·1d
🔗Parser Combinators
How to use All AI Tools in One Platform
dev.to·15h·
Discuss: DEV
🧩Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap