Jad Ghalayini (@technicallyrain) header
Jad Ghalayini (@technicallyrain) profile picture

Jad Ghalayini

@technicallyrain

mad scientist @hiloopai (YC26) A compiler-compiler, now made flesh

tekne.dev
Joined February 2020
  • Tweets27
  • Following131
  • Followers323
6Media
Photo by Jad Ghalayini (@technicallyrain)Photo by Jad Ghalayini (@technicallyrain)Photo by Jad Ghalayini (@technicallyrain)Photo by Jad Ghalayini (@technicallyrain)Photo by Jad Ghalayini (@technicallyrain)Photo by Jad Ghalayini (@technicallyrain)
Jad Ghalayini retweeted
Lawrence Paulson (@LawrPaulson) profile picture
Lawrence Paulson@LawrPaulsonOct 27
Replying to @windley
Lean's a very sophisticated system. The big advantage of HOL Light is that it isn't, especially with its *three* axioms and tiny kernel.
2
16
383
Jad Ghalayini retweeted
Karan Brar (@deepmatmul) profile picture
Karan Brar
@deepmatmulOct 15
Once men turned their thinking over to machines in the hope that this would set them free. But that only permitted other men with machines to enslave them.
2
1
2
6
465
Load more