@rizbicki I’m so ancient now that when I use VIM for teaching it’s retro cool :-)
English
Graham Hutton
3.1K posts
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Nottingham, UK Katılım Ocak 2018
696 Takip Edilen8.6K Takipçiler
A student recently told me: "Apparently, you can now use LaTeX locally on your computer. We don't need Overleaf anymore."
The old becomes new again, helped along by Overleaf becoming really slow.
English
@headinthebox @tunguz We have ikea stuff that is 30+ years old and still going strong :-)
English
This is a major problem across all big companies, especially in tech. Hiring and firing are all highly streamlined, but internal job marketplaces are virtually nonexistent. Absolutely bonkers and no one is even considering making changes in any of this.
Zach Wilson@EcZachly
Meta reached to interview me for a principal role the same week they decided to layoff 8,000 people! I’m sure there was at least 1 out of those 8,000 people who got let go who would’ve been a good fit for the role they wanted to hire me for. A few of my staff engineer friends got let go so I know this is true. Instead they: - axe everybody - treat them like a cost - rehire where there’s pain What ever happened to employee retention? Why do companies expect us to be loyal to them if they don’t even try to retain us when they have hundreds of billions of dollars? It would be cheaper financially for them to retain one of those 8,000 people. It would be cheaper emotionally for the people who got let go too How do these big tech companies expect people to put their blood, sweat and tears into work while also saying, “yeah we’ll cut you at any moment.” I don’t know. The culture around AI and layoffs has gotten unbelievably toxic
English
@paulg Ah - I though it was supposed to say “More people get richer from starting companies now than did in 1982” but the sentence does indeed parse fine as it stands. Somhow my brain wanted to read it differently :-)
English
Sure you can earn a billion dollars. I've been teaching people how to do it for 20 years. The way you do it is to start a company that grows fast. You don't have to do anything bad to make a company grow fast. You just have to make something people want.
paulgraham.com/ace.html
Marco Foster@MarcoFoster_
AOC: “There’s a certain level of wealth and accumulation that is unearned. You can’t earn a billion dollars. You just can’t earn that. You can get market power, you can break rules, you can abuse labor laws, you can pay people less than what they’re worth, but you can’t earn that”
English
If you want to know why people who get rich get so much richer now than they used to, I explained that too.
How People Get Rich Now: paulgraham.com/richnow.html
English
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2026. Please share! tinyurl.com/jfp-phd-abstra…
English
If you are into functional pearls, you might enjoy this podcast on "The Calculated Typer" by Aaron Stump: pca.st/rqqgrxpt.
English
@paulg The sliding window I work to as an academic is 5 years - some things take a long time to come together :-)
English
Something I taught 14 yo: Most progress is a mix of steps forward and steps back, just with with more of the former. But you can get a run of steps back. So to judge progress accurately you need to use a big enough window, or it could look like you're failing.
English
@functi0nZer0 You after the Y combinator with the brackets done wrong? I can sort you out.
English
Crowdsourcing UK folks:
Anyone know of or can recommend any stand-out linework/technical tattoo artists?
Don't mind where in the country they are - I'm down the IG rabbithole and asking folk I know, but figure the hive-mind might show me someone I'd otherwise miss
English
Just a few days left now to register for the Midlands Graduate School (MGS)! Eight fantastic courses on type theory, category theory, lambda calculus and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 29th March. tinyurl.com/MGS-2026
English
@uncledoomer I am 37 years old and still unapologetically wear the Black Vanilla roll-on daily
English
English
Great to have Andy Gordon visit the FP lab today and give a talk on his work with @zacgarby and Dave Sands on the LLMbda calculus!
English
Registration is now open for the Midlands Graduate School (MGS) in Nottingham! Eight fantastic courses on type theory, category theory, lambda calculus, and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 22nd March. Please share! tinyurl.com/MGS-2026
English
@Artisharma1123 @JohnnyPusztai No ghee involved - just a standard beef bourguignon recipe.
English
@haskellhutt @JohnnyPusztai It looks really delicious and tempting. Could you please tell me if that is ghee poured on top of it?
English
Haven't made beef bourguignon in ages, but the lost-in-time days between xmas and new year is a perfect chance to have another go. It took most of the day, but worked out really well. Many thanks to our local butcher @JohnnyPusztai for the excellent beef!
English
@satnam6502 Our youngest son T also has a Paulin and loves it. Check out Anordain too, which is from the same company but a bit more fancy dials.
English
Adult watch on, in preparation for meeting fellow Paulin Glasgow devotees tonight.
English
@headinthebox Similarly, funding agencies should sprinkle smaller amounts of money around rather than spending huge amounts on big projects. The game changing ideas usually come from one person having a good idea rather than big projects.
English
That is the best strategy and how all great products get born. Then when the bureaucrats, bean counters, and regulators come marching it, all bottom up innovation dies, and is replaced by centrally planned big bets. Which by definition will fail.
Proof at Meta: HHVM vs Reality Labs.
Pedro Domingos@pmddomingos
Anthropic has no strategy. Claude Code started as someone's side project, and so did Cowork and MCP.
English
@headinthebox I still take pleasure in manually formatting my code. I also like to make sure my latex source looks nice, even if nobody else ever sees it. Simple pleasures :-)
English