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

What is Putin’s game plan against Nato’s eastern flank?
ft.com·1d
🔍Polish Cryptanalysis
Rapid Response: Zimperium’s Full Detection for RatOn — NFC Heists, Remote Control, and Automated Transfers
zimperium.com·1d
🕵️Vector Smuggling
Founders’ takes: How AI is rewriting the playbook for investing
thenextweb.com·2d
🌍Cultural Algorithms
Does Society Have Too Many Rules?
newyorker.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Is the Microsoft Teams data export tool vaporware?
blog.zulip.com·1d·
Discuss: Hacker News
🦋Format Evolution
Defending Against NPM Supply Chain Attacks - NPM Vulnerability Scanner
blog.verichains.io·2d
📦Package Managers
Microsoft Patch Tuesday September 2025, (Tue, Sep 9th)
isc.sans.edu·2d
🔓Hacking
Ambient Agents: The Next Frontier in Context-Aware AI
digitalocean.com·2d·
Discuss: Hacker News
🏠Home Automation
AI can't be woke and regulators should be asleep, Senator Cruz says
theregister.com·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
Fil-C
fil-c.org·5d
💧Liquid Types
The Software Engineers Paid to Fix Vibe Coded Messes
404media.co·4h
🚀Indie Hacking
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
⚙️Proof Engineering
Eclipse IDE 2025-09: Small update before Java 25
heise.de·6h
🔓Open Source Software
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·2d·
Discuss: Hacker News
✋Tactile Computing
Beginner here looking for a self-hosted notes app with sync + encryption + mobile
reddit.com·1d·
Discuss: r/homelab
🔌Offline-first Apps
Show HN: Local speech-to-text MCP server for Claude on Linux
github.com·10h·
Discuss: Hacker News
🎙️Whisper
CSV Injection - silverstripecmsv6.0.0
seclists.org·2d
📡RSS Extensions
<i>ABCA7</i> variants impact phosphatidylcholine and mitochondria in neurons
nature.com·1d
🧬Copy Number Variants
Fortran’s unlikely comeback from programming’s past to powering AI and HPC
dev.to·3d·
Discuss: DEV
🏗️Compiler Archaeology
DuoCLR: Dual-Surrogate Contrastive Learning for Skeleton-based Human Action Segmentation
arxiv.org·2d
🌀Differential Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap