Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

A fast and light-weight multithreaded file processing library for Java. - GitHub - MayankPratap/Samchika: A fast and light-weight multithreaded file processing library for Java.

Type inference has a reputation for causing unhelpful error messages from the compiler when there is a type error. For example, here’s a typical comment:

Superpower for Your Memories Worth Keeping.

The country is just emerging from a period of political turmoil with a new prime minister in place. But now Alberta, a conservative Western province, is planning a referendum to break away.

How to setup emacs dired-mode in xdg-mime, specifically for file management.

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