Meta is taking a page out of Big Tobacco's PR playbook, and legislators are responding.

My private GitHub on Postgres. Contribute to calebwin/gitgres development by creating an account on GitHub.

오늘의 운세 — daily fortune Claude Code plugin (/destiny) - xodn348/destiny

The VT-100 is an interesting piece of computer history. Is it compatible enough with modern terminals to continue to use today?

A study hall for systems engineering — interactive simulators, deep how-it-works guides, a long-form handbook, and a lab notebook of cited measurements.

After more than 80 years, the Peabody Mallards are still marching on, with a young, earnest Duckmaster at their lead.

View recent discussion. Abstract: In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

iSCSI was designed for the SAN inside a rack, not the open internet. Here's the pile of small decisions that makes scsipub work anyway — Ranch 2.x listeners, a BEAM process per session, COW overlays, Caddy-terminated TLS, multi-LUN + SCSI-3 Persistent Reservations for cluster software, and a handful of open-iscsi quirks that cost us a day each.

A $500M commitment to galvanize a global, open-data effort to build predictive models of the human cell.

OMAR is a TUI for creating powerful agentic organizations. Orchestrate deep hierarchies of parallel AI agents from a single terminal.

Anonymous community news aggregator across 700+ sources. No algorithm, no paywall, no tracking — read, react, comment, share. Free.

1954, Hans Peter Luhn filed for a US patent on a Computer for Verifying Numbers. This is one of the earliest examples of using mathematical transformations to verify data integrity, a concept that became a foundation for modern hashes. Today you can find it under names Luhn Algorithm, Luhn Formula or Modulus 10 Algorithm.

A new study upends long-held view about how DNA is stored, explaining how subtle shifts in gene activity contribute to cancer, aging, and other complex diseases.

Blotter - Real-time police scanner activity map for Los Angeles County. Search transcripts, explore events, and monitor dispatch activity.

Herald is a keyboard-first terminal email client with guided setup, demo mode, search, cleanup, compose, rules, optional semantic search, and MCP tools for trusted clients.

git over Freenet: decentralized git hosting on the Freenet network - freenet/freenet-git