jjgreen

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

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

Posts

• Notes on Epistemic Collapse
  by jjgreenon 6/27/25, 6:49 PMwith 1 comments
• Time Machine
  by jjgreenon 6/15/25, 9:58 PMwith 0 comments
• A tool to verify estimates, II: a flexible proof assistant
  by jjgreenon 5/10/25, 10:41 AMwith 3 comments
• C++20 concepts for nicer compiler errors
  by jjgreenon 5/4/25, 12:20 PMwith 1 comments
• A proof of concept tool to verify estimates
  by jjgreenon 5/2/25, 7:09 PMwith 23 comments
• DARPA to 'radically' rev up mathematics research. And yes, with AI
  by jjgreenon 4/27/25, 6:59 PMwith 0 comments
• Show HN: CI-Hush
  by jjgreenon 4/8/25, 9:54 PMwith 0 comments
• The Natural System of Colours
  by jjgreenon 3/25/25, 12:19 AMwith 0 comments
• Scientific Colour Maps
  by jjgreenon 3/8/25, 4:21 PMwith 0 comments
• The View from My Office
  by jjgreenon 3/8/25, 1:59 PMwith 0 comments
• A Tale of Two Cities
  by jjgreenon 3/5/25, 10:40 PMwith 0 comments
• NCSC, GCHQ, UK Gov't expunge advice to “use Apple encryption”
  by jjgreenon 3/5/25, 7:34 PMwith 245 comments
• Begrudgingly Choosing CBOR over MessagePack
  by jjgreenon 3/2/25, 11:05 AMwith 78 comments
• Coordinates of Smartphones Feared Stolen
  by jjgreenon 2/6/25, 11:07 PMwith 0 comments
• Mixing Rust and C in Linux likened to cancer by kernel maintainer
  by jjgreenon 2/5/25, 11:36 PMwith 5 comments
• Nature Research Intelligence
  by jjgreenon 1/26/25, 11:16 AMwith 0 comments
• Now Trump's import tariffs could raise the cost of a laptop for Americans by 68%
  by jjgreenon 1/7/25, 11:58 PMwith 18 comments
• Pornhub pulls out of Florida, VPN demand 'surges 1150%'
  by jjgreenon 1/5/25, 11:28 PMwith 44 comments