๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“œ Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

The reliability crisis
buildingslack.comยท2d
๐Ÿ’พPersistence Strategies
18th August โ€“ Threat Intelligence Report
research.checkpoint.comยท2d
๐Ÿ”“Hacking
A free, open-source Arduino course
arduinomap.meยท2dยท
Discuss: Hacker News
โš™๏ธDIY Electronics
The syslog-ng Insider 2025-08: HDFS; configuration; Prometheus
syslog-ng.comยท2dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Artemis 2 astronauts suit up for nighttime moon launch dress rehearsal (photos, video)
space.comยท47m
โš™๏ธTape Transport
We still build with Ruby in 2025
getlago.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Container-aware GOMAXPROCS
go.devยท1dยท
Discuss: Lobsters, Hacker News, r/golang
๐ŸŒŠStream Processing
I tested Snapmaker's long-awaited new 3D printer - and it's a seriously fast, affordable, multi-color, multi-material machine
techradar.comยท1d
โš™๏ธTape Transport
Article: Build vs Buy in the Age of AI
svpg.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Evaluating the Quality of Open Building Datasets for Mapping Urban Inequality: A Comparative Analysis Across 5 Cities
arxiv.orgยท1d
๐Ÿ”ถVoronoi Diagrams
Rusticl vs. AMD ROCm Performance On Ryzen AI Max+ "Strix Halo"
phoronix.comยท1dยท
Discuss: Hacker News
โšกHomebrew CPUs
Commercial Offensive Cyber Capabilities: Red-Team Focus and What It Means for Digital Investigations
digitalforensicsmagazine.comยท2d
๐ŸŽฏThreat Hunting
Zed for Windows: What's Taking So Long?!
zed.devยท1dยท
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.orgยท2d
โšกCPU Microarchitecture
Good news for careless clickers - Microsoft Teams is upping its protection against dangerous scams
techradar.comยท2d
๐Ÿ“กFeed Security
Monad annoyance
macwright.comยท1d
๐ŸงฌFunctional Programming
Building a PDF Chatbot with LangChain, Ollama, and Chroma: A Step-by-Step Tutorial
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Streaming
Regional quality estimation for echocardiography using deep learning
arxiv.orgยท17h
๐Ÿ“ŠRate-Distortion Theory
Building a smart, agentic email assistant
dev.toยท4dยท
Discuss: DEV
โšกProof Automation
When motivation can be more than a message: designing agents to boost physical activity
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
Loading...Loading more...
AboutBlogChangelogRoadmap