satty
617 posts

satty
@sattwyk
software engineer. building https://t.co/guC0RxDOsf. tweets about code & critical rationalism.



We are working to restore the Google Cloud infrastructure that powers our dashboard, API, and internal network's control plane. We are in direct contact with Google Cloud's support team. We do not have an ETA at this time. We will continue to post updates on status.railway.com


The new Gemini 3.5 Flash solved the HVM3's wnf bug in 1/3 attempts. This is my main test to take a model seriously. So far only the big models like GPT 5.5 solved it. And seems like it is 20x faster than Opus 4.6 ! Promising but Google will still find a way to fuck up

Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.

Turso wants to match and surpass SQLite's reliability. When I say "surpass", usually ppl just look funny at me. But this is one such example: One of our OSS contributors have just found 10+ bugs in SQLite using validation he built for Turso. @pavan4820 used @quint_lang to build a formal model of the system and then executed its traces to find corner cases where SQLite deviated from the spec. It is a great demonstration of how modern reliability tools, formal methods in particular, can lead to reliable systems and find *many* issues even on the most stable software on Earth. Read more: turso.tech/blog/how-we-us…



brb rewriting bun in lisette lisette.run

"You cannot govern a technology you have only been briefed on." Singapore Minister for Foreign Affairs, Dr. @VivianBala, echoing @karpathy and @yacineMTB on why he runs NanoClaw: "you can outsource memory and computation, but you cannot outsource your understanding" x.com/VivianBala/sta… He also shared his tech stack for running his second brain for Singapore's Foreign Affairs Ministry and parliamentary affairs: - @AnthropicAI Claude Agent SDK - Baileys + WhatsApp - Mnemon (Graph Memory) - @ollama + @nomic_ai - @ggerganov Whisper.cpp + OneCLI With special notes on how he handles security and isolation, and what implications he sees for Singapore Inc.


Social proof is all the enemy has



General Catalyst just co-led a $31.5 million seed round into a blatant rip-off of my company, Kled. (skip to 40 seconds if you want to skip context) I would typically not speak on things like this, but this level of blatant copycatting is egregious and completely unacceptable, and needs to be made an example of. This is one of hundreds of YC startups who have conducted this disgusting behavior. Unimaginative slop that continues to get rewarded due to nepotism.



We on the @EffectTS_ team we often recommend cloning the Effect repo into your project so your agent can explore the source directly. I finally wrote up why it works and how to set it up: effect.website/blog/the-one-w…



