🐿️ 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·34m
📄PostScript
Fortifying Your Cloud Against Cross-Service Confused Deputy Attacks
blog.qualys.com·3d
🏠Homelab Security
Journey of a Space Traveller (1983)
bluerenga.blog·1d
📺Retrogaming
2025-07-25: Feature Engineering with Shallow Features and Methods
ws-dl.blogspot.com·2d·
Discuss: ws-dl.blogspot.com
🧠Machine Learning
Amazon launches Kiro to streamline AI prototyping
the-decoder.com·14h
👁️Observatory Systems
6 Most Popular Deployment Strategies Every Software Engineer Should Know
javarevisited.substack.com·1d·
Discuss: Substack
❄️Nix Adoption
Qwen team releases an open agentic coding model with tooling
infoq.com·8h·
Discuss: Hacker News
🔓Open Source Software
IPC channel multiplexing: next steps
underlap.org·1d
📼Cassette Protocols
50x rendering speed improvements in Hologram (Elixir web framework)
hologram.page·1d·
Discuss: Hacker News
🎬WebCodecs
How to properly match ingress and egress netpol ?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
The Joy of a Boring Codebase
trunk.io·3d·
Discuss: Hacker News
📏Code Metrics
CachyOS Kernels Based on Different Schedulers and Performance Improvements
github.com·17h·
Discuss: Hacker News
❄️Nix Flakes
Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP
github.com·1d·
Discuss: Hacker News
📏Linear Logic
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
arxiv.org·3d
👑Coq Tactics
Go or Rust for Video Processing Software?
reddit.com·1d·
Discuss: r/golang
🦀Embedded Rust
🚀 Just discovered this evening productivity hack:
dev.to·23h·
Discuss: DEV
⛏️File Carving
SIA: Enhancing Safety via Intent Awareness for Vision-Language Models
arxiv.org·3d
🤖Advanced OCR
Physics+ MIN/MAX Problem 1: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·7h·
Discuss: www.blogger.com
🔗Tailscale
Countering Privacy Nihilism
arxiv.org·2d
🧲Magnetic Philosophy
Machine Learning Fundamentals: gradient descent with python
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap