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

Open Source Is Too Important To Dilute
thenewstack.io·16h
🔓Open Source Software
Philips Hue White Ambiance is actually terrible…
wejn.org·19h
🔓Reverse engineering
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·17h
🔐Quantum Security
Explaining information architecture to a 6-year-old and an 82-year-old
littlelanguagemodels.com·1d·
Discuss: Hacker News
🗂️Information Architecture
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·5d·
Discuss: Hacker News
💻Programming languages
Billions of Edges per Second with Postgres
onesparse.com·2d·
Discuss: Hacker News
🗜️Graph Compression
Dollars per token considered harmful
modal.com·1d·
Discuss: Hacker News
💻Local LLMs
All AI Models Might be The Same
blog.jxmo.io·15h·
Discuss: Hacker News
🧠Machine Learning
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·4h
🧠Neural Compression
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·1d
🔌Interface Evolution
Machine Learning Fundamentals: decision trees with python
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·1d·
Discuss: Hacker News
📜Proof Carrying Code
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·1d
⧗Information Bottleneck
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·1d·
Discuss: Hacker News
💾Persistence Strategies
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·22h·
Discuss: DEV
🔍Concolic Testing
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·3d
📝ABNF Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap