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

When every meeting looks the same
ndra.dev·1h·
Discuss: Hacker News
📰RSS Archaeology
Revival Hijacking: How Deleted PyPI Packages Become Threats
protsenko.dev·4h·
Discuss: Hacker News
📦Package Managers
VPS Evangelism and Building LLM-over-DNS
skeptrune.com·7h·
Discuss: Hacker News
🌐DNS over QUIC
How should we learn from bugs?
typesanitizer.com·3d·
Discuss: Hacker News
🦀Rust Macros
GitHub’s internal playbook for building an AI-powered workforce - GitHub Resources
resources.github.com·19h
🗺️Competency Maps
Intel reissues 3.5-year-old processors
heise.de·2d
⚡Nordic Processors
How AI might be narrowing our worldview and what regulators can do about it
phys.org·6h
🤖AI Curation
Can a Client–Server Cache Tango Accelerate Disaggregated Storage?
muratbuffalo.blogspot.com·3h·
Discuss: www.blogger.com
⚡Cache Coherence
The EU AI Act: A Comprehensive Approach to Artificial Intelligence Regulation
dev.to·41m·
Discuss: DEV
⚖️Legal Compliance
Vibe coding tool Cursor's MCP implementation allows persistent code execution
theregister.com·1d·
Discuss: Hacker News
🔓Hacking
Dear CEO: A Love Letter to Your AI Revolution
medium.com·9h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
TriP-LLM: A Tri-Branch Patch-wise Large Language Model Framework for Time-Series Anomaly Detection
arxiv.org·2d
💻Local LLMs
Translating Machine Learning Interpretability into Clinical Insights for ICU Mortality Prediction
arxiv.org·1d
🧠Machine Learning
OpenMed NER: Open-Source, Domain-Adapted State-of-the-Art Transformers for Biomedical NER Across 12 Public Datasets
arxiv.org·1d
🌀Brotli Internals
CoCoLIT: ControlNet-Conditioned Latent Image Translation for MRI to Amyloid PET Synthesis
arxiv.org·1d
💻Local LLMs
Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction
arxiv.org·1d
🔲Cellular Automata
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·1d
🎯Gradual Typing
Everyone’s a Snowflake: Designing Hardened Image Processes for the Real World
docker.com·1d
📦Container Security
Python For Loops with Index
dev.to·6h·
Discuss: DEV
📝Concrete Syntax
A Comparative Study of Optimal Control and Neural Networks in Asteroid Rendezvous Mission Analysis
arxiv.org·20h
🌀Differential Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap