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

The Stanley Parable
en.wikipedia.org·13h·
Discuss: Hacker News
🔲Cellular Automata
Five ways that AI is learning to improve itself
technologyreview.com·19h
🌍Cultural Algorithms
So you want to parse a PDF?
eliot-jones.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📄PDF Internals
Should You Build a Custom CRM? 3 Signs It’s Worth It
echojs.com·9h
📰RSS Feed Discovery
Half-Baked: Probe Warping
c0de517e.com·1d·
Discuss: Hacker News
🌈Color Archaeology
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·11h·
Discuss: Hacker News
🧮Z3 Solver
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·3d·
Discuss: Hacker News
🧠Separation Logic
ELK Stack SIEM Setup & Investigation
infosecwriteups.com·5h
📝Log Parsing
Stellar Flare Detection and Prediction Using Clustering and Machine Learning
towardsdatascience.com·21h
🧮Kolmogorov Bounds
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peers
lightcapai.medium.com·3d·
Discuss: Hacker News
📊Static Analysis
AI Agents Are the New APIs: Mashery Founder’s New Company
thenewstack.io·57m
🌊Streaming Systems
What’s the “Points” of Agile, Anyway?
spin.atomicobject.com·2d·
Discuss: Hacker News
⚡Incremental Computation
10 years building internal tools, and the SaaS stack is still a nightmare
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nix Flakes
Python HTML to Markdown
dev.to·23h·
Discuss: DEV
📝Text Compression
Revolutionizing Industry with Contextual Intelligence & Prescriptive AI
dev.to·10h·
Discuss: DEV
🌍Cultural Algorithms
Prompt OpenAI’s O3: Best Practices, Applications & Tips
dev.to·2d·
Discuss: DEV
⚡Proof Automation
How I Built an Offline AI-Powered NPC System with Godot and Gemma 3n
dev.to·22h·
Discuss: DEV
⚡Homebrew CPUs
COFFEE: A Shadow-Resilient Real-Time Pose Estimator for Unknown Tumbling Asteroids using Sparse Neural Networks
arxiv.org·15h
🌀Differential Geometry
How to Handle Multiple Assignment and Unpacking
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
CLIPTime: Time-Aware Multimodal Representation Learning from Images and Text
arxiv.org·2d
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap