jjgreen

Posts

• Time Machine

  by jjgreen on 6/15/2025, 9:58:45 PM with 0 comments

• A tool to verify estimates, II: a flexible proof assistant

  by jjgreen on 5/10/2025, 10:41:21 AM with 3 comments

• C++20 concepts for nicer compiler errors

  by jjgreen on 5/4/2025, 12:20:48 PM with 1 comments

• A proof of concept tool to verify estimates

  by jjgreen on 5/2/2025, 7:09:22 PM with 23 comments

• DARPA to 'radically' rev up mathematics research. And yes, with AI

  by jjgreen on 4/27/2025, 6:59:30 PM with 0 comments

• Show HN: CI-Hush

  by jjgreen on 4/8/2025, 9:54:47 PM with 0 comments

• The Natural System of Colours

  by jjgreen on 3/25/2025, 12:19:22 AM with 0 comments

• Scientific Colour Maps

  by jjgreen on 3/8/2025, 4:21:19 PM with 0 comments

• The View from My Office

  by jjgreen on 3/8/2025, 1:59:11 PM with 0 comments

• A Tale of Two Cities

  by jjgreen on 3/5/2025, 10:40:06 PM with 0 comments

• NCSC, GCHQ, UK Gov't expunge advice to “use Apple encryption”

  by jjgreen on 3/5/2025, 7:34:23 PM with 245 comments