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

Why you should rethink legacy and consider Event-Driven Architecture
blog.scottlogic.com·3d
🔌Interface Evolution
‘It’s missing something’: AGI, superintelligence and a race for the future
theguardian.com·1h
🤖AI Curation
GRETA to Open a New Eye on the Nucleus
newscenter.lbl.gov·19h·
Discuss: Hacker News
🧲Magnetic Resonance
Show HN: Starter Repo for Rust CLI with built in database
deebkit.com·23h·
Discuss: Hacker News, r/commandline
🦀Rust Macros
Project Ire autonomously identifies malware at scale
microsoft.com·3d·
Discuss: Lobsters, Hacker News
🦠Malware Analysis
Floats Don’t Work For Storing Cents: Why Modern Treasury Uses Integers Instead
moderntreasury.com·1d·
Discuss: Hacker News, r/programming
📐Arithmetic Precision
UK secretly allows facial recognition scans of passport, immigration databases
theregister.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Building a Home Lab for Self-Hosting & Cybersecurity Labs - What Do You Think of This Setup ?
preview.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
How to setup Airtable MCP for effective work manahement 💻📊
dev.to·9h·
Discuss: DEV
🔄Sync Engine
Using Logging Frameworks for Application Development
thenewstack.io·1d
📝Log Parsing
Claude 3.7 vs 3.5 Sonnet: Key Differences You Should Know
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Why is it so hard to hire golang engineers?
reddit.com·21h·
Discuss: r/golang
💧Liquid Types
A Foundation Model for DAS Signal Recognition and Visual Prompt Tuning of the Pre-trained Model for Downstream Tasks
arxiv.org·2d
🌀Differential Geometry
🧠Building neuro-symbolic AI Alone... Help is welcome
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
SimpSave: Minimalistic and Immediate Python Data Persistence for Student Projects and Lightweight Scripts
dev.to·2d·
Discuss: DEV
📦Deflate
Plant-Centric Metaverse: A Biocentric-Creation Framework for Ecological Art and Digital Symbiosis
arxiv.org·2d
🌍Cultural Algorithms
Open-source playbook for RAG and LLM debugging: Problem Map 2.0 and Semantic Clinic
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
Artificial Consciousness as Interface Representation
arxiv.org·2d
✨Effect Systems
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·3d
🌳Context free grammars
under-the-stairs lab/server, wall mount
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap