An offline tool that encrypts files and splits the decryption key among trusted friends using Shamir's Secret Sharing. Open source.

330,000 lines of machine-checked proofs in Isabelle/HOL verify that the Nitro Isolation Engine correctly enforces confidentiality, integrity, and memory safety between EC2 virtual machines on Graviton5.

Ever wondered what the ocean floor around Australia's coast looks like? A first-of-its-kind survey has uncovered new information about underwater canyons.

Hey @mingrammer, I'm aware that this PR is a big change but I believe it will help a lot for the maintainability of the project.

In this episode, I compare this year's Grammy nominees for Song of the Year to the 1984 Song of the Year nominees.My Beato Club supporters:Justin ScottTerenc...

Python tool for converting files and office documents to Markdown. - microsoft/markitdown

A federal judge in California has indefinitely blocked the Pentagon’s effort to “punish” Anthropic by labeling it a supply chain risk and attempting to sever government ties with the AI company, ruling that those measures ran roughshod over its constitutional rights.

00:00 - Pie01:05 - Donkey02:20 - Hairy03:20 - Jazz04:03 - Angry05:25 - Bull06:29 - Advent07:40 - Cleaner----------------------------------------------------...

On September 14, 2015, our first publicly-trusted certificate went live. We were proud that we had issued a certificate that a significant majority of clients could accept, and had done it using automated software. Of course, in retrospect this was just the first of billions of certificates. Today, Let’s Encrypt is the largest certificate authority in the world in terms of certificates issued, the ACME protocol we helped create and standardize is integrated throughout the server ecosystem, and we’ve become a household name among system administrators. We’re closing in on protecting one billion web sites.

A new tool has emerged that promises to revolutionize the way organizations approach threat modeling. STRIDE GPT, an AI-powered threat modeling tool, leverages the capabilities of large language models (LLMs) to generate comprehensive threat models

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

a non-linear personal web notebook

Nyheter för dig som är verksam i den svenska elektronikbranschen som exempelvis tillverkare, konsult, distributör, finansiär, investerare, konstruktör eller tekniker.

Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake. - brimdata/zui

Discover 10 design patterns from the Kubernetes Patterns book that will help you follow basic Kubernetes concepts and design Kubernetes-based applications.

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.