Posts

About OpenAI's Navier–Stokes Millennium Prize Problem work

Image
fractal based turbulent flow i put at github.com/equational/fractalturbulence2d3d Some quick remarks on OpenAI's Navier–Stokes Millennium Prize Problem work: ML does not do mathematics, it does computations that result in mathematical properties. This may seem a pedantic thing to write, but it is very different. One way to describe the difference is that OpenAI discovered a single mathematical fact. Yet now this fact needs to be connected into a broader mathematical space to become true mathematics. While some mathematicians deny it, innovation is much a search effort ( I wrote about it here ). So when Tristan Buckmaster writes : " I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer ", he is highlighting that OpenAI's search may have obtained a hint t...
Read more

Beyond Pure Consensus: A Topological Approach to Distributed Systems

Image
The art of relativity as a distributed system I rarely do pure architecture. Yet today I wanted to push an old thought through an LLM to get a "current CS view". The theme is the entwining structure of combining monads , comonads , and traversals . The goal, one of my recurring themes, what are different ways to express approximate dualities of global and local continuities. LLMs need a goal. Here we are asking for an architecture . Interestingly, I did not actually ask the LLM (Gemini Pro) what I wanted to do with the architecture, the LLM thought it knew better, and came up with:  Robust large-scale system design is the process of defining an explicit adjunction at the local atomic level (to guarantee correct state transitions), embedding it into an overlapping topological comonad (to enable concurrent diffusion), and using a continuous distributive law to cross the bridge into the real world (to absorb the shock of metric uncertainty). It took me thirteen prompts to build ...
Read more

Edge of Flatland: Twenty Years of Codelivery in Deep Tech Software

Codelivery is to technical leadership what coadjoint is to dual spaces:  tracking the secondary invariances at the boundary of the primary system. For me, the primary system being delivering software. The theme of this now twenty years old blog is that engineering management is more than pushing tasks out the door. In innovation, engineering management is about always ensuring proper architecting of the cosystems : the DSLs, the team guardrails, the bounded agile constraints, as these keep the chaos of product creation under control. Innovation in software rarely starts with brute-force. Innovation in software starts by carefully aligning what is in and what is out , what is static and what is moving , what is interpreted and what interprets , what is exact and what is approximate , what is computed and what is pre-computed , what is immediate and what is lazy , and so on. The app below is like a track-ball. One can rotate and select pages. Pages are mapped to the sphere by ...
Read more

Whack a rodent bot: How to setup cloudflare to avoid bot spam traffic

Image
Three years of harassment, high volume spamming of this blog with spurious traffic!  I wrote about it here . Now the bot traffic is gone. 👍! And it cost me just a few hours to clamp this spamming down! Below are the bot blocking steps I took. First a quick summary: This blog is hosted by Google's blogger.com. Skip / change below blogger instructions if you have a different blog hosting provider. The approach needed a new domain name, as I was previously using blogger's domain name space ( https://equational.blogger.com ). Therefore this solution is not only filtering traffic, it also "moving" my blog from its blogger address to https://blog.coadjoint.com  as already many years ago I realized that I was outgrowing a pure equational approach to software. Hindsight is gold, one thought might be, and without malice, that the "co" was missing in the adjoint  approach. Cloudflare's service immediately blocked the bot. Therefore to fully enjoy participating in...
Read more