glen

4.3K posts

glen banner
glen

glen

@glensarge

software engineer

London Katılım Temmuz 2009
248 Takip Edilen582 Takipçiler
glen retweetledi
lotz
lotz@lotz84_·
Haskell をホスト言語に CIC(CoC + 帰納型 + 累積的宇宙)を Locally nameless + Normalization by Evaluation + 双方向型検査 で実装した定理証明器を自作、その上で等式型や自然数の定義から加法の交換法則の証明まで実装した🧑‍💻 帰納型は定数を解決する機構を用意して後から追加できるようにしてる
lotz tweet media
日本語
13
45
444
54.7K
glen
glen@glensarge·
@__tosh So frustrating, following other providers doing the same too.. Anyway, at least we can watch videos of cats piloting planes and stuff
English
0
0
0
54
Thomas Schranz 🍄
Thomas Schranz 🍄@__tosh·
RAM shortage is hitting Hetzner 30%+ pricing increase is coming
Thomas Schranz 🍄 tweet media
English
3
1
4
764
glen
glen@glensarge·
@awnihannun I was having fun recently with taking advantage of lisp with llms for similar reasons, i didn't tightly couple it but it still felt way more intuitive than current paradigms - glensargent.com/living-servers
English
0
0
1
243
Awni Hannun
Awni Hannun@awnihannun·
Looking at the recursive LM (RLM) paper this morning. It's actually quite simple and nice idea: give the LM a REPL. The paper is marketed as solving long-context. But I think the key nugget is to give the LM a REPL. The REPL is useful because: - Execute code in it -> let's you compute things - Has a function to query a sub LLM (basically sub-agents) - Can hold arbitrary state (like new variables etc). Also I understood the paper much better by reading the system prompt than the actual paper 😅
English
17
15
299
20.5K
glen
glen@glensarge·
@Tocelot @rork ... and a well documented reference for it to copy...
English
0
0
0
65
Jon Lai
Jon Lai@Tocelot·
@rork Pokemon Go took 5+ years to develop (plus Ingress dev time) - pretty incredible all you need is Rork Max today!
English
3
1
13
4.2K
Rork
Rork@rork·
Introducing Rork Max AI that one-shots almost any app for iPhone,  Watch, iPad,  TV &  Vision Pro. Even Pokémon Go with AR & 3D. Max is a website that replaces Xcode. Install on device in 1 click. Publish to App Store in 2 clicks. Powered by Swift, Claude Code & Opus 4.6.
English
661
1.4K
18K
8.6M
glen
glen@glensarge·
frontend + websocket server with some lazy prompts
English
0
1
5
131
glen
glen@glensarge·
I created a living server, no restarts, no downtime, no deployments, I talk to it and it patches itself real time glensargent.com/living-servers
English
1
2
9
229
glen
glen@glensarge·
@flikQ nvm im blind, literally says watch live on home page
English
1
0
0
18
glen
glen@glensarge·
@flikQ do you support live events too or is it only for past races? for watch along livestreams etc?
English
1
0
0
21
Gavin Weeks
Gavin Weeks@flikQ·
Ive been working on something special ready for the 2026 #f1 season & #F1Testing , it's not unique as it's a timing platform but it's free and I am working on some cool features not available on others. Trying to get a good level of polish - check it out deltasync.pro
Gavin Weeks tweet media
English
2
0
3
334
glen
glen@glensarge·
@James_paul_dev @ChShersh @_trish_xD theres simpler languages that can do the maths better, people write python cause people write python, not because its the best at anything
English
1
0
1
73
James
James@James_paul_dev·
@ChShersh @_trish_xD I love c++ bt you should understand why many people choose python over c++ for ai/ml. The reason is ai/ml requires more maths, stats and probly knowlege and they don't care about performance, they want simple programming language so that can try different experiment quickly.
English
3
0
4
522
trish
trish@TrisH0x2A·
What's your unpopular opinion about software engineering?
English
182
4
179
33.2K
glen
glen@glensarge·
@ChShersh Any time you wish you were writing haskell for real time market work instead?
English
1
0
1
334
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
9 months ago, I moved from a decade of using Haskell and OCaml to C++. I used to work on REST API microservices and CLI tools. Now I write realtime market data handlers. I’m still not used to the new job. It feels like a completely different industry to me.
Dmitrii Kovanikov@ChShersh

Huge announcement. I'm leaving Bloomberg as an OCaml Engineer. And.. I'm joining Bloomberg as a C++ Engineer. After using Functional Programming primarily for the last 10 years, it's time for me to switch gears. I moved to another team internally. I'll be working on low-latency real-time market data in C++. It's a big change for me. But I'm excited about a new challenge! AMA

