🐿️ 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

Israel intercepts Gaza-bound ship carrying activists and humanitarian aid
lemonde.fr·2h
🏴‍☠️Piracy
Open Security News week 30-2025
nocomplexity.com·1h
🔓Hacking
Google Set Up Two Robotic Arms For a Game of Infinite Table Tennis
hardware.slashdot.org·1d
🔲Cellular Automata
The Hidden Lessons in a re-frame App
lambdaisland.com·3d
🧩WASM Components
I wrote the worlds worst emulator
geon.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🎮Gameboy Emulation
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·11h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·4d·
Discuss: Hacker News
🧬PostgreSQL Forensics
For a human, AI is just a part of being. For a model, a human is all of being
habr.com·1d·
Discuss: Hacker News
🔲Cellular Automata
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·2d
🌳Context free grammars
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·4d
🧠Machine Learning
🧵 Why does your “tiny” Go app start 5 threads?
dev.to·4d·
Discuss: DEV
🔩Systems Programming
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·12h·
Discuss: DEV
📜Manuscript Workflows
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·3d
💣ZIP Vulnerabilities
Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP
github.com·1d·
Discuss: Hacker News
📏Linear Logic
Reinforcement Learning in hyperbolic space for multi-step reasoning
arxiv.org·3d
🌀Hyperbolic Geometry
🚀 Just discovered this evening productivity hack:
dev.to·17h·
Discuss: DEV
⛏️File Carving
Physics+ MIN/MAX Problem 1: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·1h·
Discuss: www.blogger.com
🔗Tailscale
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
arxiv.org·3d
👑Coq Tactics
Machine Learning Fundamentals: gradient descent with python
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
SIA: Enhancing Safety via Intent Awareness for Vision-Language Models
arxiv.org·3d
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap