I recently released JustHTML, a python-based HTML5 parser. It passes 100% of the html5lib test suite, has zero dependencies, and includes a CSS selector...

An informal introduction to formality: theorem proving and dependent types in Lean 4

Discover the inside story of Google Sans, Google’s iconic brand typeface. From product lockups to code, learn how the Google Sans font family has evolved to solve specific UX design problems.

GotaTun is a WireGuard® implementation written in Rust aimed at being fast, efficient and reliable.

Some engineers dismiss AI coding tools as ‘garbage’ without trying modern versions. Their outdated opinions are costing them.

Stores your data in ICMP ping packets. Contribute to yarrick/pingfs development by creating an account on GitHub.

Production-ready B2B SaaS Starter Kit (Go + Next.js). Modular Monolith. Hexagonal Arch. - moasq/production-saas-starter

Stepped is a Rails engine for orchestrating complex workflows as a tree of actions - envirobly/stepped

Deploy More Resilient Apps. Hatchet is a platform for building distributed web apps that solves scaling problems like concurrency, fairness, and rate limiting.

Graphite helps teams on GitHub deliver higher quality software, faster.

There were rumblings about this for a while, but it looks like the Trump TikTok deal is done, and it’s somehow the worst of all possible outcomes, amazingly making all of the biggest criticis…

The FreeBSD Foundation's Laptop Support and Usability Improvements project aims to deliver a package of improved or new FreeBSD functionality that, together, will ensure that it runs well “...

AMD has unveiled new details about its Zen 6 processors, which include support for new hardware features and data types.

Graphite has entered into a definitive agreement to be acquired by Cursor.