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

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

It’s Thursday, and My Last* Day at Kent
stefan-marr.de·20h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Growing Through IEEE: Leadership and Learning in Action
spectrum.ieee.org·2h
⚙️DIY Electronics
Generalizing over mutability in Rust
alexsaveau.dev·1d
🦀Rust Macros
So, you're inspecting strings on the hot path
clipperhouse.com·2d·
Discuss: Hacker News
🌳Trie Structures
Keeping Article Demos Alive When Third-Party APIs Die
css-tricks.com·1d
⚡gRPC
OpenAI's "Study Mode" and the risks of flattery
resobscura.substack.com·6h·
Discuss: Substack
🏛Digital humanities
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Nanodevice uses sound to sculpt light, paving the way for better displays and imaging
phys.org·2h
🔬Optical Physics
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·1d
🧪Property-Based Testing
Representations in vision and language converge in a shared, multidimensional space of perceived similarities
arxiv.org·1d
📊Learned Metrics
Blending data and physics for reduced-order modeling of systems with spatiotemporal chaotic dynamics
arxiv.org·1d
🔲Cellular Automata
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.org·1d
📚Digital Humanities
AI Agents Need Help. Here’s 4 Ways To Ship Software Reliably
thenewstack.io·2d·
Discuss: Hacker News
⚙️TLA+
Erys: Run Jupyter Notebooks in Terminal
github.com·3h·
Discuss: Hacker News
📺Terminal UI
Emacs Carnival Writing Experience: Choi
irreal.org·1d
📟Terminal Typography
People Are Highly Cooperative with Large Language Models, Especially When Communication Is Possible or Following Human Interaction
arxiv.org·3d
🔲Cellular Automata
Python assert with message
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
The Bug That Drove Me So Crazy, I Got Hired Just to Fix It
dev.to·13h·
Discuss: DEV
❄️Nix Flakes
DeepSieve: Information Sieving via LLM-as-a-Knowledge-Router
arxiv.org·1d
📋Document Grammar
The Future of Investment Platforms: My Journey Building Portfolio Rebalancer with Algolia MCP
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap