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

OCC 2025 Epilogue
82mhz.net·1d
🚀Indie Hacking
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·19h·
Discuss: Hacker News
🌀Brotli Dictionary
better-auth/better-auth
github.com·5h
🔒WASM Capabilities
How Chinese High School Students Made It to Google Gemma Hackathon Finals
aicamp.substack.com·2h·
Discuss: Substack
🌍Cultural Algorithms
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·3d·
Discuss: Hacker News
🔒WASM Capabilities
Wikipedia: Signs of AI Writing
en.wikipedia.org·2d·
Discuss: Hacker News
🌍Cultural Algorithms
What is idiomatic new(Struct) or &Struct{}?
reddit.com·2d·
Discuss: r/golang
🔧Binary Parsing
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·3d·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·2d·
Discuss: Hacker News
⚡Proof Automation
Small Pull Requests, Big Impact: The Art of Code Reviews • Adrienne Braganza Tacke & Sasa Juric
youtube.com·2d
📏Code Metrics
D2IP: Deep Dynamic Image Prior for 3D Time-sequence Pulmonary Impedance Imaging
arxiv.org·2h
🏺Computational Archaeology
GPT-4.1 Beast Prompt
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Unlocking True Document Productivity with PixLab Vision Workspace
dev.to·1h·
Discuss: DEV
📄Document Digitization
[2025] Homelab Update
i.redd.it·19h·
Discuss: r/homelab
🏠HomeLab
🔐 FastAPI JWT Authentication with SQLite Database for Secure APIs
dev.to·13h·
Discuss: DEV
🧩SQLite Extensions
Orchestrating 6 Subagents to Build a Collaborative API Playground for Kids
dev.to·3h·
Discuss: DEV
🌐Protocol Synthesis
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·3d
🧮Kolmogorov Complexity
AortaDiff: Volume-Guided Conditional Diffusion Models for Multi-Branch Aortic Surface Generation
arxiv.org·2h
🌀Differential Geometry
Serverless Inferencing: Transforming AI Deployment for a Scalable Future
dev.to·1h·
Discuss: DEV
🌊Stream Processing
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·3d·
Discuss: DEV
⚡SIMD Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap