🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

The diversity of OpenStreetMap tools and how they help create a commons
tzovar.as·3d·
Discuss: Lobsters, Hacker News
🌱Personal Wikis
My children were abused in care. The silence that followed was suffocating | Anonymous
theguardian.com·14h
💿DAT Forensics
DARPA announces $4M winner of AI code review competition at DEF CON
therecord.media·2d·
Discuss: Hacker News
⚙️Proof Engineering
Trust as an Abstraction
medium.com·1d·
Discuss: Hacker News
🤖AI Curation
Test
hnhiring.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Network Time Protocol (NTP) Abuse for Enterprise Recon
infosecwriteups.com·8h
🎫Kerberos Exploitation
Docker Desktop Now Includes Its Own AI Tool: Ask Gordon
thenewstack.io·22h
📦Container Security
Accessibility Literacy: Increasing accessibility awareness among young content creators
arxiv.org·2d
🏛Digital humanities
$160M VC-backed company just killed my EU trademark for a small OSS project
news.ycombinator.com·1d·
Discuss: Hacker News
🔓Open Source Software
Creating Push Button Trading: A Journey in Algorithmic Trading with Python and C++
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.org·10h
📐Linear Algebra
Adaptive Whiplash Mitigation via Dynamic Tension Distribution in Composite Hulls
dev.to·2d·
Discuss: DEV
🔐Systems Hardening
Need Advice on NAS, VLANs, ARR Suite, Plex, and Home Network Segmentation
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Battle of the LLMs – How the Rise of DeepSeek Changes the Competitive Landscape
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Unlocking Scalability: A Deep Dive into Mixture of Experts (MoE) for Modern LLMs
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Enhancing Public Speaking Proficiency via Adaptive Neural Textual Feedback & Dynamic Vocal Modulation
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Fact2Fiction: Targeted Poisoning Attack to Agentic Fact-checking System
arxiv.org·3d
👑Coq Tactics
Alif Ensemble E4, E6, and E8 Cortex-M85/A32 MCUs and MPUs feature Ethos-U85 NPU for small language models (SLM)
cnx-software.com·1d
🦾ARM Cortex-M
KeyPilot – Semantic API Gateway with Real-Time AI Routing & Caching
dev.to·3d·
Discuss: DEV
⚡Redis Internals
AI Agents: What Are They, Your Key to Smarter Coding
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap