Alastair Morrison

42 posts

Alastair Morrison

Alastair Morrison

@AlasMor

가입일 Aralık 2017
33 팔로잉5 팔로워
Alastair Morrison
Alastair Morrison@AlasMor·
@satnam6502 More broadly, there are so many people talking about "The future of work" (for us humans) :-)
Alastair Morrison tweet media
English
1
0
0
120
Alastair Morrison 리트윗함
History Nerd
History Nerd@_HistoryNerd·
This is Namibia, where the desert meets the ocean
History Nerd tweet media
English
1
31
279
15.4K
Alastair Morrison 리트윗함
Yoshua Bengio
Yoshua Bengio@Yoshua_Bengio·
This article from @TheEconomist offers an accurate overview of key dynamics shaping the development of AI today: the risks of the rapid race toward AGI and ASI, the challenges posed by open-sourcing frontier models, the deep uncertainty revealed by ongoing scientific debates and much more ⬇️ economist.com/briefing/2025/…
Yoshua Bengio tweet media
English
14
49
240
19.1K
Alastair Morrison 리트윗함
Satnam Singh
Satnam Singh@satnam6502·
So what I plan to order tomorrow is a 14-inch MacBook Pro with a M4 Pro processor, 48GB of RAM and a 1 TB disk. Considerations that made me pick the Macbook Pro rather than the Air include Thunderbolt 5 ports (e.g. for multiple high-spec monitors), built-in HDMI (I give a lot of talks), 48GB RAM (Airs max out at 32GB, theorem provers and other tools I use are very memory hungry), brighter screen for my old eyes and a fan to keep things chugging along while cracking on heavy duty jobs and proofs. Thank you everyone for your kind advice. Still one day left to make me change my mind! Next choice to be made... a desktop Linux machine.
Satnam Singh tweet media
Satnam Singh@satnam6502

I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Lean4, Agda, SVA formal verification jobs using Tabby CAD from YosysHQ, ML frameworks like MLIR and OpenXLA, and some large Haskell programs. So all this points to the MacBook Pro (and the extra HDMI etc. ports are nice) but if the whole point of a laptop is to be light and portable perhaps I should get the MacBook Air and hope it has enough juice to keep me productive. In that case it might make sense to pair it with a beefy Linux machine which I can use via VS Code's remote feature (my typical mode of use recently anyway). Any advice very welcome, esp. from theorem prover and hardware CAD users. apple.com/shop/buy-mac/m…

English
25
6
169
30.7K
Alastair Morrison 리트윗함
Erik Meijer
Erik Meijer@headinthebox·
Here is a more down-to-earth way to think about the effect of AI on coding. I’m sure all the farmhands in the early 1900s argued that a combine harvester couldn’t possibly do the job as well as they could by hand. And yet, here we are.
Erik Meijer tweet media
English
4
6
29
10K
Alastair Morrison 리트윗함
Chris Packham
Chris Packham@ChrisGPackham·
A massive crowd of people standing around watching a chimney and two nuclear powers bombing the shit out of each other . Another day on the only planet in the known universe where we know there is complex life . Frankly , I’d rather be an amoebae . . . I’d be less ashamed
Chris Packham tweet media
English
156
267
1.8K
50.4K
Alastair Morrison 리트윗함
Scalextric
Scalextric@Scalextric·
🏎️ Planning a day out this Easter? 🏁 Don’t forget to visit The WonderWorks in Margate — the home of Hornby Hobbies and a must-see for model and motorsport fans alike!
Scalextric tweet media
English
0
8
105
2.6K
Alastair Morrison 리트윗함
Scalextric
Scalextric@Scalextric·
Two icons, one question… Austin Mini Cooper S or Ford Lotus Cortina — which would you take to the track? 🤔 Austin Mini Cooper S 👉 bit.ly/3WyxKrj Ford Lotus Cortina 👉 bit.ly/4g9VaKy
Scalextric tweet media
English
4
10
98
2K
Alastair Morrison 리트윗함
Scalextric
Scalextric@Scalextric·
This trackside marshal is a little furrier than usual… Meet Karl’s cat, keeping a close eye on the racing action from the best seat in the house!
Scalextric tweet media
English
3
8
106
2.5K
Satnam Singh
Satnam Singh@satnam6502·
We celebrated 35 years of being a couple with a lovely meal at the Tasting House in Los Gatos.
Satnam Singh tweet media
English
11
4
193
6.7K
Satnam Singh
Satnam Singh@satnam6502·
This is the Silicon Valley I moved to in 1998, leaving my academic position at the University of Glasgow to join a silicon chip company called Xilinx (now AMD). It was a very different time, a very different vibe. I miss it.
Evan Kirstel #B2B #TechFluencer@EvanKirstel

Silicon Valley in 1999: A beautiful ecosystem of tech companies. Silicon Valley in 2025: A beautiful ecosystem of overpriced coffee shops, AI startups burning VC cash, and people debating remote work on LinkedIn #FlashbackFriday

English
10
10
140
13.5K
Alastair Morrison 리트윗함
The Rejoin EU Party
The Rejoin EU Party@RejoinP·
🇪🇺 🚨 4,286 signatures! 🚨🇪🇺 We are just 5,700 signatures away from forcing Parliament to comment on a Brexit Impact Assessment. 🇬🇧❤️🇪🇺 💙 If you haven’t signed, now is the time. 📢 If you have, SHARE this. Let’s hit 10k! ✍️ Sign here: petition.parliament.uk/petitions/7001… #ExitBrexit #TeamEU
English
10
145
236
4.8K
Cody Alt
Cody Alt@CodyAlt·
Your brain is being destroyed every night. Not because you aren't sleeping enough. But because you're making one simple timing mistake. Here are 7 science-backed ways to transform your sleep tonight:
Cody Alt tweet media
English
19
167
900
250.2K
Alastair Morrison
Alastair Morrison@AlasMor·
@CodyAlt Great tips about sleep! Thanks! What is the name of the guy being interviewed? He could be worth following.
English
0
0
0
87
Alastair Morrison 리트윗함
The Rejoin EU Party
The Rejoin EU Party@RejoinP·
💥WE DID IT! 100,000 SIGNATURES!💥 Parliament must now debate rejoining the EU! 🇪🇺The movement is real! 🇪🇺Brexit has failed! 🇪🇺Don't ignore us anymore! This is just the beginning! Join a party that intends to fix Britain! therejoineuparty.com #ExitBrexit
English
219
395
1.2K
28.2K