glen (@glensarge) header
glen (@glensarge) profile picture

software engineer

London
Joined July 2009
Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)Photo by glen (@glensarge)
it's never been good for humans either
it makes absolutely no sense to me why everyone is mainlining nodejs/typescript still tbh. typescript is good for humans, humans no longer the target to design for.
1
153
“teaching engineers to build production AI systems” in bio
Claude Code wiped our production database with a Terraform command. It took down the DataTalksClub course platform and 2.5 years of submissions: homework, projects, and leaderboards. Automated snapshots were gone too. In the newsletter, I wrote the full timeline + what I changed so this doesn't happen again. If you use Terraform (or let agents touch infra), this is a good story for you to read. alexeyondata.substack.com/p/…
180
Haskell をホスト言語に CIC(CoC + 帰納型 + 累積的宇宙)を Locally nameless + Normalization by Evaluation + 双方向型検査 で実装した定理証明器を自作、その上で等式型や自然数の定義から加法の交換法則の証明まで実装した🧑‍💻 帰納型は定数を解決する機構を用意して後から追加できるようにしてる
12
41
8
436
55,071
I created a living server, no restarts, no downtime, no deployments, I talk to it and it patches itself real time glensargent.com/living-serve…
1
2
9
264
frontend + websocket server with some lazy prompts
1
5
158
you can get an m4 mac mini for the price of 32gb ram
Tech Companies: "omg RAM prices are insane. We have to raise prices of our products RIGHT AWAY!" Apple: "Here's 20% off on our M4 MacBook Air with 16GB of RAM!" Apple cares about long-term market share and services revenue, not short-term margins. Link: geni.us/ozXeb
2
266
adding fake types to a bad language just leaves you with a bad language that has fake types - plenty of real alternatives (shoutout reasonml)
TypeScript is the best thing that ever happened to JavaScript.
2
161
proper sad state of affairs when people are citing typescript as a go to example of static typing
Here's the shortest way I know how to explain why static types aren't a substitute for unit tests. Types declare contracts, and that is valuable, but they do not describe nor control runtime logic.
1
151
the actual ui part of lg is less important to me than the having keyboard shortcuts in terminal for git part, which i think is its actual value prop
Never used lazygit and never felt a need for it, but, man, now I'm using jjui a lot and it's fantastic. If you're already on the Jujutsu train: try out jjui.
147
Krunker Users 👋 I got early access to API requests and made a stream overlay that allows you to equip items if you own them! 😼 Which items should I add next? Basically all dyes are done! 👀 Live now for a bit testing it out: twitch.tv/code_barrybee
1
4
579
Got into an argument with someone who doesn’t feel that AI is making them more productive. Said that not arguing about productivity but I would not have been able to write - History navigation and command editing for ocamldebug - DWARF debugging information for native OCaml debugging on macOS - Static binaries for Julia - A brand-new Lisp compiler that generates machine code for two platforms - A non-LLVM Zig backend for macOS - A bunch of complex Rust PRs - A Lisp-based cross-platform app all in the span of 1 month without AI. Am I being productive? Beats me! Am I putting out a metric shit-ton of working code? It sure looks like it!
230
not to shill for epic games here but their value prop for indie developers is much more enticing, steam feels like the only platform in the world that for some reason, doesn't ever get criticised for it's effective monopoly and also, just ftr, completely sucks to use ?
Gabe, after getting his 30% from someone's 7-year project that makes $8
141
holy shit, I just found out there is a whole category of bugs that aren't related to memory safety is anyone working on creating a language to prevent these?
7
30
2
746
54,966
"off chain nfts" the single funniest statement i've heard this year, web3 guys are so cooked
polygon.com/counter-strike-c… Steam implements items as basically off-chain NFTs - they benefit from the secondary market when it suited them, then evaporate all economic value when it doesn't. Every time something like this happens it's a pull to more decentralized approaches.
3
121
the privilege of not having to experience 'price on request' enterprise plans
actually this is my number 1 reason I don't have trust in them. What ARE they getting out of this to survive. how does cloudflare actually make money.
280
it is a rancid experience compared to purpose made fp languages, but decent experiences still exist, especially in languages that are more expressive, effect in typescript is quite nice, fp-go is a chore
Hot take: functional programming in languages that weren't designed for it is often a horrible experience. You're better off using them as intended.
1
1
270
it is generally a*
1
176
wait til he finds out what most apps are made with
This Post is from an account that no longer exists. Learn more
1
360