🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Denotational Semantics

Domain Theory, Mathematical Models, Program Meaning, Scott Domains

Computed GOTO, in MS BASIC
masswerk.at·16h
📺VT100 Emulation
EPYTEST_PLUGINS and other goodies now in Gentoo
blogs.gentoo.org·10h
⚡Proof Automation
Google Might Have Made an AI Search Product I Actually Like
lifehacker.com·1d
🌀Brotli Internals
How to Discover a CSS Trick
css-tricks.com·1d
📐Mathematical Art
A Brief History of Graphs; My Journey Into Application Development
blogs.gnome.org·2d·
Discuss: r/linux
🐧FOSS
Interfaces That Augment or Replace?
zehfernandes.com·3d·
Discuss: Hacker News
📟CLI Design
Meta-Prompting: Using LLMs to Improve How You Prompt LLMs
rkayg.com·2d·
Discuss: Hacker News
⚡Proof Automation
Google Set Up Two Robotic Arms For a Game of Infinite Table Tennis
hardware.slashdot.org·20h
🔲Cellular Automata
Agentic Coding Is A Fundamental Shift
saewitz.com·4d·
Discuss: Hacker News
🔢Coding Theory
How Elicitation in MCP Brings Human-in-the-Loop to AI Tools
thenewstack.io·2d
⚙️TLA+
Devlog! Your last profile link.
dev.to·1d·
Discuss: DEV
🔓Open Source Software
MultiTaskDeltaNet: Change Detection-based Image Segmentation for Operando ETEM with Application to Carbon Gasification Kinetics
arxiv.org·3d
📄Document Digitization
CausalStep: A Benchmark for Explicit Stepwise Causal Reasoning in Videos
arxiv.org·2d
✨Effect Handlers
How AI Is Reshaping the Way We Build Software
jasonmperry.com·2d·
Discuss: Hacker News
🔄Language Evolution
RAG vs Fine-Tuning: Which One Wins the Cost Game Long-Term?
dev.to·2d·
Discuss: DEV
🌊CBOR Streaming
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·1d
🧠Machine Learning
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·1d·
Discuss: Hacker News
🔲Cellular Automata
🚀 Smart Dev Productivity Hub: AI-Powered Insights & Automation for Developers
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Forget prompt engineering. Context is the new compute
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
AI Faceoff: Grok4 or O3 Pro—Who Deserves Your Hard-Earned Dollar (and Your Free Data🤣)?
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Loading...Loading more...
AboutBlogChangelogRoadmap