r

MTS @anyscalecompute | CS @UofIllinois | Engineering

[r @roheathen]

@MLCatttt @BanburyRoadAI In sf, would love to connect!

[r @roheathen]

@nikhilkamathcio You should do a small meetup!
In sf and would love to join.

[r @roheathen]

Any angels interested in funding a project to build reliability and proofing layer using formal verification for AI?

[r @roheathen]

@alexshander03 What more could possibly done with Agent traces? Call me blind but I can’t see any more innovation here

[r @roheathen]

@anshnanda Yet to meet a serious swe that would agree on this

[r @roheathen]

@soohoonchoi What makes you say that

[r @roheathen]

@danyisbuilding What was your strategy finding design partners?

[r @roheathen]

@Abhinavven Would love to join!

[r @roheathen]

Frustrating Agent/Harness experiences led to this - https://t.co/CpvKIKLZRk

[r @roheathen]

Finally made the move to SF. I live in SF now 🥹

[r @roheathen]

@cory Me! In june

[r @roheathen]

@aakashgupta Great stuff, thanks for sharing

[r @roheathen]

@i_sudeepa Hey Sudeepa! Can i get a referral please

[r @roheathen]

Came across this cool concept RAGate - augmentation is no silver bullet and applying it everywhere proved to have its drawbacks; checkout this paper introducing RAGates https://t.co/sokTOcVg1q

Credits to the authors !

[r @roheathen]

@sabine_s_ Unsolicited but much needed

[r @roheathen]

@leozaroff sounds amazingly interesting. Lets talk?

[r @roheathen]

@ChShersh Wow, first time seeing an article in the FP realm that is simple. I wanna learn ocaml now

[r @roheathen]

@kozlovski @threadreaderapp unroll

[r @roheathen]

@arpit_bhayani @thedicedb Sounds fun! I’d love to contribute

[r @roheathen]

@Somith11 Hi