The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 3 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Modular beat Intel MKL matrix multiplication speed in its first year
“First year was prove compilation philosophy. And so this was writing very abstract compiler stuff. And then prove that we can make a matrix multiplication go faster than Intel MKL's matrix multiplication on Intel Silicon and make it configurable and multiple D…”
First-time Mojo developers built a GPU training system in one day
“The winning team for the hackathon took that four person team. And one day they had not used Mojo before they hadn't programmed GPUs before. And they had built a training system. They wrote an atom optimizer, a bunch of training kernels. They built a simple ba…”