Joined October 2017
- Tweets 5,420
- Following 1,198
- Followers 888
- Likes 8,251
293 Photos and videos
π¨ππ
πππ πΊππππππ π΅πΈ retweeted
I wanted Codex to find usages of [key: foo | bar] in Elixir's codebase. It grepped first, but got too many false positives.
BUT, since Elixir's AST is quite uniform, it chose on its own to write a script that parses all files, scans the AST, and gave me precise locations.
WILD.
8
13
196
10,922
tonsky.me/blog/syntax-highliβ¦
Interesting article. Iβd like to see more themes use background highlighting.
102
alexispurslane.github.io/rsyβ¦
Truly bizarre. I understand dislike for gen AI among artists, but if your an anti AI programmer, whatβs your problem? Are we even using the same AI?
1
120
π¨ππ
πππ πΊππππππ π΅πΈ retweeted
Jun 4
Announcing deflua.com π
The new home for Lua, the pure-Elixir Lua 5.3 VM for @elixirlang.
Scriptable, sandboxed, stupid easy.
Embed untrusted code (AI agent tools, user formulas, plugins) all on the BEAM, zero NIFs.
Plus a live playground π
12
37
242
9,737
π¨ππ
πππ πΊππππππ π΅πΈ retweeted
Jun 3
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
56
307
1,466
116,448
nocoffei.com/?p=451
Amazing article about Wayland and accessibility
95
lobste.rs/s/axg3ga/i_am_retiβ¦ not to be a hater but this genre of post is so performative and lame. Lots of people would kill to get a job in tech. Of course Iβm all for improving the working conditions of tech workers but come on, letβs not act like itβs some huge psychological toll.
1
1
138
The power of two toddlers to create a mess of your home is terrifying to behold
66
Did you know GitHub mobile app has push notifications
88
Thatβs very nice
11
815
This is more or less what the majority of our large dev team at work has come to the conclusion on too. Iβm not sure if itβs the model or the harness but codex has far surpassed Claude code now.
May 20
Alright, after a full week with Codex, I understand why folks like @chris_mccord and @antirez have been praising it.
Itβs far more thorough than Claude Code. When you ask for a change, it does a better job of understanding the system and the different areas that will be affected.
The only downside is that it can sometimes overreach on smaller changes, but thatβs partly because Iβve been feeding it piecemeal requests. Iβm starting to trust it with larger tasks now, something I didn't feel much comfortable before.
1
6
4,115
If you donβt understand CSS itself youβre going to have a bad time using tailwind.
Thatβs not an indictment of tailwind, itβs just a fact that you should probably learn some fundamentals firstβ¦
4
352
I think Iβve settled on the arrangement that, in terms of productivity tools, Iβm comfortable using Notion for anything that may ever be public, and Obsidian for everything that I never want public
2
153
Interesting article on pitfalls of WebRTC (compared to tcp) for transmitting audio when building real time voice interfaces for AI: moq.dev/blog/webrtc-is-the-pβ¦
1
134
Iβd argue TCP was the better choice here.
When your building a 100 participant google meets call product, UDP vs TCP matters a lot.
When youβre building a two way conversation where one half isnβt even real timeβ¦ TCP is fine.
81
Iβm becoming really fascinated by DVD. Did you know dvd had its own virtual machine that ran on the firmware of the player?
This included an instruction set that allowed for the creation of interactive features like menus: en.wikibooks.org/wiki/Insideβ¦
1
1
100
Claude Code is amazing, but I'm afraid Codex is where its at right now
1
142
hot tip--you can:
gh pr checks --watch
to automatically watch your PR checks in the term.
I used to do `gh run watch`, which is nice, but shows you one workflow only. For complex CI setup the former command surfaces everything to you much better.
4
122
π¨ππ
πππ πΊππππππ π΅πΈ retweeted
Mar 31
so... I audited Garry's website after he bragged about 37K LOC/day and a 72-day shipping streak.
here's what 78,400 lines of AI slop code actually looks like in production.
a single homepage load of garryslist.org downloads 6.42 MB across 169 requests.
for a newsletter-blog-thingy.
1/9π§΅
Absolutely insane week for agentic engineering
37K LOC per day across 5 projects
Still speeding up
345
622
7,654
2,787,074