DAX…
… hyperfunctions and a solver.
DAX…
… hyperfunctions and a solver.
brain, it's too early in the morning for this; i have to be a person today
brain, it's too early in the morning for this; i have to be a person today
"The use cases for AI are actually very wide ranging. I use it to coagulate hyperfunctions at my Excel job, identify the monetary balance on my bank account, and microanalyze patterns in my calorie intake. You're reactionary if you don't also do this."
"The use cases for AI are actually very wide ranging. I use it to coagulate hyperfunctions at my Excel job, identify the monetary balance on my bank account, and microanalyze patterns in my calorie intake. You're reactionary if you don't also do this."
We talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.
haskell.foundation/podcast/83/
We talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.
haskell.foundation/podcast/83/
This is a page from Roger Penrose's The Road To Reality showing his hyperfunctions. They have beautiful connections with complex numbers and sheaves. Happy Birthday, Mikio Sato!
This is a page from Roger Penrose's The Road To Reality showing his hyperfunctions. They have beautiful connections with complex numbers and sheaves. Happy Birthday, Mikio Sato!
This is a page from Roger Penrose's The Road To Reality showing his hyperfunctions. They have beautiful connections with complex numbers and sheaves. Happy Birthday Mikio Sato!
mathshistory.st-andrews.ac.uk/Biographies/...
This is a page from Roger Penrose's The Road To Reality showing his hyperfunctions. They have beautiful connections with complex numbers and sheaves. Happy Birthday Mikio Sato!
mathshistory.st-andrews.ac.uk/Biographies/...
Source:https://buff.ly/dZWLDDA
Source:https://buff.ly/dZWLDDA
By: woit on Monday, March 2, 2026
By: woit on Monday, March 2, 2026