I chatted with @ATechGirl from @supabase on her 25 years of experience as a developer, her time as the project lead of Vitess, her work on Multigres, and databases at Supabase in general.
No paywall, give it a read.
Show more
Worth a read: @evan_j_chu, @nrehiew_, @manazane, @yoshiyama_akira, & @brendanigraham at @ProximalHQ write about their post-training infrastructure.
Also: @oxidecomputer raised a $445M Series D. And @elastic is hiring on search algorithms team in the US.
Show more
@eatonphil the best filter for "real systems job" i've found so far. most boards think kubernetes yaml counts as infra
@EliasDaler Some minimal personal sites I used as inspo for my own:
Chris Lattner
Carson Gross
Blaž Hrastnik
Thorsten Ball
Phil Eaton
Gustavo Pezzi
Show more
8 of the Lean formalizations in OpenAI's repo are "broken" (trivially provable with wrong proofs):
Over 10,000 open software jobs now indexed on The Consensus, at nearly 900 companies building software infrastructure.
Over 10,000 open software jobs now indexed on The Consensus, at nearly 900 companies building software infrastructure.
The plot thickens.
"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."
After six years in stealth, Atomic Machines is out. Our mission: on-demand, universal command of matter. First beachhead: the Matter Compiler, an AI-native manufacturing system that builds working micro-machines from code alone. No per-product tooling. No process development. Different code, different machine.
Show more
This is a fun post about an intern project this year that focused on improving Aria, our internal message bus and state-machine-replication system.
A nice example about how interns get to do real, impactful work!
Show more
The newly minted Nobel Prize winner Anne Carson shared a book recommendation and some timeless writing advice at the 2024 National Book Awards.
Worth a read: Maximilian Wilhelm from @Hetzner_Online writes about the history and design of their network stack.
Also: @luminal_ai raised a $29M Series A. And @cloudflare is hiring a Performance Engineer, Kernel and Memory in Austin, NYC, or DC.
Show more
They have withdrawn 3 connected papers “solving” a case of the Hodge conjecture.
One of them had a sign error that invalidated the argument, and with it the other two.
The subscription models can easily find that error. So they rushed to put out a partial result on a Millennium problem without even checking it twice.
That’s the level of care, the seriousness, with which mathematics was approached here.
LLMs are an amazing tool for doing math. But using them like this is just irresponsible.
Also, they have already benchmarked these models on proving big theorems. I’d love to hear what investors think about all of this.
Show more
What confs are folks going to these days? Preferably a product agnostic conf for general indie web/tech minded folk that is also reasonably priced (< 500USD)
Two things that trigger my flight response: “let me tell you about my dream last night” and “let me tell you about my AI workflow”
The math results yesterday are truly incredible.
This one for instance. I spent a ton of time implementing different integer multiplication algos back in school. The time complexity of this new algorithm is so deeply psychotic and unsettling lol.
Show more
Worth a read: @mraleph writes about microbenchmarks in the age of AI.
Also: @gmi_cloud raised a $223M Series B. And @FormEnergyInc is hiring a Manager, Site Reliability Engineering in Berkeley.
Show more
Worth a read: @RitchieVink from @DataPolars announces the release of Polars 2.0.
Also: @namespacelabs raised a $42M Series B. And @motherduck is hiring a Software Engineer on the database team in Amsterdam.
Show more
