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

Delta Chat V2: a major security upgrade, beautified contact profiles, new email action and direct app access in chats
delta.chatΒ·1d
πŸ”ŒInterface Evolution
SIEVE β€” a better algorithm than LRU?
blog.apnic.netΒ·6h
πŸ’¨Cache Analysis
Spatial Audio in a Hat
hackaday.comΒ·4h
🎯Tape Azimuth
The Schwartzian Transform (2016)
perl.comΒ·3dΒ·
Discuss: Hacker News, r/programming
Ξ»Lambda Encodings
Ghost in the Zip | New PXA Stealer and Its Telegram-Powered Ecosystem
sentinelone.comΒ·1d
🦠Malware Analysis
'Hello world' in Bismuth
enikofox.comΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ“ΊVT100
AI-guided search uncovers new molecules for stronger, longer-lasting plastics
phys.orgΒ·44m
🌐Computational Topology
Show HN: QuantumFlow Toolkit – An open-source framework hybrid quantum workflows
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Verification
Trip Helper App for Rocket.Chat πŸš€ - GSoC 2025 Final Report
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“±QR Archaeology
Weekly Dev Digest: OpenAI's $8.3B Round, Windows 11 Updates & More
dev.toΒ·2hΒ·
Discuss: DEV
🧲RISC-V Archaeology
Securing MCP Servers
dev.toΒ·19hΒ·
Discuss: DEV
🌳Archive Merkle Trees
Modality Bias in LVLMs: Analyzing and Mitigating Object Hallucination via Attention Lens
arxiv.orgΒ·8h
πŸ“ŠRate-Distortion Theory
Building Strands Agents with a few lines of code: Custom Tools and MCP Integration
dev.toΒ·3dΒ·
Discuss: DEV
πŸ¦€Rust Macros
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.orgΒ·6d
🎞️Tape Combinatorics
Machine Learning Fundamentals: loss function project
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Code Metrics
How to Build a GenAI Application in 2025: A Technical Blueprint
dev.toΒ·7hΒ·
Discuss: DEV
πŸ”„Reproducible Builds
The Repeated-Stimulus Confound in Electroencephalography
arxiv.orgΒ·1d
πŸ‘οΈPerceptual Coding
Hybrid Quantum Classical Surrogate for Real Time Inverse Finite Element Modeling in Digital Twins
arxiv.orgΒ·1d
πŸ•ΈοΈTensor Networks
Smartplay: Building with Bolt - WLH Challenge
dev.toΒ·21hΒ·
Discuss: DEV
βš™οΈPL Implementation
Loading...Loading more...
AboutBlogChangelogRoadmap