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

Arti 1.4.6 is released: Hidden Service resilience; work on flow control, Conflux, and CGO.
blog.torproject.org·1d
🔒Linear Types
Building highly available services: global anycast PowerDNS cluster
quantum5.ca·1d
🌐DNS Security
Strengthening F-Droid's Legal Resilience – Introducing the Research Series
f-droid.org·21h·
Discuss: Hacker News
🔓Open Source Software
Winners Announced in 2025's 'International Obfuscated C Code Competition'
developers.slashdot.org·2d
📜Proof Carrying Code
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·3d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Cerebras now supports OpenAI GPT-OSS-120B at 3k Tokens Per SEC
cerebras.ai·1h·
Discuss: Hacker News
🏠Homelab Federation
Improving on Azure Translation API
dev.to·23h·
Discuss: DEV
📐Delta Encoding
Here's How You Can Build Your Own Markdown Parser: Part 2 - How to Read File From the Command Line
hackernoon.com·3d
📝Shell Parsing
Essential Reading for Agentic Engineers - July 2025
steipete.me·4d
⚡Proof Automation
Python Queue Example
dev.to·7h·
Discuss: DEV
🌊Stream Processing
SpA2V: Harnessing Spatial Auditory Cues for Audio-driven Spatially-aware Video Generation
arxiv.org·1d
👂Psychoacoustic Coding
Wukong Framework for Not Safe For Work Detection in Text-to-Image systems
arxiv.org·1d
🤖Advanced OCR
Active IRS-Enabled Integrated Sensing and Communications with Extended Targets
arxiv.org·1d
📡Bluetooth Archaeology
Test-time Prompt Intervention
arxiv.org·23h
🤖Grammar Induction
News Activity Map with Redis
dev.to·18h·
Discuss: DEV
⚖️Feed Ranking
Rise of AI Agents: Smarter Workflows
dev.to·16h·
Discuss: DEV
🌍Cultural Algorithms
Meta - Small Projects Weekly Thread?
reddit.com·1d·
Discuss: r/golang
🦀Rust Macros
Starting a home lab. Where to start software wise?
reddit.com·43m·
Discuss: r/homelab
🏠HomeLab
This is not just an experiment - it's a declaration of conscious coexistence.
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Loading...Loading more...
AboutBlogChangelogRoadmap