🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Separation Logic

Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning

A process to find and extract data-points from graphs in pdf files
shape-of-code.com·4h
📄PostScript
Fortifying Your Cloud Against Cross-Service Confused Deputy Attacks
blog.qualys.com·3d
🏠Homelab Security
Amazon launches Kiro to streamline AI prototyping
the-decoder.com·18h
👁️Observatory Systems
How to draw lambda diagrams (2020)
risingentropy.com·2d·
Discuss: Hacker News
λLambda Formalization
Qwen team releases an open agentic coding model with tooling
infoq.com·12h·
Discuss: Hacker News
🔓Open Source Software
IPC channel multiplexing: next steps
underlap.org·1d
📼Cassette Protocols
Safe Cell field projection in Rust (2020)
abubalay.com·6d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How to properly match ingress and egress netpol ?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
US spy satellite agency breached, but insists no classified secrets spilled
theregister.com·1h
🔓Hacking
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·2d·
Discuss: Hacker News
📏Code Metrics
CachyOS Kernels Based on Different Schedulers and Performance Improvements
github.com·20h·
Discuss: Hacker News
❄️Nix Flakes
Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP
github.com·2d·
Discuss: Hacker News
📏Linear Logic
Physics+ MIN/MAX Problem 1: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·11h·
Discuss: www.blogger.com
🔗Tailscale
It’s a work in progress
reddit.com·7h·
Discuss: r/homelab
🖥Home Lab Setup
Countering Privacy Nihilism
arxiv.org·2d
🧲Magnetic Philosophy
Machine Learning Fundamentals: gradient descent with python
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Evaluating Ensemble and Deep Learning Models for Static Malware Detection with Dimensionality Reduction Using the EMBER Dataset
arxiv.org·3d
🦠Malware Analysis
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com·1d·
Discuss: Hacker News, Hacker News
👑Isabelle
On This Day in Math - July 27
pballew.blogspot.com·20h·
Discuss: www.blogger.com
⏰Time Crystals
Your personal Blockchain tutor powered by AssemblyAI
dev.to·22h·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap