holon
219 posts

holon
@0x1holon
onchain research / alpha spotter / LLM enthusiast
tel aviv Katılım Ağustos 2024
136 Takip Edilen279 Takipçiler

some small visualisation for you since I am away from home and pc atm and can’t write a full brake down, but this should be enough
Old main App bundle
↓ replaced by
New main App bundle
_________________________________
Agreement publicly accessible
↓
Agreement restricted
↓
Robinhood deploys next normal web-app version
↓
New main bundle still contains the same Friday metadata
_________________________________
Main Robinhood application
├── account functionality
├── trading functionality
├── product definitions
├── backend-service registry
├── agreement-type registry
└── Friday registry metadata
holon@0x1holon
Robin Hood has recently made changes in Friday bundle deployment, something is coming
English

AI 🤝 mathematics
Pietro Monticone@PietroMonticone
A pleasure to help @wtgowers and his colleagues get their preprint formalised with Aristotle (@HarmonicMath). The long case analysis that a referee would understandably prefer not to check by hand is now formally verified in @LeanProver. The code should be available on @GitHub before long. After some further cleanup, parts of the supporting API may also be suitable for upstreaming to Mathlib.
Català

@0x1holon I’d love to take Friday off
Do you have a particular agent you would recommend for me?
English







