🐿️ 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 Shame of “Alligator Alcatraz”
newyorker.com·1h
⭐Awesome lists
Announcing the Binary Ninja Developer Portal
binary.ninja·9h
🧬Bitstream Evolution
Open Sesame: Poems with Entropy
benwr.net·19h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Running NetBSD on my Amiga 4000
sandervanderburg.blogspot.com·1h·
Discuss: Hacker News
🔌Operating system internals
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com·10h·
Discuss: Hacker News
⚖️Emulation Ethics
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
LuCI on MGMT - Day 7
dev.to·1d·
Discuss: DEV
📻Homebrew Protocols
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
A Rust implementation of the Haraka hash function
github.com·4d·
Discuss: Hacker News
🦀Rust Borrowing
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·20h
🌳Context free grammars
How to catch GitHub Actions workflow injections before attackers do
github.blog·1d
🛡️WebAssembly Security
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·20h
🌀Differential Geometry
YAML Guide For Beginners: Learn YAML In 10 Minutes
dev.to·2d·
Discuss: DEV
🔒Linear Types
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·20h
🌀Differential Geometry
TryHackMe Room Walkthrough: Billing
infosecwriteups.com·19h
🎫Kerberos Exploitation
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·20h
🔲Cellular Automata
Robust 3D-Masked Part-level Editing in 3D Gaussian Splatting with Regularized Score Distillation Sampling
arxiv.org·1d
🏺Computational Archaeology
Decrypting DPAPI Credentials Offline
infosecwriteups.com·19h
🕸️WebAssembly
Python Fundamentals: bounded typevar
dev.to·6d·
Discuss: DEV
⬆️Lambda Lifting
Loading...Loading more...
AboutBlogChangelogRoadmap