jjgreen

I live my life by the Latin dictum carpe diem: seize the carp.

https://jjg.gitlab.io/en/

Posts

• Time Machine
  by jjgreenon 6/15/2025, 9:58 PMwith 0 comments
• A tool to verify estimates, II: a flexible proof assistant
  by jjgreenon 5/10/2025, 10:41 AMwith 3 comments
• C++20 concepts for nicer compiler errors
  by jjgreenon 5/4/2025, 12:20 PMwith 1 comments
• A proof of concept tool to verify estimates
  by jjgreenon 5/2/2025, 7:09 PMwith 23 comments
• DARPA to 'radically' rev up mathematics research. And yes, with AI
  by jjgreenon 4/27/2025, 6:59 PMwith 0 comments
• Show HN: CI-Hush
  by jjgreenon 4/8/2025, 9:54 PMwith 0 comments
• The Natural System of Colours
  by jjgreenon 3/25/2025, 12:19 AMwith 0 comments
• Scientific Colour Maps
  by jjgreenon 3/8/2025, 4:21 PMwith 0 comments
• The View from My Office
  by jjgreenon 3/8/2025, 1:59 PMwith 0 comments
• A Tale of Two Cities
  by jjgreenon 3/5/2025, 10:40 PMwith 0 comments