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

Weekly Update 467
troyhunt.com·1d
🏠Home Automation
Weeknote: 30 August 2025 – iPhone (Hot) Air, phone security, Wonderputt, and Llamasoft
reverttosaved.com·2d·
Discuss: reverttosaved.com
💾vintage computing
CSS Elevator: A Pure CSS State Machine With Floor Navigation
css-tricks.com·3d
🎯Gradual Typing
Privacy, AI Fears Jolt Companies to Rewrite Legal Terms of Use
news.bloomberglaw.com·30m·
Discuss: Hacker News
⚖️Legal Compliance
AI is already taking jobs away from entry-level workers
axios.com·8h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
RSA FlipIt – The Game of Stealthy Takeover
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·5d·
Discuss: Hacker News
🦀Rust Macros
The Governance of the Root of the DNS
potaroo.net·3d·
Discuss: Hacker News
📡DNS Archaeology
Empowering air quality research with secure, ML-driven predictive analytics
aws.amazon.com·3d
🔄Archival Workflows
What happens when you push to git.sr.ht, and why was it so slow?
sourcehut.org·3d
🌳Git Internals
Noctua's 3D printable side panel quietens Framework's Desktop — drop 5-7 decibels using this freely available mod
tomshardware.com·2h
🖥️Modern Terminals
DOGE Put Everyone’s Social Security Data at Risk, Whistleblower Claims
wired.com·2d
🛡Cybersecurity
Upgrading Magic's SQLite VSS Extension
dev.to·5d·
Discuss: DEV
💾SQLite
Uncovering the Weak Spots: A Guide to AI Security Vulnerabilities
dev.to·4d·
Discuss: DEV
🔍Vector Forensics
IceWM 3.9 Window Manager Released with Xcursor Support
linuxiac.com·1d
🔌Operating system internals
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·4d·
Discuss: DEV
📄Document Digitization
WYKRA: Web You Know, Real-time Analysis
dev.to·22h·
Discuss: DEV
⚖️Feed Ranking
Core Concepts: Decoding Human Language
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Web dev in 2026 will be chaos. Master these 50 skills or get left behind.
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·6d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap