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

I decided to make it pretty
i.redd.it·1d·
Discuss: r/homelab
⟷Bidirectional Programming
preparing for the worst
daniel.haxx.se·10h·
Discuss: Hacker News
📡Feed Security
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·4d·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
High Dimensional Optimization Remains Hard
win-vector.com·14h·
Discuss: Hacker News
🧮Kolmogorov Bounds
TryQuiet/quiet
github.com·1d
🌐WebRTC Archives
The Angels and Demons of Nondeterminism
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·16h·
Discuss: Hacker News
🔓Open Source Software
New parametric CAD BREP kernel attempt
github.com·10h·
Discuss: Hacker News
🌐Computational Topology
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
Guardian AI: Verifying Billion-Parameter Models on the Edge by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
💻Local LLMs
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.org·13h
🧠Machine Learning
Semantically Reflected Programs
arxiv.org·5d
🔢Denotational Semantics
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·1d·
Discuss: Hacker News
📦Deflate
Tell-Tale Watermarks for Explanatory Reasoning in Synthetic Media Forensics
arxiv.org·13h
🔍Vector Forensics
AraHalluEval: A Fine-grained Hallucination Evaluation Framework for Arabic LLMs
arxiv.org·1d
💻Programming languages
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·1d
💻Local LLMs
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·13h
🤖Advanced OCR
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.to·15h·
Discuss: DEV
⛏️SQL Archaeology
Language Model Perplexity Predicts Scientific Surprise and Transformative Impact
arxiv.org·13h
🏛Digital humanities
The Hybrid Cloud Dilemma: Striking the Right Balance for Your Business
dev.to·2h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap