Neil Crow

969 posts

Neil Crow

Neil Crow

@neil_crow

Katılım Aralık 2010
1K Takip Edilen124 Takipçiler
Neil Crow retweetledi
Diana Alastair💚🤍💜 ⚢ ❌❌
This is MMA fighter Sean McInnes. When Anne Marie Boyle asked him to leave her alone, he punched her in the face so hard that he broke her cheekbone and her eye socket, knocked her unconscious, and left her with a life-altering brain injury. He was given less than two years behind bars. It would be a real shame if this post was widely circulated and impacted his career in a negative way.
Diana Alastair💚🤍💜 ⚢ ❌❌ tweet media
English
494
16.2K
28.4K
2.1M
Neil Crow retweetledi
Type Theory Forall
Type Theory Forall@ttforall·
Today we honor the life and work of Sir Tony Hoare (1934–2026), one of the giants of computer science. His work shaped algorithms, programming languages, concurrency, and formal verification. In 1960, while a visiting student at Moscow State University working on a machine translation project, Hoare needed a way to sort the words of Russian sentences before looking them up in a Russian–English dictionary. His first idea was insertion sort, but this line of thinking led him to invent Quicksort — still one of the most widely used sorting algorithms in the world. In 1969 he introduced Hoare Logic in An Axiomatic Basis for Computer Programming, giving us the famous Hoare triple {P} C {Q} and launching the field of formal reasoning about programs. He also created Communicating Sequential Processes (CSP), a foundational model for concurrency and message-passing systems that influenced languages and systems for decades. Hoare also introduced null references in ALGOL W, which he later called his “billion-dollar mistake,” a candid reflection that pushed language designers toward safer type systems. For these and many other contributions he received the ACM Turing Award in 1980. Few researchers have shaped the intellectual foundations of our field so deeply. Thank you, Tony Hoare. May you rest in peace.
Type Theory Forall tweet media
English
10
105
486
14.8K
Massimo
Massimo@Rainmaker1973·
An NVIDIA powered farming machine uses Al vision and precision lasers to eliminate weeds in milliseconds without herbicides and without harming crops, a potential shift toward chemical free agriculture
English
761
3.8K
24.3K
7.5M
Neil Crow
Neil Crow@neil_crow·
@mmbronstein Is that Rotten Row? Sounds like a nasty database problem
English
1
0
1
60
Michael Bronstein
Michael Bronstein@mmbronstein·
Central London is best experienced ahorse
Michael Bronstein tweet media
English
2
0
45
3.7K
Adam Wathan
Adam Wathan@adamwathan·
Finally stopped clinging on 😄 Where do I get my membership card?
Adam Wathan tweet media
English
218
3
1.2K
80.9K
Neil Crow retweetledi
Maddison
Maddison@Maddi_Paddy·
Sadly, I lost a really special piece of jewellery tonight at Gatwick airport. I’ve had it for 13 years, and saved all my money with my first job to buy it second hand. I doubt very much it’ll be found and returned, but in any case, if anyone finds this bracelet it’s mine
Maddison tweet media
English
154
1.6K
4.2K
537.9K
Neil Crow
Neil Crow@neil_crow·
@patrickc No Las Vegas data points ... what happens in Vegas stays in Vagus
English
0
0
0
108
Patrick Collison
Patrick Collison@patrickc·
I gave OpenClaw an export of my Apple Health data and asked it for some interesting analysis of heart rate vs travel data. It figured out that it could approximate my location from workout GPS annotations plus time zone stamps from other logged datapoints and then produced a bunch of interesting charts.
Patrick Collison tweet mediaPatrick Collison tweet media
English
142
71
1.8K
421.8K
Riccardo Spagni
Riccardo Spagni@fluffypony·
@levelsio My only gripe is that the codebase is ATROCIOUS. It's so poorly architected. Someone is going to have to make a Clean Architecture reimplementation of it, it's unsustainable in its current form.
English
1
0
3
1.1K
Neil Crow
Neil Crow@neil_crow·
@JohnOleske @jdpoc ...surprise you here What the, hell you doing here ? You've come to the wrong workplace. - Doh!
English
0
0
2
981
John Oleske
John Oleske@JohnOleske·
@jdpoc “Simpson, Homer Simpson, he’s the greatest guy in history! From the, town of Springfield, he’s about…”
English
3
0
340
88.5K
John O'Connell
John O'Connell@jdpoc·
Anyone who reads music will get this right away ...
John O'Connell tweet media
English
227
131
4.7K
1.1M
Neil Crow
Neil Crow@neil_crow·
@paulg please stick to 4 space indentation
English
0
0
0
3
Paul Graham
Paul Graham@paulg·
Elon should call the combined company " X".
English
370
110
6.3K
511.4K
Neil Crow
Neil Crow@neil_crow·
@fluffypony @OWokeyDokey @ErnstRoets Free drop-off how generous, you don't want to try that at Gatwick, the drop-off zone without parking and leaving your car is £10 for 10 minutes (i.e. R220 ), and £1 per minute thereafter.
English
0
0
3
143
Riccardo Spagni
Riccardo Spagni@fluffypony·
@OWokeyDokey @ErnstRoets Short-term parking means you’re picking up or dropping off. At ORT it’s free for 30 mins, and then R30 for the next 30 mins. After that it gets EXPENSIVE, because you shouldn’t be parking there for longer than an hour.
English
2
0
28
1.3K
Ernst Roets
Ernst Roets@ErnstRoets·
This is how revolutions begin.
Ernst Roets tweet media
English
324
112
673
198K
Koshiek Karan
Koshiek Karan@iamkoshiek·
we have leaping cars from China before GTA VI
English
4
7
40
6.1K
Koshiek Karan
Koshiek Karan@iamkoshiek·
South Africa vehicle sales crushed a 10 year high 🏎️🇿🇦 annual car sales are up 20% 🔥🔥 what's driving this market? 💰 a stronger rand ⛽️ lower fuel prices 🚗 surge in affordable Chinese vehicles 🏦 cheaper finance & lower interest rates 💳 two pot system withdrawals
Koshiek Karan tweet media
English
26
51
206
21.7K
DHH
DHH@dhh·
This is how (and why!) it's pronounced OH-MAH-CHEE.
English
47
14
450
56.4K
Neil Crow
Neil Crow@neil_crow·
@ph1 Nice! You may need better bait.
English
0
0
0
16
Neil Crow
Neil Crow@neil_crow·
@MichaelJordaan Someone should tell them the Microsoft already owns Visio too, as a diagramming tool
English
0
0
1
50
Michael Jordaan
Michael Jordaan@MichaelJordaan·
Tech autonomy is a great idea for emerging markets too. Lots of freeware out there that can do a similar job.
Emmanuel Pernot-Leplay@PernotLeplay

🚨🇫🇷France announced today it’s phasing out Teams, Zoom, etc. to be replaced with a French/European solution called Visio. The data is hosted on @outscale. Transcripts and subtitles are also handled by French providers. The target is set on 2027 for government agencies. See more here x.com/lellouchenico/… by @LelloucheNico

English
7
6
41
11.7K