🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Police seize cocaine haul worth almost £4m in drug raid
the-independent.com·15m
🏴‍☠️Piracy
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🔐Capability Systems
Matrix Is Not Safe for EU Data Privacy
wire.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Understanding Blockchains Through Java Code
blog.blockingqueue.com·1d·
Discuss: Hacker News
🔗Hash Chains
Rules_derive: Deriving Using Macro_rules
matx.com·3d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Why build a domain-specific agent for front end tasks?
kombai.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·2d·
Discuss: Hacker News
🌳Incremental Parsing
Deep Think in the Gemini app
simonwillison.net·19h
🌀Brotli Internals
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.com·3d·
Discuss: Hacker News
🗂️Vector Databases
The Perilous Path: Unmasking the True Risks of Vibe Coding in Modern Software Development.
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
T-Detect: Tail-Aware Statistical Normalization for Robust Detection of Adversarial Machine-Generated Text
arxiv.org·1d
🔍Character Forensics
How to Use Qwen3-Coder and Qwen Code
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Second-Order Outcomes: Why You Don't Always Get What You Want
hackernoon.com·2d
🎯Proof Tactics
Can You Trust an LLM with Your Life-Changing Decision? An Investigation into AI High-Stakes Responses
arxiv.org·3d
💻Local LLMs
LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
arxiv.org·3d
💻Programming languages
Python Data Structures: Lists, Tuples, and Dictionaries Explained
dev.to·1d·
Discuss: DEV
🗂Data structures
Where to show Demos in Your Prompt: A Positional Bias of In-Context Learning
arxiv.org·2d
💻Programming languages
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·2d
💻Local LLMs
Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap