We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory.
Hilbert's Tenth Problem was...

This Guide is a birds-eye-view of all the optical systems and lens design forms out there, and will be an essential tool for any lens designer's toolbox.

The secret life of wind tunnels

You've probably wondered where these otherworldly pixel-art images seen across the web are coming from. The answer is the PC-98.

Easily set up multiple projects with web, file, and GitHub context. Start a new chat, and leverage your saved context to get instant answers and insights

2025 Science Talent Search Project Showcase: Chloe Yehwon Lee, 17, of Murphy, explored a way to lower the toxic effects of acetaminophen (Tylenol) on the liver for her Regeneron Science Talent Search chemistry project.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown - mermaid-js/mermaid

A description of why you should not use ISO/IEC 14977 as an Extended Backus-Naur Form (EBNF) format, and why should use alternatives such as W3C's instead.

For exploring algebraic effects, safe shared mutability, and other novel features

How Japan invented modern shipbuilding, and conquered the shipbuilding industry in the process.

A browser extension that adds a "Related Submissions" section to Hacker News - imdj/HNRelevant

Valve continues to plan for a SteamOS future that goes beyond the Steam Deck.

Horse stories in the morning, erotica in the afternoon

Exploring what's inside a 120W GaN USB-C / USB-A charger (GaN Prime made by Anker), how did it work and what made it stop working.

Please support my channel on Patreon:
https://www.patreon.com/DiodeGoneWild

Instagram:
https://www.instagram.com/savage_danyk/

Text Buffer Reimplementation in the Visual Studio Code/Monaco editor

Publishers say that Google's new AI Mode is the "definition of theft," while documents show that Google considered better opt out controls.

As a historian of exchange, I am conscious that goods that travel long-distances, are shiny or unusual get all the glory: a lot of history is mundane, low-key and local.