#security on Hacker News

10 stories tagged security, newest first.

Screenshot of leodemoura.github.io: Lean now ships with verified kernels

Lean now ships with verified kernels (leodemoura.github.io)

189 points by matt_d 10 days ago | 68 comments

Leonardo de Moura blog post announcing Lean v4.35.0 ships with lake check, leanchecker, and four additional independent verified kernels for rechecking proofs.

lean theorem-proving proof-assistant formal-verification

Screenshot of ghuntley.com: Unikernels were hard. key word: were

Unikernels were hard. key word: were (ghuntley.com)

177 points by ghuntley 16 days ago | 89 comments

Geoffrey Huntley blog post recounting a conversation with Justin Cormack about why unikernels are becoming practical again and their security benefits.

unikernels mirageos operating-systems security

Screenshot of zbruceli.org: OpenSSH Ships on Every Mac, Linux Server and Windows. Its Creator Trusts No One

OpenSSH Ships on Every Mac, Linux Server and Windows. Its Creator Trusts No One (zbruceli.org)

4 points by zbruceli 21 days ago | 0 comments

Long-form blog profile of OpenSSH creator Theo de Raadt, covering his NetBSD exit, lost DARPA grant, and security-focused philosophy.

openssh theo-de-raadt openbsd netbsd

Screenshot of pagedout.institute: Paged Out Issue #8 [pdf]

Paged Out Issue #8 [pdf](pagedout.institute)

407 points by SteveHawk27 8 months ago | 61 comments

PDF of Paged Out! issue #8 (February 2026), a free zine of one-page articles on programming, hacking, security, and electronics.

paged-out zine hacking programming

Screenshot of pagedout.institute: Paged Out

Paged Out (pagedout.institute)

547 points by varjag 10 months ago | 57 comments

Homepage of Paged Out!, a free community-made technical magazine with one-page articles on programming, hacking, security, retro computers, and electronics.

paged-out zine hacking security

Screenshot of windowslatest.com: Windows 11 adds AI agent that runs in background with access to personal folders

Windows 11 adds AI agent that runs in background with access to personal folders (windowslatest.com)

545 points by jinxmeta 11 months ago | 486 comments

Windows Latest article reporting that Windows 11 will add an experimental background AI agent with access to personal folders, which Microsoft warns poses security risks.

windows-11 microsoft ai-agents agentic-ai

Screenshot of thenewstack.io: FFmpeg to Google: Fund us or stop sending bugs

FFmpeg to Google: Fund us or stop sending bugs (thenewstack.io)

1091 points by CrankyBear 11 months ago | 795 comments

The New Stack article on FFmpeg developers publicly urging Google to fund the project or stop sending AI-found bug reports, sparking a debate about open source sustainability.

ffmpeg google open-source-funding vulnerability-reports

Screenshot of twitter.com: A DOGE staffer appears to be posting DOGE work on his public GitHub

A DOGE staffer appears to be posting DOGE work on his public GitHub (twitter.com)

322 points by amarcheschi 1 year ago | 244 comments

An X post by Roger Sollenberger reporting that DOGE staffer Jordan Wick appears to be posting DOGE work, including a Twitter DM downloader and geospatial data, on his public GitHub.

doge github government-data twitter

Screenshot of bessey.dev: After 6 years, I'm over GraphQL

After 6 years, I'm over GraphQL (bessey.dev)

1005 points by mattbessey 2 years ago | 602 comments

Blog post by Matt Bessey explaining why, after six years of production use, he no longer recommends GraphQL to most people and what alternatives he prefers.

graphql api-design rest ruby

Screenshot of splunk.com: Cisco Acquires Splunk

Cisco Acquires Splunk (splunk.com)

862 points by siddharthb_ 3 years ago | 475 comments

Splunk blog post by CEO Gary Steele announcing Cisco's agreement to acquire Splunk, framed around digital resilience.

splunk cisco acquisition observability