๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš–๏ธ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Another huge paradigm shift for the Net
aardvark.co.nzยท16h
๐Ÿ“กFeed Archaeology
GNOME Mutter 49 Beta Released With Pointer Warp Protocol, Wayland Fixes
phoronix.comยท14h
๐Ÿ”“Open Source Software
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธRISC-V Security
Slurm vs. K8s for AI Infra: Academic HPC vs. Cloud-Native Reality
blog.skypilot.coยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.comยท4dยท
Discuss: Hacker News
๐Ÿ“„Text Chunking
Show HN: Production-Ready Agents with the OpenAI Agents SDK and Temporal
temporal.ioยท4dยท
Discuss: Hacker News
โš™๏ธTLA+
Inside Jeffrey Epsteinโ€™s Forgotten AI Summit
wired.comยท2dยท
Discuss: Hacker News, r/technews
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
New Linux backdoor Plague bypasses auth via malicious PAM module
securityaffairs.comยท1d
๐Ÿ”“Hacking
Dispatch Engineering in 2025: Distributed System Readiness Before You Scale
dev.toยท2dยท
Discuss: DEV
๐Ÿ•ธ๏ธMesh Networking
Help me setup wife-approved home server(s)
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Top AI Agent Development Companies in 2025
dev.toยท1hยท
Discuss: DEV
๐Ÿ Homelab Orchestration
How Not to Be Replaced by AI (A Developerโ€™s Guide)
dev.toยท3dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Toward Holistic Evaluation of LLMs: Integrating Human Feedback with Traditional Metrics
hackernoon.comยท2d
๐Ÿง Intelligence Compression
Artificial Intelligence Use-Cases in Daily Life
dev.toยท16hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Mojo: The Python-Compatible AI Language Taking 2025 by Storm
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Python Fundamentals: comparison chaining
dev.toยท5dยท
Discuss: DEV
๐Ÿ“Code Metrics
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.orgยท4d
๐Ÿง Machine Learning
An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
arxiv.orgยท3d
๐Ÿ”“Open Source Software
The Warm Future: Why Agentic AI Companies Build Empathy
dev.toยท3dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Organic Electrochemical Neurons: Nonlinear Tools for Complex Dynamics
arxiv.orgยท5h
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap