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

I did 98,000 Anki reviews. Anki is already dead
miguelconner.substack.comΒ·1hΒ·
Discuss: Substack
🌳Context free grammars
Storage at GPU Speed: Benchmarking Graid SupremeRAID AE for AI
storagereview.comΒ·3dΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
Vibing With Amazon Kiro
kdnuggets.comΒ·5h
🌊Streaming Systems
Just got a Samsung SCX-3405 (SCX-340x) working with CUPS on ARM (Raspberry Pi print server)
reddit.comΒ·13hΒ·
Discuss: r/linux
πŸ”ŒSingle Board PC
Let’s Brief You on Recent Developments for Electrostatic Motors
hackaday.comΒ·13h
βš™οΈTape Mechanics
Injecting doubts in the CoT of reasoning models
github.comΒ·3dΒ·
Discuss: Hacker News
πŸ§ͺBinary Fuzzing
Topological Structure Description for Artcode Detection Using the Shape of Orientation Histogram
arxiv.orgΒ·3d
πŸ“Projective Geometry
Forklifts Require Training
zacsweers.devΒ·2dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Diffusion is a code repair operator and generator
arxiv.orgΒ·3d
πŸ”©Systems Programming
Rajat Khare - Venture Capitalist and Deep‑Tech Investor Advancing Artificial Intelligence in Remote Inspections and Clean Tech
dev.toΒ·2dΒ·
Discuss: DEV
🏠Homelab Pentesting
Index-Aligned Query Distillation for Transformer-based Incremental Object Detection
arxiv.orgΒ·3d
πŸ“Document Chunking
Looking for a cheap motherboard/CPU with IPMI for an unRaid file server
reddit.comΒ·2dΒ·
Discuss: r/homelab
🏠HomeLab
Quantifying Loss Aversion in Cyber Adversaries via LLM Analysis
arxiv.orgΒ·1d
🎯Threat Hunting
MCP vs. APIs: Which Is Better for Advanced AI Development?
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Towards SISO Bistatic Sensing for ISAC
arxiv.orgΒ·2d
πŸŽ›οΈCassette DSP
DashCam Video: A complementary low-cost data stream for on-demand forest-infrastructure system monitoring
arxiv.orgΒ·3d
🌊Stream Processing
Building Resilient Developer Habits in the Age of AI Tools
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”„Language Evolution
Nested Operator Inference for Adaptive Data-Driven Learning of Reduced-order Models
arxiv.orgΒ·3d
πŸ“ŠQuantization
Systematic FAIRness Assessment of Open Voice Biomarker Datasets for Mental Health and Neurodegenerative Diseases
arxiv.orgΒ·14h
πŸ‘‚Audio Evidence
Arc-AGI-3 Preview: 30-day learnings
arcprize.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap