
craigdashonline
317 posts



@GNRailUK you literally cannot make this shit up. Why is the 6:45 from King's Lynn to London only going as far as Cambridge? This is now week four of disruption on this route. @jamesowild @TransportFocus



















Exciting @itvpeston news ITV today announces that Guardian Political Editor, Pippa Crerar will be joining the PESTON programme as co-presenter this Autumn. Pippa will bring her formidable reputation as someone who knows what is going on at the heart of British politics to the team and will get to grips with the data that best explains what is happening at home and abroad on ‘Screeny’. She will continue in her role at The Guardian, where she has been Political Editor since 2022 having previously held the same position at The Daily Mirror. Her award-winning reporting has included breaking major stories such as the government’s recent winter fuel payment u-turn, the election betting scandal and Partygate. Vicky Flind, Head of Current Affairs at MultiStory Media said: “We are all delighted to be able to work with Pippa. At a time when it’s increasingly complicated to make sense of politics her experience and insight will be of huge value to our audience.” Pippa Crerar said: “I’m excited to be joining PESTON, working alongside Robert and his brilliant team on such a lively and impactful show. Together, we will continue to hold the powerful to account and make politics accessible to everyone.” Robert Peston said: “Pippa Crerar is an outstanding political journalist. It is so exciting that viewers of the PESTON show will be able to benefit from her brilliant analysis and insights.”







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…






