🐿️ 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Β·13h
πŸ”“Open Source Software
Philips Hue White Ambiance is actually terrible…
wejn.orgΒ·15h
πŸ”“Reverse engineering
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.orgΒ·13h
πŸ”Quantum Security
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
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devΒ·17hΒ·
Discuss: Hacker News
🌳Incremental Parsing
All AI Models Might be The Same
blog.jxmo.ioΒ·11hΒ·
Discuss: Hacker News
🧠Machine Learning
Situated Software (2004)
web.archive.orgΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.comΒ·20h
🏭Compiler Backends
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.orgΒ·1d
πŸ“ABNF Parsing
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.orgΒ·1d
πŸŽ™οΈWhisper
How I Got 100/100 From GPT-4, Gemini, Grok, and Moreβ€”Using Just a .txt File
dev.toΒ·1dΒ·
Discuss: DEV
βš”οΈLean Tactics
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.orgΒ·2d
🌈Color Science
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.comΒ·22h
πŸ”ŒInterface Evolution
Machine Learning Fundamentals: decision trees with python
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”—Topological Sorting
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Β·1dΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
I Spent 40 Hours Writing Tests That Broke in 2 Weeks β€” A Confession Story
dev.toΒ·18hΒ·
Discuss: DEV
πŸ”Concolic Testing
Loading...Loading more...
AboutBlogChangelogRoadmap