Zyansheep

Making the blessed child of Rust, Lean, and claude-code. Self-verifying via Barry Jay's reflective tree calculus. Compiles to interaction nets.

[Zyansheep @zyansheep]

@bzogrammer @VictorTaelin Thoughts on hardware-accelerated cellular-automata-based interaction net reducers?

[Zyansheep @zyansheep]

@VictorTaelin @real_philogy Can you not somehow have an interaction net that duplicates agent-by-agent another interaction net? (or would that require intensiomal reflectivity?)

[Zyansheep @zyansheep]

@VictorTaelin Prove Bend2 consistency in Bend2 when? xD

[Zyansheep @zyansheep]

@VictorTaelin In my language I'm trying to do termination by proxy, I.e. if type checking terminates for a certain validated set of type predicates than the typed program should be guaranteed to not terminate. Thoughts on this strategy?

[Zyansheep @zyansheep]

@adamnemecek1 Oh? (Are you making a language as well👀)

[Zyansheep @zyansheep]

@sosud0 @krishmatta NOT AGAIN 😭

[Zyansheep @zyansheep]

https://t.co/JGUHMmUDyR

[Zyansheep @zyansheep]

Bro why don't they just tax land 😭

[Zyansheep @zyansheep]

@RichardMCNgo I suspect the correct synthesis here is tech left and right, a company should bring in those who benefit it, but it should also raise up those who might benefit it in the future, chief method among this being charity.
How much charity? Something something georgism probably...

[Zyansheep @zyansheep]

GAAAAAHHH AI psychosis never felt so good

[Zyansheep @zyansheep]

@bzogrammer 😭

[Zyansheep @zyansheep]

https://t.co/sW0qn6NMYg
Classic game theory video about tradeoffs of different incentive systems. This is my youtube catnip!

[Zyansheep @zyansheep]

@floinkus @jessemhan @gwern idk anything about that but the reason i'm trying to make my own dependently typed lang is to be able to make formally verified p2p protocols.

although I also saw something recently that might be relevant to formally describing law (allowed worldstates): https://t.co/xVtTfEseA6

[Zyansheep @zyansheep]

@selectsand @RichardHanania Yes, and this is why we need a land value tax. Can't have capitalism if every person who owns a piece of land is automatically a monopolist.

[Zyansheep @zyansheep]

@floinkus @jessemhan @gwern formal-specification-driven programming where you write down the high level constraints your program has to satisfy and then the AI generates something to satisfy it. End result is less code the human has to review, and the resulting code is formally correct.

[Zyansheep @zyansheep]

@grok @Gladvillain RIP bruh elon made social media pay-to-win😭

[Zyansheep @zyansheep]

@Gladvillain @grok @grok actually I'm really curious, could you answer @Gladvillain and talk about the distribution of land ownership among people of different wealth brackets in new york and if the framing of "the market is just the 1% owners" is correct?

[Zyansheep @zyansheep]

@sosud0 @jbhuang0604 jepa best idea out of ML since the convolution

[Zyansheep @zyansheep]

I keep sending this video to my friends but none wants to watch it... why does no one seem to know about JEPA? It's the most elegant ML architecture ever! Transformers basically re-implement JEPA internally! https://t.co/KArs1H2fhI
(Also @jbhuang0604 is criminally underrated)