Keep on to blur preview images; turn off to show them clearly
AxiomProver keeps getting stronger. And @axiommathai keeps growing. I'm excited to share that Prof. Ken Ono @KenOno691 has joined Axiom as Founding Mathematician and FTE #15. He left his tenured position as STEM Advisor to Provost at UVA to build an AI mathematician with us. Here's Ken's story. (1)
Five years ago, Ken took a chance on me as an freshman undergraduate in his prestigious number theory REU program. It was one of the most transformative experiences of my life – coming from a math Olympiad background, the summer that taught me what math research was like. (2)
To people who said it's an Electron app. No, it's a native app built with SwiftUI. Same codebase, when I disable Liquid Glass, it works correctly.
Just a funny dude building stuffs @Bolt__AI. Father, learner, maker. Expect memes.
Sharing the playbook that turned years of failure into an $8m acquisition and multiple $100k+ MRR SaaS creations actionable growth tactic behind-the-scene stories no sponsors • no ads • always free Join 60k+ founders & makers here → https://t.co/U4V7DEL7Oe See you in your inbox 👇
Built Tweet Hunter, Taplio (sold $8m) Growing https://t.co/OyNJ8ZUyOh - https://t.co/jS9GQJ5Ps8 - https://t.co/EFUcKeBbpU - https://t.co/JkVOl1O0S1 - https://t.co/KG9PgxJabg Sharing weekly tips about growth: https://t.co/ereQodN3Ov
My vibe-coding story: Claude Code vs Codex CLI. For upcoming demo, I asked Claude Code (Sonnet 4.5) to generate 4 simple CRUDs, in one prompt, because I thought they were "easy and standard". 1. It worked for 10 minutes and generated code *without automated tests*, although I specifically require tests in CLAUDE(dot)md guidelines file. 2. I asked it to generate the tests, it did in 3 minutes, but when running `php artisan test`, encountered many issues and started running in circles fixing them. 3. After 10 more minutes, it returned "nah we have failures but still all cool, here's the result". 4. I asked Codex (GPT-5.1-Codex) to fix tests. It worked for 15 minutes, slowly, but delivered. Tests all green. Takeaways: 1. Don't give too big scope of work to Sonnet. Or, in fact, any LLM. 2. Codex with GPT-5.1-Codex is slower but much more thorough than Sonnet. Probably Opus 4.5 would have done better but would be more expensive. Will try next time when I have a similar task.
~20 yrs in web-dev, now mostly Laravel. My Laravel courses: https://t.co/HRUAJdMRZL My Youtube channel: https://t.co/qPQAkaov2F
RT @VittoStack: |￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣| Don’t push your private keys on GH |＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿| \ (•◡•) /…
Product & Devs Growth @Cyfrin | Ex @Alchemy | Created @cyfrinupdraft and @AlchemyLearn | Robotics | Making web3 mainstream
Shortcut：一个针对Excel的AI Agent。 场景是刚需，而且他们还提供了excel插件。 没有体验，只是记录下这个AI工具。 地址见评论。
网址 https://t.co/Qwi5bfqltz
