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

Domain Theory, Fixed Points, Continuations, Program Equivalence

Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·21h·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
The Markov Condition
plato.stanford.edu·2d·
Discuss: Hacker News
🧠Automated Reasoning
The 10x DevRel
adatosystems.com·1d·
Discuss: Hacker News
⚙Operational Semantics
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·1d·
Discuss: Hacker News
💾Retro Computing
DOOMscrolling: The Game
ironicsans.ghost.io·13h·
Discuss: Hacker News, r/rss
🎮Verification Games
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·3d·
Discuss: Hacker News
🧩Parser Combinators
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·13h·
Discuss: Hacker News
📚Automata Learning
I built my own CDN with Varnish and Nginx
polso.info·1h·
Discuss: Hacker News
🖥Self-Hosting
NPM debug and chalk packages compromised
aikido.dev·2d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·22h
🐫Embedded OCaml
Ask HN: How can AI be used in brain machine interfaces?
news.ycombinator.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·2d·
Discuss: Hacker News
👁️System Observability
LESER: Learning to Expand via Search Engine-feedback Reinforcement in e-Commerce
arxiv.org·2d
🧩Parser Combinators
DyC-STG: Dynamic Causal Spatio-Temporal Graph Network for Real-time Data Credibility Analysis in IoT
arxiv.org·2d
🧩Separation Logic
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·3d
🧩Parser Combinators
Benchmarking Gender and Political Bias in Large Language Models
arxiv.org·2d
🧩Parser Combinators
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·3d
🎮Verification Games
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·2d
📚Automata Learning
Chatbot To Help Patients Understand Their Health
arxiv.org·2d
📚Automata Learning
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·2d
🧩Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap