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

How A Berkeley Professor Built Billion - Dollar Companies In His Lab
forbes.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Ratfactor's Illustrated Guide to Folding Fitted Sheets
ratfactor.com·1d·
Discuss: Hacker News
⭐Awesome lists
Redis 8.2 is GA and brings more performance, efficiency, and new commands
redis.io·17h·
Discuss: Hacker News
⚡Redis Internals
Consistency over Availability: How rqlite Handles the CAP theorem
philipotoole.com·3d·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
Tinkering with Hobby Projects
jeffersonheard.ghost.io·5d·
Discuss: Hacker News
⚙️DIY Electronics
Actual LLM agents are coming
pleias.fr·3d·
Discuss: Hacker News
🔲Cellular Automata
HTB Dog Walkthrough
infosecwriteups.com·9h
📟Terminal Forensics
Uncertainty-aware Accurate Elevation Modeling for Off-road Navigation via Neural Processes
arxiv.org·3d
🌀Riemannian Computing
How Deep Is Representational Bias in LLMs? The Cases of Caste and Religion
arxiv.org·3d
🏛Digital humanities
Register Anything: Estimating "Corresponding Prompts" for Segment Anything Model
arxiv.org·5d
🚀SIMD Text Processing
[D] Do you think LLM memory will ever be solved without fine‑tuning?
reddit.com·4d·
Discuss: r/MachineLearning
🔩Systems Programming
Enhanced Fabry-Pérot Interferometry for High-Resolution Atmospheric Water Vapor Profiling via Adaptive Spectral Filtering
dev.to·18h·
Discuss: DEV
🌈Spectroscopy
The Truth About AI's Impact on New Developers
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Pulse Shape Discrimination Algorithms: Survey and Benchmark
arxiv.org·4d
🔍Vector Forensics
AI Engineering in 2025: From RAG 2.0 to Autonomous Agent Stacks
dev.to·3d·
Discuss: DEV
🏠Homelab Archaeology
High-Dimensional Recursive Filtering for Enhanced Signal Amplification in Acoustic Microscopy
dev.to·3d·
Discuss: DEV
💿FLAC Archaeology
My AI Co-Pilot Has No Common Sense
dev.to·2d·
Discuss: DEV
🏠Homelab Pentesting
Adaptive Wavefront Sensing & Control via Sparse Bayesian Optimization for Segmented Telescope Mirrors
dev.to·1d·
Discuss: DEV
🔬Optical Physics
Machine Learning Fundamentals: model evaluation tutorial
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Show HN: Principles of Building AI Agents book [pdf]
github.com·4d·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap