Al Merose
@al.merose.com
Differential database administrator. Machine learning for climate & weather. Ex-Google Research, Founding Member of Technical Staff @OpenAthena.ai. Tinkering with xql.systems. He/him.
LLMs in coding harnesses are 100% neurosymbolic programming. One may ask: Is NSP doomed to this arrangement, with tools and programs bolted on after-the-fact? If you disagree like I do, check out this program synthesis experiment, Kelp: github.com/Open-Athena/.... What is the right middle ground?
GitHub - Open-Athena/Kelp
Contribute to Open-Athena/Kelp development by creating an account on GitHub.
github.com
Programming is built on paradoxes. Reality has an infinite amount of detail. The programs will get more abstract, powerful, expressive, etc., but they will never go away.
maybe we get higher-level high level programming languages out of all this, for exactly that reason 🤔
A program is a specification for what a computer should do. By this definition, “vibe coding” is also coding. It matters not whether the specification is in assembly, Python, or English.
You will live to see your greatest intellectual aspirations dismissed as trivial
Here's the tale of how @jder.bsky.social and I scaled Samudra, a neural ocean emulator capable of predicting 8 years of the ocean on a single GPU, to operate at a full 1/4° resolution (16x the size in bytes). It was quite a humbling process.
Simulating ocean climate takes a supercomputer 4,600+ CPU cores to produce 12 simulated years per day (SYPD). Samudra 2 produces 4,800 SYPD on 1 GPU at the same resolution. In a new blog, @al.merose.com reports on Samudra, a neural ocean emulator built in collaboration with NYU & MIT: bit.ly/oa-ss
I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com
Logic for Programmers
Practical math for the working programmer.
logicforprogrammers.com
The trillionaire owner of Tesla and SpaceX and a major media org is posting about how we need to expel all non-white people from their countries and kill the people who oppose this. And it’s just…fine? People will still show up to work for him?
I wonder if latex support in the Bluesky client would get all the researchers over here.
I find myself writing the initial design doc with Opus 4.8, then performing adversarial refinement with Fable. This seems reasonably toke efficient to produce a high quality design.
The AI community failed to exit twitter. What implications can we draw about what people believe from this?
What it means that the AI community can't quit twitter
Some quickly jotted thoughts working through the implications of the AI community remaining on twitter
rl-blogging.leaflet.pub
I appreciate DHH's thoughts, but I disagree on where Europe's problems are, and from where I'm sitting it's not immigration. Thus I wrote a response to his post. dark.ronacher.eu/2026/7/17/li...
Europe Won’t Live By Deporting
A case for focusing on Europe’s actual problems.
dark.ronacher.eu
Claude asked for approval for calling `rm` on a local log file (metadata, meaningless), but did not ask for approval and went ahead and ran `gsutil -m rm` on a data corpus used for training 🙃
Here is my talk: “Geospatial ops are relational.” I make some bold claims here: - Specialized climate and geo libraries are unnecessary. You just need the right data model and SQL - Differentiation might be the first new component for RDBMS in decades - ML models are differential databases
DataFusion Community Showcase Vol. 1: Whereobots/SedonaDB & Xarray-SQL
YouTube video by Spice AI
youtu.be
DataFusion showcase went great! Here are my slides: docs.google.com/presentation...
DataFusion showcase went great! Here are my slides: docs.google.com/presentation...
Geospatial Operations are Relational Operations
Geospatial ops are relational: An introduction to Xarray-SQL Alexander Merose | July 2026 alex.merose.com @al.merose.com
docs.google.com
Sneak peek: I implemented a 3 layer MLP that predicts the fashion MNIST dataset using SQL (with my own autograd impl inside the database). Apparently einsum notation is better expressed as a JOIN. github.com/xqlsystems/x...
Betsy, my co-worker at OA, is doing inspiring work on materials science (see tomat.oa.dev). Check out this behind the scenes blog post to learn more about her story. 🏺
MarinMat — tokenized materials
LLM-based electron-density prediction for periodic crystals. Live runs dashboard, training-data documentation, and analysis posts. (f.k.a. tomat)
tomat.oa.dev
Betsy Cannon is a member of technical staff, where she leads material science projects RHOAR-Net, with Princeton's Rosen Research Group, and MarinMat. Read her story on learning DFT, how AI changes shared research infrastructure, and what pottery taught her about building by hand: bit.ly/oa-betsy
I'd like to announce that at @openathena.ai, @jder.bsky.social and I helped @m2lines.bsky.social release Samudra 2. We scaled this neural ocean emulator to train on 16x the size of data in bytes on the same hardware budget. We can now skillfully predict 8 years of the ocean on a single GPU at a 1/4°
🌊 Samudra 2: A Fast, Cheap AI Ocean Model, Now at the Scale That Matters
M²LInES’ neural ocean emulator now runs multi-year simulations at eddy-permitting resolution on a single GPU, turning a supercomputer-scale…
medium.com
If you’re a true believer like us (SQL is better than Python for ML), consider joining my laboratory discord, link at the bottom of xql.systems
xql.systems
Towards Relational Arrays
xql.systems
%100 serious that I think sql would be a much better way to express neural networks than python
Yes, indeed, this is cursed. This is the ghost of Michael Stonebraker’ SciDB, which is also cursed. www.theregister.com/software/201...
SciDB: Relational daddy answers Google, Hadoop, NoSQL
Stonebraker doesn't drop ACID
theregister.com
Sneak peek: I implemented a 3 layer MLP that predicts the fashion MNIST dataset using SQL (with my own autograd impl inside the database). Apparently einsum notation is better expressed as a JOIN. github.com/xqlsystems/x...
xarray-sql/benchmarks/nn.py at claude/xarray-sql-mnist-demo · xqlsystems/xarray-sql
An experiment to query Xarray datasets with SQL. Contribute to xqlsystems/xarray-sql development by creating an account on GitHub.
github.com
It turns out SQL is an even simpler for writing NNs than JAX. With this arrays-are-pivoted-tables notion, then vmap completely goes away. You just have `grad’, `jvp` and `vjp` on columns which are Nd arrays. “Hard” tensor math is a dumb JOIN. matmul is a JOIN and GROUP BY and SUM.