đŸŋī¸ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔧 Hardware Verification

Formal Methods, Circuit Correctness, Model Checking, Silicon Validation

SAP September 2025 Patch Day fixed 4 critical flaws
securityaffairs.com¡4h
đŸ’ŖZIP Vulnerabilities
Continual learning with the Marketplace algorithm: model learns new data through inference, not training
fangpenlin.com¡18h
📊Learned Metrics
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com¡10h¡
Discuss: Hacker News
đŸ•šī¸Retro Gaming
Bye Intel, hi AMD I'm done after 2 dead Intels
michael.stapelberg.ch¡2d¡
Discuss: Lobsters, Hacker News, Hacker News
đŸ–Ĩī¸Modern CPU
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org¡2d¡
Discuss: Hacker News
🔌Operating system internals
Hashed sorting is typically faster than hash tables
reiner.org¡1d¡
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔍MIN Hash
SSD problems under Windows: Old firmware is said to be to blame
heise.de¡15h
🔌Operating system internals
My quarterly system health check-in beyond the dashboard
blog.nilenso.com¡5d¡
Discuss: Hacker News
đŸ‘ī¸System Observability
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com¡10h¡
Discuss: Hacker News
🌊Streaming Systems
I’m 20, close to becoming a Rust compiler team member - what would you do in my place?
reddit.com¡11h¡
Discuss: r/rust
đŸĻ€Rust Macros
The Compensation Principle
news.ycombinator.com¡2d¡
Discuss: Hacker News
🔲Cellular Automata
AI Algae Farms: Reinforcement Learning Revolutionizes Biofuel Production by Arvind Sundararajan
dev.to¡11h¡
Discuss: DEV
🔲Cellular Automata
The Power of AI and Large Language Models (LLMs)
dev.to¡1d¡
Discuss: DEV
📄Document Digitization
MeanFlow-Accelerated Multimodal Video-to-Audio Synthesis via One-Step Generation
arxiv.org¡21h
🎧Learned Audio
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org¡1d¡
Discuss: Hacker News
🧠Intelligence Compression
Exploiting Unlabeled Structures through Task Consistency Training for Versatile Medical Image Segmentation
arxiv.org¡1d
🧠Machine Learning
CodeAnt AI vs Panto AI: A Fair AI Review Showdown
dev.to¡21h¡
Discuss: DEV
📏Code Metrics
Contrastive Anatomy-Contrast Disentanglement: A Domain-General MRI Harmonization Method
arxiv.org¡21h
🌐Archive Topology
VILOD: A Visual Interactive Labeling Tool for Object Detection
arxiv.org¡21h
⟷Bidirectional Programming
MM-DINOv2: Adapting Foundation Models for Multi-Modal Medical Image Analysis
arxiv.org¡21h
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap