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

Two ways of generalizing π
johndcook.com·1d
🎯Arithmetic Coding Theory
Dow’s 125-year legacy: Innovating with AI to secure a long future
microsoft.com·1d
💾Persistence Strategies
22.00.0125 I created my own platform
johnnydecimal.com·11h
🏠Personal Archives
Lithium and Its Potential Protection from Alzheimer's Disease
erictopol.substack.com·1d·
Discuss: Substack
⏰Time Crystals
PEP 802: Display Syntax for the Empty Set
peps.python.org·5d·
Discuss: Hacker News, r/programming
📝Concrete Syntax
Human Data Is (Probably) More Expensive Than Compute for Training Frontier LLMs
ddkang.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
Pace Layering an Application Portfolio
frederickvanbrabant.com·2d·
Discuss: Hacker News, r/programming
🦋Format Evolution
CodeSOD: A Single Lint Problem
thedailywtf.com·2d
🔒Type Safety
LogicMark, Inc. (LGMK) Q2 2025 Earnings Call Transcript
seekingalpha.com·13h
⚛️Quantum Compilers
Author Correction: A virtual rodent predicts the structure of neural activity across behaviours
nature.com·2d
🔲Cellular Automata
Usernames, Passwords, and Security
usenix.org·11h
📡DNS Archaeology
How I Built Local-First Apps with React Native + RxDB (and Why Your App Probably Needs This Too)
hackernoon.com·2d·
Discuss: Lobsters
🔌Offline-first Apps
Audio-Thinker: Guiding Audio Language Model When and How to Think via Reinforcement Learning
arxiv.org·1d
🎵Audio ML
Neural Bridge Processes
arxiv.org·1d
📊Learned Metrics
Few-Shot Anomaly Detection in Manufacturing via Bayesian Hypernetwork Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Learning Generalizable and Efficient Image Watermarking via Hierarchical Two-Stage Optimization
arxiv.org·14h
💧Digital Watermarking
Enhanced Thermoelectric Material Characterization via Multi-Scale Bayesian Inference
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
From Kiddie Projects to Production-Ready APIs: My FastAPI Journey at 18
dev.to·6h·
Discuss: DEV
🔌Interface Evolution
How I Use AI to Write Cleaner, Faster, and Smarter Code
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Fact2Fiction: Targeted Poisoning Attack to Agentic Fact-checking System
arxiv.org·2d
👑Coq Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap