Padraig Brady

GNU coreutils maintainer.

shuf /usr/share/dict/words |
head -c280 |
fmt;

He/Him;

Follow to accept cookies

[Padraig Brady @pixelbeat_]

@SMT_Solvers @rickasaurus @leanprover The lean specs would be interesting indeed.
You could push them in a PR and we might even host them in the main repo, given that GNU is the source of truth interface wise for uutils and Microsoft coreutils

[Padraig Brady @pixelbeat_]

@SMT_Solvers @rickasaurus @leanprover You can send issues or PRs to the GitHub mirror and we'll have a look. Thanks!
https://t.co/j89VbSQmBo

[Padraig Brady @pixelbeat_]

@SMT_Solvers @rickasaurus @leanprover Hi GNU coreutils maintainer here.
This sounds interesting. Let us know if there is anything we can help with

[Padraig Brady @pixelbeat_]

Nice attention to detail

[luuk de leest @luuk58]

fun fact: tijdens de keynote hakt Apple een stukje 3k, 4k, 5k en 6kHz eruit wanneer ze "Siri" zeggen, zodat niet iedereens HomePods terug beginnen te praten 🗣️🚫

[Padraig Brady @pixelbeat_]

@phoronix "Imitation is the sincerest form of flattery."

[Padraig Brady @pixelbeat_]

So the source of the non GPL coreutils push reveals itself.
Microsoft coreutils: https://t.co/4VdlacajEl

[Padraig Brady @pixelbeat_]

@zaitcev Yes expensive definitely doesn't mean good. I was more getting at cheap being a relatively bad investment. The x1 is not cheap, but also excellent ergonomically, so we agree there

[Padraig Brady @pixelbeat_]

I've said it before and I'll say it again. A laptop is one of the best investments one can make, and it's worth spending a bit more for good ergonomics

[Mitchell Hashimoto @mitchellh]

@RhysSullivan The $2500 MacBook Pro I bought in 2012 that I used to write every single hashicorp 0.1 release. Arguably turned that $2500 plus some internet into like a billion dollars. Good trade.

[Padraig Brady @pixelbeat_]

Also while gravity is the weakest force, it's strong here, so investment in a good shoe, chair, mattress really pays off.

[Padraig Brady @pixelbeat_]

Wow the scroll physics on a Google Pixel phone is much more sticky than a Samsung Galaxy or iPhone. Scrolling Twitter for example takes _much_ more effort on the Pixel. You can't do the small flick to keep scrolling. It's strange it's not configurable at least.

[Padraig Brady @pixelbeat_]

BYD in talks to start building cars in the EU, supplanting common French and Italian car makes

[First Squawk @FirstSquawk]

BYD IN TALKS WITH STELLANTIS AND OTHERS TO TAKE OVER EU CAR PLANTS

[Padraig Brady @pixelbeat_]

@spendergrsec We're conservative in GNU coreutils with use of newer kernel features. It looks like we timed this about right if vmsplice() is being solidified now. The same happened with copy_file_range() where we found it unusable in initial testing.

[Padraig Brady @pixelbeat_]

This is a really great demonstration of the capabilities of a modern Linux desktop. From installation to playing steam games, this is a knowledgeable and practical demo.

[LinuxBTW @stevenharms]

Just installed Fedora 44 - really solid release especially for anyone new to Linux and looking for a desktop focused on ease of use / simplicity. Video 👇

[Padraig Brady @pixelbeat_]

This is now live in @fedora 44.
You can follow links to the full manual from, man ls, man sort, etc.

[Padraig Brady @pixelbeat_]

Improving the integration between terminal and web.

How we connected the coreutils terminal help to the full online documentation

https://t.co/NmVBJ5UrZK

[Padraig Brady @pixelbeat_]

@matiasgoldberg I think folks will eventually realise the completely different levels of engineering at Red Hat and Ubuntu.

[BBC Sport @BBCSport]

WHAT HAVE WE JUST WITNESSED? 🤯

Sabastian Sawe has just become the first person in history to run a sub two-hour marathon in race conditions.

Yomif Kejelcha was also under two hours for second!

[Phoronix @phoronix]

Microsoft Reportedly Looking At Rebasing Azure Linux On Fedora

Well this is unexpected... And Microsoft pushing x86_64-v3 for Fedora.

https://t.co/iEy7qhjZ1v

[Padraig Brady @pixelbeat_]

@lambda_sakura That's a fairly bad bug that should be reported to uutils github. LC_COLLATE should have no impact on display

[Padraig Brady @pixelbeat_]

@hidekatsu_izuno You are correct, and that is essentially what the Zellic audit did, as the reports looked formulaic and referenced GNU C code. Ethically it's not ideal, but c'est la vie