🔒 Protocol Verification - tiferrei

⎈Helm Code

github.com··Hacker News

Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets

🔄Reproducible Builds Academic

arxiv.org·

pnpm 11.5 Adds Support for Recognizing npm Staged Publishes

🔧DevOps Blog

socket.dev·

Valuable News - 2026/06/08

🖥Self-Hosting

discoverbsd.com·

ryderlacin-pixel/Windows-WireGuard-KillSwitch: Automated, multi-layered WireGuard and WARP deployment tool with a self-healing kill switch for Windows.

🖥Self-Hosting Code

github.com··DEV

Syntax-driven Incremental Program Verification of Matching Logic Properties

🔬Static Analysis Academic

arxiv.org·

BSD Now 666: Everyone gets an LPE

🖥Self-Hosting

discoverbsd.com·

netbirdio/netbird v0.72.2

🖥Self-Hosting Code

github.com

An Abstract Architecture for Explainable Autonomy in Hazardous Environments

🩹Self-Healing Systems Academic

arxiv.org·

Release v0.72.0 · netbirdio/netbird

🖥Self-Hosting Code

github.com·

LibreNMS-Dash - a LibreNMS-backed network dashboard.

🐋Docker Code

github.com··r/homelab

Random relinking at boot comes to httpd(8) and smtpd(8)

🖥Self-Hosting

discoverbsd.com·

Abduction Prover in Isabelle/HOL

✓Automated Theorem Proving Academic

arxiv.org·

Aggressive caching for a Mastodon reverse proxy on FreeBSD

🌐ActivityPub

discoverbsd.com·

oschwartz10612/poppler-windows: Download Poppler binaries packaged for Windows with dependencies

🖥Self-Hosting Code

github.com·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

🔤Language Design Code

github.com··Hacker News

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

🌐NetworkProtocols Academic

arxiv.org·

I replaced Cloudflare Tunnel with Pangolin, and finally own my whole ingress path

Show HN: Claw Patrol, a security firewall for agents

Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets

pnpm 11.5 Adds Support for Recognizing npm Staged Publishes

Valuable News - 2026/06/08

ryderlacin-pixel/Windows-WireGuard-KillSwitch: Automated, multi-layered WireGuard and WARP deployment tool with a self-healing kill switch for Windows.

Syntax-driven Incremental Program Verification of Matching Logic Properties

BSD Now 666: Everyone gets an LPE

netbirdio/netbird v0.72.2

An Abstract Architecture for Explainable Autonomy in Hazardous Environments

Release v0.72.0 · netbirdio/netbird

LibreNMS-Dash - a LibreNMS-backed network dashboard.

Random relinking at boot comes to httpd(8) and smtpd(8)

Abduction Prover in Isabelle/HOL

Aggressive caching for a Mastodon reverse proxy on FreeBSD

oschwartz10612/poppler-windows: Download Poppler binaries packaged for Windows with dependencies

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation