
teach sand to think, give sand a telescope đ @cambridge_uni @OfficialUoM; building agentic research systems for Astrophysics & Cosmology.
Manchester
Joined October 2026
- Tweets86
- Following75
- Followers14
- Likes903
I built a scale 3D map of the universe you can fly through, from Earth to the edge of the observable universe, including 192 million stars from Gaia, 15 million galaxies from DESI, 7,000 exoplanets, and more, stitched together.
Runs in your browser with @threejs!
zoom-the-universe.gamccarthyâŚ
No background / "sky box" is drawn, every point there is a real catalogued star / galaxy.
Way more can be added, to start with it's a few large catalogues.
"Hivecoding" is here.
Hivecoding is the most powerful use of Ai that i have ever used...
25 opus 5.5 agents + top chat messages = hivecoding
Everyday i live stream and 100s of agentic engineers type fixes and improvements in my chat.
most people in my chat are real devs and much smarter than me.
i have agents run overnight, filtering out the best improvements and suggestions from chat and from my stream transcript. Last night my agents shipped 90 new changes to Kong Royale.
( 50 person battle royale im building )
i wake up to MASSIVE improvements everywhere.
the agents make changes to the stream, my production setup, our discord, etc...
The human is now the bottle neck, but not when you have 100 to 200 humans prompting your agents everyday.
They are preparing for the end times. @omarchy
Microsoft just released a Rust-based OS project designed to run Linux apps on Windows.
Itâs called LiteBox, and its first tagged release, v0.1.0, is now on GitHub.
LiteBox is a âlibrary OSâ that provides operating-system functions inside an applicationâs sandbox while limiting its access to the host system.
Microsoft lists running unmodified Linux programs on Windows among its use cases, alongside sandboxing Linux apps on Linux.
It also supports security-focused environments such as AMD SEV-SNP.
The project is open source under the MIT license, but itâs still experimental. Microsoft says its APIs and interfaces may change before a stable release.
Source: github.com/microsoft/liteboxâŚ
Brilliant article by Terry Tao on the reliability of Lean. Well done @anthropic @OpenAI on the mathematical achievments of the century, now tell me, what do those Lean proofs you're holding really mean?terrytao.wordpress.com/2026/âŚ
It's scary to think how much productivity in the South West is lost due to bad WiFi on @south_railway trains
Can you step in @Heidi_Labour?
I started to build a product but realised the majority of the functionality is best performed by the user's agent so the product will just be an MCP and UI
If you are building for technical people then this is probably the way to go
A frontier lab will solve the Riemann hypothesis by the end of the month.
But everyone thinks itâs true so if the proof is slop then is it even interesting ?
But if you are willing to hack your own calendar, task db, notes system etc. together, incur some operational risk, and trust the little tickbox that makes your AI activity private then you can get the 10x agentic speed up today.
1 week of @OmarchyMac on M1 Pro as my daily driver. No way Iâm going back to Mac OS, itâs already good enough and only getting better.
Very curious to see down the line whether Jev has a different architecture to its clones
introducing đđđđ: our first models trained by @cloudflare's workers ai team.
today, we're releasing two fast and accurate decision models that top the benchmarks for quality and latency. use them hosted on workers ai or grab the weights from @huggingface, because we open-sourced it too.
blog.cloudflare.com/clef-decâŚ
Building a tweet classifier with Jev @typesafeai
I want to be able to decide whether I see everything from someone or only tweets of a certain type.
e.g. I really enjoy tech content from @levelsio but can't follow without also getting everything else e.g. political.
hoping this does not break TOS...
also curious how much this will cost to run daily on my feed
It works great and looks to only cost $0.02 per 1k tweets. If you are only running it for a single user then it's really cheap.






