Recent Posts

• Graduate student develops an A.I.-based approach to restore damaged paintings
  by jmillikinon 6/15/2025, 3:59:44 AM with 1 comment
• Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013)
  by jmillikinon 6/3/2025, 10:06:37 AM with 14 comments
• RULECOMPILE - Undocumented Ghidra decompiler rule language
  by jmillikinon 5/15/2025, 4:19:51 AM with 0 comments
• Rust Any part 3: we have upcasts
  by jmillikinon 3/30/2025, 11:15:12 AM with 7 comments
• PeanoScript: TypeScript but It's a Theorem Prover
  by jmillikinon 3/21/2025, 4:22:28 AM with 0 comments