🐿️ 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·7h
🖥️Modern Terminals
Meet the Hybrid Tester: The Future of QA in the Age of AI
devops.com·16h
🔍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·15h·
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
Parsing Protobuf Like Never Before
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
Eigenvalues and Eigenvectors: Unveiling the Secrets of Data Transformation in Machine Learning
dev.to·18h·
Discuss: DEV
📐Linear Algebra
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·23h
🔲Cellular Automata
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·1d
🎙️Whisper
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·1d
📝ABNF Parsing
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·2d
🌈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·15h·
Discuss: DEV
🎯Gradual Typing
SQL CASE Statements: The Order Matters!
dev.to·6h·
Discuss: DEV
🔗Constraint Handling
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️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
Loading...Loading more...
AboutBlogChangelogRoadmap