kachnuv_ocasek

A Ptáčeḳ

Posts

• Algorithms for Decision Making
  by kachnuv_ocasekon 12/31/24, 2:21 PMwith 0 comments
• Formalizing the proof of PFR in Lean4 using Blueprint
  by kachnuv_ocasekon 11/20/23, 9:18 AMwith 0 comments
• Running a Membership Program: Four Years In
  by kachnuv_ocasekon 3/22/23, 3:17 PMwith 0 comments
• Functional Core, Imperative Shell (2012)
  by kachnuv_ocasekon 2/19/23, 6:10 PMwith 39 comments
• Unco – Undo Any Command
  by kachnuv_ocasekon 1/18/23, 2:18 PMwith 0 comments
• MicroPython officially becomes part of the Arduino ecosystem
  by kachnuv_ocasekon 11/21/22, 9:56 PMwith 33 comments
• Trojan Source – Invisible Source Code Vulnerabilities
  by kachnuv_ocasekon 11/2/21, 9:28 AMwith 0 comments