Formerly u/CanadaPlus101 on Reddit.

  • 5 Posts
  • 3.63K Comments
Joined 3 years ago
cake
Cake day: June 12th, 2023

help-circle












  • Yeah, understanding proof assistants would be the big practical thing. I can read a short proof in Lean, but a lot of it just feels like magic right now.

    It looks like I was mainly missing sequent calculus (I learned all in the Hilbert style of deduction) and the convention that gamma is the whole context. I’d see the notation and wonder if I missed something. Thank you for the effort you put in on this!



  • Yes. Assembly is barely abstracted from the actual machine instructions, to the point where the process of translating it is easily reversible. Reading assembly code is a thing all on it’s own, though.

    There’s specialised software available for this kind of reverse-engineering now, too, if you’re doing something more complicated than just looking for and cutting out a system call.




  • It’s… just an order. Letters could go diagonally or back and forth, as long as everyone knows how to follow through them. It doesn’t matter where they are on the page, and yeah, you can do that with Latin text as well.

    Logographs do carry information more densely, since they’re not constrained by actual speech sounds, but I don’t think that’s what you’re talking about. (They’re a lot harder to learn than a sane alphabetical system, as a tradeoff)