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

Gen Alpha's latest slang makes zero sense — and that's the point
businessinsider.com·47m
💾Binary Linguistics
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·3d
🔲Cellular Automata
Master Foo and LLM Mountain
tusshah.github.io·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·2d·
Discuss: Hacker News
🔬Refinement Types
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·21h·
Discuss: Lobsters, Hacker News
🖥️Modern Terminals
CBconvert is a Comic Book converter
github.com·2d
📸TIFF Evolution
C and C++: The Hidden Power Behind Modern Programming
github.com·3d·
Discuss: r/programming
🔩Systems Programming
The short case for Oracle (via ChatGPT)
news.ycombinator.com·3h·
Discuss: Hacker News
🔍BitFunnel
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·1d·
Discuss: Hacker News
⚡Performance Mythology
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·12h
🎯Content Recommendation
TL;DR — We’re Using AI to Write Code Because We’re Lazy, and Not Putting AI in Software Because That’s Hard
dev.to·5h·
Discuss: DEV
📏Code Metrics
SKR Analysis of MIMO FSO Systems with One- and Two-way CV-QKD Protocols in Hybrid Quantum Noise Environment
arxiv.org·1d
🔐Quantum Cryptography
VILOD: A Visual Interactive Labeling Tool for Object Detection
arxiv.org·2d
⟷Bidirectional Programming
From Joy to Fear: A Benchmark of Emotion Estimation in Pop Song Lyrics
arxiv.org·2d
🎧Learned Audio
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·2d
💻Local LLMs
XOCT: Enhancing OCT to OCTA Translation via Cross-Dimensional Supervised Multi-Scale Feature Learning
arxiv.org·1d
⟷Bidirectional Programming
Universal Graph Learning for Power System Reconfigurations: Transfer Across Topology Variations
arxiv.org·12h
🕸️Network Topology
AI-Driven Predictive Maintenance Optimization for Data Center Cooling Systems via Hybrid Bayesian Network & LSTM Modeling
dev.to·1d·
Discuss: DEV
📊Homelab Monitoring
The Hanamaruki Method for AI Dialogue Design — 03
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
How to Write Cleaner Code by Thinking Like an Architect
dev.to·3d·
Discuss: DEV
⚙️Build Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap