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

STH Hardware Upgrades 2025 Edition
servethehome.com·13h
🖥️Modern Terminals
Meet the Hybrid Tester: The Future of QA in the Age of AI
devops.com·22h
🔍Concolic Testing
Python Scope and the LEGB Rule: Resolving Names in Your Code
realpython.com·2d
🦀Rust Macros
Show HN: Rastion – Autonomous Monitoring Systems
rastion.com·1d·
Discuss: Hacker News
⚙️Batch Processing
The Seductions of A.I. for the Writer’s Mind
nytimes.com·21h·
Discuss: Hacker News
🏛Digital humanities
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·5d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·3d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·2d
📝ABNF Parsing
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·3d
🌈Color Science
Machine Learning Fundamentals: decision trees project
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Day 38: When Code Feels More Honest Than People
dev.to·21h·
Discuss: DEV
🎯Gradual Typing
SQL CASE Statements: The Order Matters!
dev.to·12h·
Discuss: DEV
🔗Constraint Handling
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·2d
⚙️Compression Benchmarking
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·1d
🧠Neural Compression
An AI Skeptic Uses AI for a Week
keithjgrant.com·3d·
Discuss: Hacker News
✨Effect Handlers
Machine Learning Fundamentals: decision trees with python
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·2d
⧗Information Bottleneck
Loading...Loading more...
AboutBlogChangelogRoadmap