If there's one thing I've learned from that relationship, it's that those two ends are hard to bridge 😅
3/3
3/3
July 9, 2024 at 10:30 PM
If there's one thing I've learned from that relationship, it's that those two ends are hard to bridge 😅
3/3
3/3
To me the truth was in the reduction into rule-sets, the patterns -- the way to discern how the underlying systems works. For her it was unnecaccery, it was all if-then statistics, she could see it all in her head.
2/3
2/3
July 9, 2024 at 10:29 PM
To me the truth was in the reduction into rule-sets, the patterns -- the way to discern how the underlying systems works. For her it was unnecaccery, it was all if-then statistics, she could see it all in her head.
2/3
2/3
The biggest artifact and shared outputs will be the 'truth sets', just like how Mathlib is today for Math proving in Lean 4.
2/2
2/2
July 9, 2024 at 6:14 PM
The biggest artifact and shared outputs will be the 'truth sets', just like how Mathlib is today for Math proving in Lean 4.
2/2
2/2