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

Must Have Emacs Packages In 2025
irreal.org·4h
💧Liquid Types
Supreme and Ultimate—Time and Space
newenglishreview.org·7h
⏰Time Crystals
<p>🔗 <a href="https://news.ycombinator.com/item?id=45135302#45135852">HN Comment by IanCal</a> in a discussion about RDF (emphasis added):</p>
lmika.org·22h
📇Dublin Core
Experimentation and thinking at the level of a program of experiments
statmodeling.stat.columbia.edu·1d
⚡Effectful Programming
Cognitive load is what matters
nicolaiarocci.com·2d
🧠Intelligence Compression
Small Language Models are the Future of Agentic AI
machinelearningmastery.com·3d
💻Local LLMs
Video Compression Basics
rastergrid.com·23h·
Discuss: Hacker News
🎬AV1 Encoding
Fresh + Vite Means 9-12x Faster Development for Deno
thenewstack.io·1d
🔄Language Evolution
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·5h·
Discuss: Hacker News
🔌Operating system internals
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·2d·
Discuss: Hacker News
⚡Proof Automation
I Didn’t Have Money to Pay for Grammarly, So I Self-Hosted My Own Solution Using LanguageTool 📝
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·2d
✨Effect Handlers
Automated Grant Lifecycle Analysis & Predictive Resource Allocation via Hypergraph Embedding
dev.to·2d·
Discuss: DEV
🕸️Graph Embeddings
Stop Rewriting Prompts: Meet DevPromptly 🚀
dev.to·13h·
Discuss: DEV
🦀Rust Macros
The Three Sacred Guardrails of AI
aboard.com·3d·
Discuss: Hacker News
⚡Proof Automation
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·1d·
Discuss: Hacker News
🔲Lattice Cryptography
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·2d
🌊Stream Processing
BlazingMQ: A modern, high-performance open message queuing system
github.com·21h·
Discuss: Hacker News
⚡gRPC
Automated Thread Fatigue Life Prediction via Digital Twin and Bayesian Optimization
dev.to·6h·
Discuss: DEV
⚙️Modern Assembly
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·3d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap