🐿️ 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·20h
🔓Open Source Software
Browsers battle over PDF capabilities
pdfa.org·15h
📋Document Standards
Philips Hue White Ambiance is actually terrible…
wejn.org·22h
🔓Reverse engineering
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·21h
🔐Quantum Security
Explaining information architecture to a 6-year-old and an 82-year-old
littlelanguagemodels.com·1d·
Discuss: Hacker News
🗂️Information Architecture
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·2d·
Discuss: Hacker News
💻Local LLMs
All AI Models Might be The Same
blog.jxmo.io·19h·
Discuss: Hacker News
🧠Machine Learning
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·8h
🧠Neural Compression
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
Machine Learning Fundamentals: decision trees with python
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
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
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·3d
📝ABNF Parsing
Help me come up with an idea for my final-year computer science project
dev.to·23h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·2d
💻Programming languages
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·3d
🔢Denotational Semantics
Loading...Loading more...
AboutBlogChangelogRoadmap