Alex Krieger (@kregasaurusrex) 's Twitter Profile
Alex Krieger

@kregasaurusrex

Software engineering/ML in Python, grinding leetcode, beating financial algos, and spending too much time in cyberspace. Speedrun the tech tree! #dogecoin

ID: 566544817

linkhttp://11x.engineer calendar_today29-04-2012 18:17:12

4,4K Tweet

219 Takipçi

1,1K Takip Edilen

SETI Park (@seti_park) 's Twitter Profile Photo

🚨SPACEX PATENTS THE BANDWIDTH ENGINE BEHIND STARLINK DIRECT-TO-CELL How do you turn 9,500 LEO satellites into a seamless cellular network without wasting half the bandwidth on housekeeping? That is the core infrastructure problem SpaceX addresses in US 12,542,605 B1, granted

🚨SPACEX PATENTS THE BANDWIDTH ENGINE BEHIND STARLINK DIRECT-TO-CELL

How do you turn 9,500 LEO satellites into a seamless cellular network without wasting half the bandwidth on housekeeping? That is the core infrastructure problem SpaceX addresses in US 12,542,605 B1, granted
Axiom (@axiommathai) 's Twitter Profile Photo

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance. This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.

This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.
OpenAI (@openai) 's Twitter Profile Photo

We worked with Ginkgo Bioworks to connect GPT-5 to an autonomous lab, so it could propose experiments, run them at scale, learn from the results, and decide what to try next. That closed loop brought protein production cost down by 40%.

LaurieWired (@lauriewired) 's Twitter Profile Photo

We take randomness for granted. Early PRNGs were BAD. Thousands of scientific papers used to rely on RANDU, created by IBM in the 1960s. In 1D space, it looks ok! Map in 3D…you start to see the issues. Now, there *was* a better solution...but it would cost you.

Greg Brockman (@gdb) 's Twitter Profile Photo

Software development is undergoing a renaissance in front of our eyes. If you haven't used the tools recently, you likely are underestimating what you're missing. Since December, there's been a step function improvement in what tools like Codex can do. Some great engineers at

taka company (@takacompany1) 's Twitter Profile Photo

ブルーアイズを塗らせていただきました。 カードイラストに近い雰囲気に仕上がったと思います。

ブルーアイズを塗らせていただきました。
カードイラストに近い雰囲気に仕上がったと思います。
old toons (@oldtoons_) 's Twitter Profile Photo

Disney Princesses and their estimated kill count: Snow White (0) Cinderella (0) Aurora (0) Ariel (0) Belle (0) Jasmine (0) Pocahontas (0) Tiana (0) Rapunzel (0 or 1 indirect) Merida (0) Moana (0) Raya (0) Mulan (1994–2000)