2023 Advent of Code in Ada. Contribute to johnperry-math/AoC2023 development by creating an account on GitHub.

Flock Safety, the police technology company most notable for their extensive network of automated license plate readers spread throughout the United States, is rolling out a new and troubling product

I can't believe it's been five years since my last post… Five years since I decided to join an early stage startup as the CTO / "the tech guy". Five years since I took my last train

Notes from setting up a truly minimal self-hosted email server with Postfix and OpenDKIM. Covers TLS, SPF, DKIM, DMARC, DNS, reverse DNS, multiple domains, and delivering to Gmail.

Every day, corporations track our movements through license plate scanners, building detailed profiles of where we go, when we go there, and who we visit. When they do this to us in violation of data

Also: More news about the Halo remake, bad news about Payday 3's offline mode, and sad news about AOL's dial-up service

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL) - DebarghaG/proofofthought

The Financial Times reports that the U.K. is once again demanding that Apple create a backdoor into its encrypted backup services. The only change since the last time they demanded this is that the

Creating organic networks through Blogs, RSS, and Feeds

Sunboxlabs - Premium Solar Kits for self-install clean energy, and batteries for backup, off-grid & outdoors. | 

Large language models (LLMs) have attracted significant attention due to their impressive general capabilities across diverse downstream tasks. However, without domain-specific optimization, they...

A post I was supposed to write after the 2023 season

Universal multi-language runner and smart REPL written in Rust. - Esubaalew/run

An FPGA-based mechanical keyboard with an integrated USB hub and communication interfaces - lsartory/Clavier

An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers. - newton-physics/newton

The company chief executive is looking to Asia and the Middle East to finance and accelerate an infrastructure buildout.

The number of paying subscribers for Copilot has leaked, and it is a disaster. Now even reshaping Satya Nadella's CEO role into tech leadership rather than delivering commercial results.

WASHINGTON, D.C. – U.S. Senator Gary Peters (D-MI), Ranking Member of the Homeland Security and Governmental Affairs Committee, released a report revealing that the Trump Administration’s Department of Government Efficiency (DOGE) is operating outside federal…