🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

We built a Kubernetes-based WordPress host – feedback welcome
trustdom.com·9h·
Discuss: Hacker News
📡Feed Security
How to Choose and Change the Belt on Your Belt Sander
popularmechanics.com·1d
⚙️Tape Mechanics
Microsoft’s employee protests have reached a boiling point
theverge.com·1d·
Discuss: Hacker News
🎯NTLM Attacks
With Starship Flight 10, SpaceX prioritized resilience over perfection
techcrunch.com·1d
🔐Systems Hardening
Replacing a sliding door roller
rubenerd.com·1d
🛠️Greaseweazle
crosstool-ng/crosstool-ng
github.com·1d
🌿git
Evaluating Long-Term Conversational Memory of LLM Agents
arxiv.org·4d·
Discuss: Hacker News
📝ABNF Parsing
86Box 5.0
86box.net·4d·
Discuss: Hacker News
🕸️WASM Archives
2025 guide to Context Engineering for Software Engineers
strategizeyourcareer.com·4d·
Discuss: Hacker News, r/programming
🗺️Competency Maps
Meta Quest: New update spruces up the virtual home
heise.de·1d
🔌Operating system internals
Kodo — a developer-first Kanban and notes tool for source code
dev.to·1d·
Discuss: DEV
🌳Git Internals
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
Is attention truly all we need? An empirical study of asset pricing in pretrained RNN sparse and global attention models
arxiv.org·1d
🧠Machine Learning
Question regarding NAS security
reddit.com·13h·
Discuss: r/homelab
📦Container Security
In a lonely world, widespread AI chatbots and 'companions' pose unique psychological risks
phys.org·5h
🤖AI Curation
The risks of AI-powered tools: Lessons from the Comet prompt injection incident
fingerprint.com·1d
🎫Kerberos Attacks
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·2d
🤝Consensus Algorithms
AI-First Platform Engineering: 3 Signals From PlatformCon
thenewstack.io·3d
🏠Homelab Orchestration
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·2d
🔲Cellular Automata
HypER: Hyperbolic Echo State Networks for Capturing Stretch-and-Fold Dynamics in Chaotic Flows
arxiv.org·2d
🌀Hyperbolic Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap