🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Verification

Program Proving, TLA+, Coq, Type Theory

Recto – A Truly 2D Language
masatohagiwara.net·1d·
Discuss: Hacker News
🧮Programming Language Theory
The Heart Breaking Inadequacy Of AbortController
frontside.com·1d·
Discuss: Hacker News, r/javascript
⚡Concurrency
Cell type-specific in vivo proteomes with a multicopy mutant methionyl tRNA synthetase mouse line
nature.com·19h
🔐Cryptography
Reverse engineering natively-compiled .NET apps
migeel.sk·2d·
Discuss: Hacker News
🔧Compiler Design
uReview: Scalable, Trustworthy GenAI for Code Review at Uber
uber.com·1d
🔧Compiler Design
'The amount of inference compute needed is already 100x more': How Europe's AI companies can meet demands
sifted.eu·9h
🎲Probabilistic Programming
The Anatomy of a Distributed JavaScript Runtime | Part V — Consolidation and conclusions
javascript.plainenglish.io·1d·
Discuss: r/node
🏗️Software Architecture
Coding Agents Showdown: VSCode Forks vs. IDE Extensions vs. CLI Agents | Forge Code
forgecode.dev·1d·
Discuss: r/programming
🔌Network Programming
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·12h
🔐Cryptography
google/langextract v1.0.6
github.com·8h
🎲Probabilistic Programming
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·1d
🧮Programming Language Theory
Decorator Contract Programming: Making AI-Generated Code Bulletproof
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Best of the Pod: Vercel’s Guillermo Rauch on What Comes After Coding
kill-the-newsletter.com·3h
🤖Sci-Fi
Building Trustworthy Agents: Why Secure Context Matters in a Tool-Augmented World
hackernoon.com·13h
🤝Protocol Design
A Framework for FAIR and CLEAR Ecological Data and Knowledge: Semantic Units for Synthesis and Causal Modelling
arxiv.org·15h
🧮Programming Language Theory
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·1d
🔗Parser Combinators
PlayReady Activation protocol issues (weak auth / fake client identities)
seclists.org·1d
🤝Protocol Design
SAML & OAuth Vulnerabilities
dev.to·11h·
Discuss: DEV
🤝Protocol Design
Sub-field Selected: **Automated Protocol Generation for Cell-Free Protein Synthesis**
dev.to·9h·
Discuss: DEV
🎲Probabilistic Programming
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.org·15h
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap