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

Wondershare to Showcase PDFelement V12 at GITEX Global 2025
pdfa.org·1d
🤖Archive Automation
NEWS ROUNDUP – 8th September 2025
digitalforensicsmagazine.com·1d
🌐DNS Security
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·5d·
Discuss: Hacker News
✅Format Verification
GDPR-Compliant Email Finder
findforce.io·2d·
Discuss: Hacker News
⚖️Legal Compliance
The Last Days of Social Media
longreads.com·20h·
Discuss: Hacker News
📡RSS Readers
This “insidious” police tech claims to predict crime (Lock and Code S06E18)
malwarebytes.com·1d
🔐Homomorphic Encryption
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·6d·
Discuss: Hacker News
🤝Distributed Consensus
Vibe Coding Fiasco: AI Agent Goes Rogue, Deletes Company's Database
pcmag.com·1d·
Discuss: Hacker News
🚀Indie Hacking
The Y2Q Problem: Harvest Now, Decrypt Later
shalashashka.substack.com·2d·
Discuss: Substack
🔐Quantum Security
Nintendo secures $2 million settlement against Switch modder — Modded Hardware creator agreed to stop selling backup devices, but continued to, prompting lawsui...
tomshardware.com·1d·
Discuss: Hacker News
🕹️Retro Gaming
KidSafe Potty Training Sense
hackster.io·22h
🏠Home Automation
WaterUI: A SwiftUI-inspired cross-platform UI framework for Rust with cross-platform native rendering
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Broadcom: The 'Secret Sauce' Behind Its Booming XPU Business
seekingalpha.com·1d
🖥️Modern Terminals
The Trouble with Code as Law
hackernoon.com·6d
🔐CBOR
Pose-Free 3D Quantitative Phase Imaging of Flowing Cellular Populations
arxiv.org·1d
⟷Bidirectional Programming
Transition of car-based human-mobility in the pandemic era: Data insight from a cross-border region in Europe
arxiv.org·1d
🔶Voronoi Diagrams
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonw.substack.com·2d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
SiFive Expands Its RISC-V Intelligence Family to Address Exploding AI Workloads
forbes.com·1d·
Discuss: Hacker News
🚀RISC-V Vector
Attention as an Adaptive Filter
arxiv.org·4d
🧠Machine Learning
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap