GNU coreutils maintainer. shuf /usr/share/dict/words | head -c280 | fmt; He/Him; Follow to accept cookies
Joined April 2008
- Tweets2.1K
- Following819
- Followers785
- Likes8.4K
Padraig Brady retweeted
Cheeky Pint is back! Mark Zuckerberg @finkd and Alexandr Wang @alexandr_wang came to the pub to discuss their new frontier model, Muse Wonder.
00:00:24 Muse’s breakout use cases
00:07:28 The model is the product
00:14:35 Muse Wonder
00:24:56 How frontier models are built
00:48:26 Betting $100B
01:07:21 Agentic commerce
01:19:34 OpenRouter
01:20:06 Beyond the smartphone
01:27:00 Funding
01:34:06 Why AI won’t be winner-take-all
01:40:46 Meta Superintelligence Labs (MSL)
02:08:11 Working for Mark Zuckerberg
Padraig Brady retweeted
We’ve lost an icon. Margaret Hamilton, a computer science pioneer best known for her work at MIT leading development of the flight software for the Apollo missions to the moon, has died at 90. Read about her legacy via MIT News: news.mit.edu/2026/margaret-h…
ALT Margaret Hamilton is reclined inside a NASA spacecraft module, surrounded by control panels and switches.
Worldwide most valuable entities
Apple ⬇️ ₿67M BTC
Microsoft ⬇️ ₿49M BTC
Amazon ⬇️ ₿49M BTC
Google ⬇️ ₿34M BTC
Facebook ⬇️ ₿24M BTC
Bitcoin = ₿21M BTC
Tech really has become dominant
Worldwide most valuable entities
₿50M BTC NVIDIA
₿44M BTC Apple
₿40M BTC Microsoft
₿39M BTC Google
₿26M BTC Amazon
₿21M BTC Bitcoin (fixed)
₿19M BTC Broadcom
₿18M BTC Aramco
₿16M BTC Meta
₿16M BTC TSMC
source: pixelbeat.org/misc/bitcoin_m…
Padraig Brady retweeted
What if a computer could simply drift towards the right answer?
That is the fascinating idea behind new research published in Nature by Professor Damien Woods and colleagues at the Maynooth University, demonstrating a fundamentally different approach to computing using DNA.
Why does this matter? As demand for computing grows, so too does the energy required to power it. This research explores whether computation itself can work differently — with a physical system designed to naturally move towards the correct result.
And it works! The team demonstrated 10 different programs across more than 700 computations, including a 100-bit computation, with smaller computations completing in under a minute.
There is a long way to go from a molecular computer in the laboratory to future computing technologies, but this work opens up exciting possibilities for fundamentally new approaches to computing.
Huge congratulations to Damien Woods and the entire team on this Nature publication, a fantastic contribution to Maynooth University's Data Science & Digital Transformation Research Beacon!
#MaynoothUniversity #MUResearch #ResearchBeacons #DNAComputing #DataScience
nature.com/articles/s41586-0…
Coreutils 9.12 is released with:
- env --env0-from=FILE for environment restore/editing
- safer terminal output from various commands
- more resilient directory traversal, ptx, and tee
- faster parallel sort when reading pipes
lists.gnu.org/archive/html/c…
TVs are a big source for bot networks theses days. Be careful what apps you install
krebsonsecurity.com/2026/07/…
Here is a good summary of dealing with consequences of such content farming networks
lwn.net/SubscriberLink/10808…
And another summary of the recent scraper trend from Linux kernel folks
people.kernel.org/monsieuric…
Open Source software aligns very well with LLMs, allowing agents to leverage its discoverability and malleability.
Also Linux is traditionally correlated with language as described in Thomas Scoville's "The Elements Of Style: UNIX As Literature" theody.net/elements.html
Linux 📈
Padraig Brady retweeted
Moderna and @Merck today announced positive topline results from the Phase 3 INTerpath-001 trial evaluating adjuvant treatment with intismeran autogene, a novel investigational mRNA-based individualized neoantigen therapy jointly developed by Merck and Moderna, in combination with KEYTRUDA® (pembrolizumab), Merck's anti-PD-1 therapy, in patients with completely resected Stage IIB-IV melanoma.
Read more:
Padraig Brady retweeted
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here: openai.com/index/ten-advance…
About 5% of the South Korean population have now been margin called, with about 1% of the population being fully liquidated. For a country doing so well in general, that's crazy
Korean workers in their 20s and 30s could not afford Seoul apartments so they turned KOSPI into their housing trade (FOMO Case Study)
They borrowed on margin at 3x, poured savings into 2x semiconductor ETFs, and treated short term trading tools as long term bets. When prices dropped, brokers auto-liquidated 360,000 accounts.
62% of those wiped out were under 35. A generation priced out of real estate treated a bull market on borrowed money as their only path to building wealth, that bet did not hold
Margin loans on KOSPI hit record 38.63 trillion won in late June. When prices fell, brokers sold holdings to cover shortfalls, pushing prices lower, triggering more margin calls.
Goldman Sachs estimated retail ETF rebalancing drove 62% of institutional net selling on some days. Retail did not just lose money here. Their borrowed positions became the mechanism that made the crash deeper.
Margin amplifies gains when markets rise. It turns an orderly decline into a cascade when they fall.
What makes Korea crash different from a normal correction is the human cost. Government launched a 1375 debt hotline because margin losses were crossing into a mental health crisis.
2.15 trillion won in retail losses from borrowed money in one month. One office worker lost 18 million won of his housing savings in semiconductor ETFs.
KOSPI will recover, that is how markets work. But people who bet money they could not afford to lose do not get a do-over. Their debt stays after the index comes back.
Padraig Brady retweeted
When a Linux kernel upgrade risked regressing our ads fleet, we turned to sched_ext — an open-source scheduler that ships updates in days, not months.
The result: 28% lower tail latency, 3.28 MW saved, and a 1.1% increase in the number of ads ranked.
Now it's upstream in Linux v6.12 for everyone. Read the technical blog post: engineering.fb.com/2026/07/1…
Padraig Brady retweeted
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
Padraig Brady retweeted
A new CRISPR-based approach can selectively destroy cancer cells, according to a recent UC Berkeley-coauthored study. The technique opens a new frontier for treating the mutations found in nearly half of all cancers—including some of the most difficult types.
bit.ly/4e2x5aQ
So the source of the non GPL coreutils push reveals itself.
Microsoft coreutils: github.com/microsoft/coreuti…
