Faez Shakil

The Law is a topos.

[Faez Shakil @f_aezs]

It’s the risk of death that stops us from beaming Hot rays down tandoors.

[Faez Shakil @f_aezs]

@gabepereyra Are you guys using dspy?

[Faez Shakil @f_aezs]

@o1lo01ol1o but for that you need to write the core by hand.

[Faez Shakil @f_aezs]

@danielmurfet I think valid proofs should be constructed over a dspy program

[Faez Shakil @f_aezs]

@yacineMTB @giffmana Is this a kalman filter in disguise

[Faez Shakil @f_aezs]

@geoffreyirving @danielmurfet nice grothendeick reference. applying just for that.

[Faez Shakil @f_aezs]

@zkDragon you do need to prove the polynomial math. this is a magnificient pre-llm work;
https://t.co/nAc7ItoQgT

[Faez Shakil @f_aezs]

@evelovesolive @fatihdin4en this also gives you what @fatihdin4en says below in the limit to get an equivalence class of subcircuits

[Faez Shakil @f_aezs]

@evelovesolive @fatihdin4en there is an absolutely fantastic paper by marcolli and manin that models both information and the neural manifold and the codes over resource categories and summing functors. (would be interesting to do this for diffusion, hire me!)
https://t.co/Cqtku6DWbs

[Faez Shakil @f_aezs]

@TeslaAndDoge we shipped dc microgrids to multiple villages in 2020 with like full mesh and reinforcement learning. Also like, the autonomy stack of https://t.co/wbgKsbrdgv is quite open source

[Faez Shakil @f_aezs]

@TeslaAndDoge Are you hiring?

[Faez Shakil @f_aezs]

@kirancodes @ShriramKMurthi I think it needs compiling to categories semantics to be disciplined enough to do things universally.

[Faez Shakil @f_aezs]

@kirancodes @ShriramKMurthi it writes really terrible haskell by default.

[Faez Shakil @f_aezs]

@domenkozar Ive been getting Econnreset on claude code from pakistan too continously

[Faez Shakil @f_aezs]

@ludwigABAP Ive worked through a lot of beginner focused cat theory book but lawvere is a much kinder and broad minded communicator in it

[Faez Shakil @f_aezs]

@ludwigABAP I'm working through conceptual mathematics by doing the exercises and it is really the right fit for haskellers who muddle through cat theory by intuition instead of understanding

[Faez Shakil @f_aezs]

@llllvvuu Are you using nix?

[sarah @sahouraxo]

Israel executed baby Sam today with a bullet to the face in the occupied West Bank.

They killed his mother too.

Sam was only 7 months old.

They murdered a mother. And her infant.

[Faez Shakil @f_aezs]

@undebeha the real super power is that you can collect any usage of these functions as an internal graph in the cartesian closed category of hask and compile it to a fast backend like mlir or whatever. the code still looks the same

[Faez Shakil @f_aezs]

@undebeha https://t.co/RIXXjy7zmE