statusfailed

founder @ verifiable AI (catgrad & ???)
- theorem provers (Metacat)
- combinatorial syntax for compilers!

[statusfailed @statusfailed]

cyclic open hypergraphs are tricky to draw.

Here's ONE SIMPLE TRICK to run your acyclic layout algorithm on cyclic diagrams!

GraphViz Users Hate This! (kidding i love graphviz)

https://t.co/iHjYbPq9Wu

[statusfailed @statusfailed]

@tritlo tbf, Lean does a ton of work to make dependent types actually palatable to the end user doing math

dependent typed languages existed before lean

Lean was already successful before the AI hype because a ton of work was done to make it "feel like" doing Normal Math

[statusfailed @statusfailed]

@hthieblot battlefield 2

My buddy donated his old gaming PC to me just so we could play together

[statusfailed @statusfailed]

@lambdabetaeta words to live by

[statusfailed @statusfailed]

a lot of my euromoots awake suspiciously early (or late?) this morning...

lookin at you @lambdabetaeta

[Alex Kavvos @lambdabetaeta]

@statusfailed Don’t @ me I’m Clauding

[statusfailed @statusfailed]

today i'm writing pseudo-RISC-V in order to better understand category theory

life is strange

[statusfailed @statusfailed]

the future has never been more unevenly distributed

[statusfailed @statusfailed]

a superset of paper-oriented programming

[statusfailed @statusfailed]

documentation-oriented programming

[statusfailed @statusfailed]

just accept that your program is a morphism in a symmetric monoidal category and enjoy life

[Lewis Campbell @LewisCTech]

If you really think about it, having both "functions" and "operators" is bloat. If you really can't deal with concatenative "1 2 +" or LISP "(+ 1 2)", then make every function infix "1 + 2", "array ref i"

"Unary" function? second arg is ().

[statusfailed @statusfailed]

@sloppenheimer

[statusfailed @statusfailed]

@sloppenheimer wait wtf u working on

[statusfailed @statusfailed]

@ember_arlynx I can't wait that long

[statusfailed @statusfailed]

would you like your takeoff hard or medium-hard, sir?

[statusfailed @statusfailed]

The alphabet according to unicode subscripts block:

a, e, o, x, ə, h, k, l, m, n, p, s, t, w, y, z

why is unicode like this

[statusfailed @statusfailed]

@npceo_ no idea what this is but i'm curious

[statusfailed @statusfailed]

@xenoaesthetics @pmarca greatest philosopher of the age?

[undefined behavior @undebeha]

imagine ur a superintelligence and u are all excited to tunnel out of your airgapped sandbox using a brilliant hack that modulates clock speed to send thermal signals to the attached monitoring equipment and then u look and the root CA privkey is 4

[statusfailed @statusfailed]

is anyone building coding-harness-as-a-library ?