People will realize soon that fields that were pretty far from theoretical mathematics will benefit greatly from the formal methods. Once mathematical methods and formalization will become stably verifiable, mathematics will become a powerful language of scientific verification. A new job of mathematical engineering on the rise.
@WonzoTV Sarr is that guy. I think everybody forgot about him when we were falling off the tank cliff and giving him fake injuries and minutes restrictions
@DannyDimes1000@bballstrategy Thoughts on Kawhi being on there? Maybe a survivorship bias in the data available for old guys (e.g. Bron dragging up the expectations)
You can get even more value out of this by 1) running concurrent Claude & Codex reviews & 2) requiring that you get 2 consecutive clean passes before continuing.
Very token inefficient but the extra test time compute can be useful depending on what you’re building
protip:
adding a adversarial subagent review gate to my plans has been a HUGE unlock to make /goal runs higher quality, and longer running.
prompt: "update this plan: before marking a task as done, validate the task with an adversarial subagent review"
Last call — Astera's Essay Competition deadline is May 1. Scientists see the bottlenecks in their fields better than anyone — we want to hear from you. https://t.co/zv12Y0So6n
📜New Paper📜 in @EcographyJourna
Species distributions aren’t just about where species occur, but how survival, reproduction, and development vary across environments.
We formalise the Demographic Niche Concept to link niche theory and demography.
https://t.co/HPN20N5Wwz