
Alexis Richardson
37K posts

Alexis Richardson
@monadic
manager of configurations RabbitMQ/VMware/Spring/Pivotal/CNCF/Weaveworks/ConfigHub DMs open
Oxford Katılım Aralık 2006
4.6K Takip Edilen6.7K Takipçiler
Alexis Richardson retweetledi

🚨NEW POST BY ME🚨
Greater Manchester’s growth success is real, but didn't happened by accident. The country should be studying it closely.
Long-term strategy that is aggressively pro-growth, pro-development & pro-FDI works if given time and consistency
substacktools.com/sharex/8x1zxD4F
English
Alexis Richardson retweetledi
Alexis Richardson retweetledi

Cloudflare's security team spent the last few weeks testing Anthropic's Mythos against fifty of our own repositories. What we learned about offensive AI, why faster patching is the wrong reaction, and what the architecture around vulnerabilities has to look like next. cfl.re/49BRUqW
English
Alexis Richardson retweetledi
Alexis Richardson retweetledi
Alexis Richardson retweetledi

This is shameful and gross. If they were mocking another religion there would be consequences
Robert Carter@Bob_cart124
Mockery of Muslim women who wear the niqab today at the Unite The Kingdom hate march. These fake patriots don't give a toss about the UK or celebrating British culture, they're just obsessed with hating on Muslims and Islam.
English
Alexis Richardson retweetledi

Pilcrow is impeccable, but for writing.
@samgalanakis was inspired by the shape and approach of impeccable and brought it to a different domain. so cool!
pilcrow.ink
English

Good to see @cambridgeunion host this debate. Proud of my daughter.
Maeve Halligan@MaeveHalligan
"No, I don't subscribe to this 'kindness' - I'll tell the truth instead." I spoke at the Cambridge Union last night about LGBs, children's safety and women's rights. Full video here:
English
Alexis Richardson retweetledi
Alexis Richardson retweetledi

Here's what András Sárközy, Erdős's most prolific collaborator, asked 25 years ago:
"How small can one make the maximal gap between the consecutive elements of a multiplicative Sidon set selected from {1, 2, ..., n}?"
In particular: does there exist a multiplicative Sidon set A ⊆ {1, 2, …, n} such that every sub-interval of [1, n] of length at least √n contains at least one element of A?
The answer is yes. The solution was autonomously discovered and formally verified in #Lean by Aristotle. We then improved the bound below √n and Aristotle formalised our proof too.

Română
Alexis Richardson retweetledi

Never forget, never forget an American VP @JDVance took time out from his country being at 𝐰𝐚𝐫 to fly over the Atlantic trying to stop Hungarians breaking free from the EU's most corrupt government
Just a few scenes of the absolute joy and freedom yesterday in Budapest👇
English
Alexis Richardson retweetledi

Announcing with gratitude that @audreyt just gifted me an M5 Max 128GB MacBook Pro! It will let me develop DwarfStar4 (DS4) further on newer Metal hardware, and experiment with distributed inference splitting Q4 quants across the M3 Max and the M5 Max. Thanks so much, Audrey!
English
Alexis Richardson retweetledi
Alexis Richardson retweetledi

Alexis Richardson retweetledi
Alexis Richardson retweetledi

Welcome to DS4, a specialized inference engine for DeepSeek v4 Flash. github.com/antirez/ds4
This project would have been impossible without the existence of llama.cpp and GGML and the work of @ggerganov and all the other contributors. Thanks!
English
Alexis Richardson retweetledi















