861–870 of 1001 posts
I am continuing to work on Akariq [0] which provides travel eSIM data plans to 180+ countries around the world. I have had many paying customers over the past few months from Vietnam to Mexico to Europe and US of course. The three benefits of using Akariq are 1) No app, no user account which leads to literally 3-click install 2) Full transparency - you know what you are getting. A lot of other eSIM providers hide det…
UDB has full transactions, selectable persistence (in-memory, eventual, strict) and consistency (SI, SSI). A lot of time was spent on performance.
Written in Rust, with 8k line of code and 15k lines of tests, 96% coverage. Formal verification with Lean 4 is in progress (see /formal), also consistency checking with elle/jepsen is in progress.
It was officially Intel-compiler + Windows/Linux only; the port gets it building with gfortran on macOS/arm64, PETSc+MPI solver and all. Fable and GPT-5.6 chewed through the compiler warnings, dependency hell, and portability bugs largely on their own. 30 or so bugs uncovered and fixed along the way, several of them real and platform-independent.
I'm not a C or Fortran dev. Mostly I argued with the agents about benchmarking methodology and told them to re-measure when the numbers looked off. The rest was up to them. Still amazed about this AI thing going on
I ported a decades-old piece of scientific software (Delft3D — Deltares' Fortran hydrodynamics engine) to run natively on Apple Silicon. From my phone, mostly, because I could (and because AI could). Runs pretty decently on a Mac Studio M3 now. It was officially Intel-compiler + Windows/Linux only; the port gets it building with gfortran on macOS/arm64, PETSc+MPI solver and all. Fable and GPT-5.6 chewed through the c…
"what if… economics", a simple one-page economics simulator: https://whatifeconomics.com I wanted to have a place to see the effect of changing macroeconomic factors, e.g. interest rate, inflation, unemployment, etc. It's designed to show economic relationships for non-experts. Source code: https://github.com/tagawa/what-if-economics/tree/gh-pages