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

From Physical Archives to Digital Preservation: Reflecting on a Forty-Year Transformation
dpconline.orgΒ·1d
🌐Archive Networks
How AI is reshaping developer teams and the future of software development
stackoverflow.blogΒ·2h
πŸ”ŒInterface Evolution
Double Maths First Thing: Issue 35
aperiodical.comΒ·1d
βš™οΈProof Engineering
nanomsg/nng
github.comΒ·1d
πŸ”ŒInterface Evolution
From Org Charts to Work Charts: Building Clarity in the New Work World
clearwork.ioΒ·14hΒ·
Discuss: Hacker News
πŸ”„Archival Workflows
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.comΒ·1dΒ·
Discuss: Hacker News
🎫Kerberos Attacks
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.comΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”’Linear Types
Binary Patching: A Complete Step-by-Step Guide
infosecwriteups.comΒ·2d
🦠Malware Analysis
The exceptionalism of software is unwarranted
overbring.comΒ·2dΒ·
Discuss: Hacker News
πŸ“Code Metrics
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.comΒ·4dΒ·
Discuss: Lobsters, Hacker News
🌿git
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgΒ·3d
πŸ“Code Metrics
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.comΒ·2dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
D-HUMOR: Dark Humor Understanding via Multimodal Open-ended Reasoning
arxiv.orgΒ·2d
πŸ›Digital humanities
An Enactivist Approach to Human-Computer Interaction: Bridging the Gap Between Human Agency and Affordances
arxiv.orgΒ·1d
🎨Nordic UX
I have been working on a PlayStation 1 emulator written in Rust.
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Embedded Rust
Row Equivalence in Linear Algebra with Python
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Linear Algebra
QCSE: A Pretrained Quantum Context-Sensitive Word Embedding for Natural Language Processing
arxiv.orgΒ·2d
🌳Context free grammars
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.orgΒ·1d
πŸ›Digital humanities
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.toΒ·16hΒ·
Discuss: DEV
πŸ”„Language Evolution
Universal Graph Learning for Power System Reconfigurations: Transfer Across Topology Variations
arxiv.orgΒ·6h
πŸ•ΈοΈNetwork Topology
Loading...Loading more...
AboutBlogChangelogRoadmap