English
12
3
151
15.1K
AllYourTech
AllYourTech@blovereviews·
@imbktan Talk to me in 4 years when your team of human developers have turned your code bases into spaghetti that no one understands with a mountain of tech debt .
English
11
0
156
25.1K
Jacky
Jacky@imbktan·
Our engineer flat-out refuses to use AI IDEs like Cursor or Claude Code. He will use LLMs to look things up or proofread, but he will not let them touch the actual code. That is basically turtle speed compared to using an AI IDE, so yeah, we ship slower. But at least I can sleep at night knowing the codebase will not slowly turn into auto-generated spaghetti that nobody really understands and that becomes expensive technical debt later.
Ishaan Sehgal@ishaansehgal

Talked with a senior engineer who's been coding for 15 years. Loved the craft, mentored juniors, built systems from scratch. Just quit. Here's what broke him: His entire job became prompting AI and reviewing generated code. The actual engineering, the part he loved, disappeared.

English
323
213
6K
629.5K
PRIZ ;]
PRIZ ;]@VoxelPrismatic·
@Pirat_Nation >Requiring in-game add-ons to be purchased only through Steam You mean to tell me that you can only purchase DLC from the seller of the original game so they know where to place the files!?!?!? WOW!
English
6
10
508
40.5K
Pirat_Nation 🔴
Pirat_Nation 🔴@Pirat_Nation·
Valve faces a £656 million UK class-action lawsuit over Steam pricing and commissions. Brought by digital rights campaigner Vicki Shotbolt on behalf of up to 14 million UK Steam customers since June 2018, the claim alleges Valve abused its dominant market position by: >Forcing publishers to avoid cheaper/earlier sales on rival stores >Requiring in-game add-ons to be purchased only through Steam >Charging up to 30% commissions, described as excessive and leading to higher consumer prices The tribunal granted an opt-out collective order eligible UK residents are automatically included unless they opt out. Estimated damages: roughly £22–£44 per person (higher in Scotland). Valve has not commented publicly since the ruling.
Pirat_Nation 🔴 tweet mediaPirat_Nation 🔴 tweet media
English
629
196
4.8K
634.1K
glen
glen@glensarge·
@vintrwt @Itsfoss horrifying opinion, do you just think everyone should be mediocre at everything?
English
0
0
0
6
Vineet Rawat
Vineet Rawat@vintrwt·
Either use nano for minor edits or VS Code for major changes. The same logic applies to operating systems: Use a polished OS like macOS or Windows, or choose Ubuntu, Pop!_OS, or Linux Mint if you want something free, solid, with good hardware support and sane defaults. I've been a distro hopper myself. The "I use Arch, btw" flex is temporary. After a certain point in life or career, most devs quietly switch to "I use whatever lets me ship fastest with the least mental overhead."
English
3
0
2
120
It's FOSS
It's FOSS@Itsfoss·
Why Vim? When Nano is so much simpler to use.
English
250
26
553
72.7K
glen
glen@glensarge·
@dieworkwear love jjve, especially some of the sweaters and coats from previous seasons, but always so impossible to find
English
0
0
0
55
derek guy
derek guy@dieworkwear·
been really digging jan jan van essche. this is the fall/winter 2026 collection. IG stylezeitgeist and janjanvanessche
derek guy tweet mediaderek guy tweet mediaderek guy tweet mediaderek guy tweet media
Nederlands
29
94
1.8K
112.6K
glen
glen@glensarge·
@EnergyThen @tritlo they’re unbelievably unimpressive, but tbh all those ruby shops are the same (shoutout HEY, which have something like 1 cpu per mau) - 3.18 million cpus for 320m requests per minute, are you mad!?!?!? sounds like a complete disaster, i actually can not understand it
English
0
0
1
19
Henry
Henry@EnergyThen·
@glensarge @tritlo Precisely, not just anything will scale even given infinite compute. But Shopify is probably the least interesting example anyone can think of. Scaling Shopify to millions of tenants is the simplest distributed architecture challenge there is, solved by textbook sharding.
English
1
0
0
55
glen
glen@glensarge·
@RoyShilkrot you have a blog called 'How to love coding' which talks about it being fun
English
1
0
1
56
Roy Shilkrot
Roy Shilkrot@RoyShilkrot·
“Programming is no longer fun” is where the issue is I think. It should never have been “fun” For “fun” please play a game or step outside and kick a ball around. Building software is about making someone else’s life easier through automation. It’s a pursuit, not leisure.
Dmitrii Kovanikov@ChShersh

I vibe-coded my first app today using Claude Code. 1 hour to do what would have taken me a whole weekend before. Programming is no longer fun. But building is more fun than ever.

English
17
1
41
5.5K