🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

AI Agents Security: The on-behalf-of concept
ayende.com·12h
🔒WASM Capabilities
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·4h·
Discuss: Hacker News
🛡️RISC-V Security
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·1d·
Discuss: Hacker News
🌀Brotli Internals
What I Learned Rebuilding Search Three Times
nsavage.substack.com·1d·
Discuss: Substack
🗄️Database Internals
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·3d·
Discuss: Hacker News
🦀Rust Macros
MentraOS – open-source Smart glasses OS
github.com·7h·
Discuss: Hacker News
🔓Open Source Software
A Topology of Cognition
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Automated Identification of Allosteric Modulation Sites in Protein Interaction Networks via Graph Neural Networks
dev.to·23h·
Discuss: DEV
⚙️ABNF Mining
Jointly Reinforcing Diversity and Quality in Language Model Generations
arxiv.org·2d
💻Local LLMs
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
[R] The Illusion of Progress: Re-evaluating Hallucination Detection in LLMs
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
Python vs PHP vs Go vs Node.js: Which Backend Should You Pick in 2025?
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·1d·
Discuss: DEV
⚡Proof Automation
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·2d
🔍Type Inference
Why Can’t AI Say “I Don’t Know”? (Bite-size Article)
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Complexity
Boosting Your Anomaly Detection With LLMs
towardsdatascience.com·1d
💻Local LLMs
Nonlinear Performative Prediction
arxiv.org·2d
🧠Machine Learning
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
📝Text Embeddings
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·1d
✨Effect Handlers
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
🔗Hash Chains
Loading...Loading more...
AboutBlogChangelogRoadmap