@Pol@mathstodon.xyz
@Pol@mathstodon.xyz avatar

Pol

@Pol@mathstodon.xyz

Research, analysis, development, reproducibility. Keywords about me: STEM, piano, nature, bikes, swimming.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

asgrim, to random
@asgrim@phpc.social avatar

Naming things is hard! What would you suggest for a name for the new PECL installer tool that is being worked on? 📢

Pol,
@Pol@mathstodon.xyz avatar

@asgrim extm (for Extension Manager)?

danielsiepmann, (edited ) to NixOS

Any Idea why I'm unable to update #NixOS due to "No space left on device" even if there are 23G available?

Edit: The issue was caused by number of inodes.

this path will be fetched (458.58 MiB download, 464.67 MiB unpacked):
  /nix/store/4mc1wf8b6jad08wlfqaw6zvv7007d51d-linux-firmware-20240513-zstd
copying path '/nix/store/4mc1wf8b6jad08wlfqaw6zvv7007d51d-linux-firmware-20240513-zstd' from 'https://cache.nixos.org'...
building '/nix/store/l4drcr95rzznb9n18rl95cjhzrvwi96q-system-path.drv'...
error: mkdir /nix/store/swcchba29bqmm9mjfgs7flsmhw1fw4wg-system-path//share/locale/az: No space left on device at /nix/store/x65ah6kl9sqjwp4pqm0fn9kb20bc0974-builder.pl line 267.
error: builder for '/nix/store/l4drcr95rzznb9n18rl95cjhzrvwi96q-system-path.drv' failed with exit code 28
error: 1 dependencies of derivation '/nix/store/6zlwarcc34qv5h2rfq2pj83h7zzcimm8-nixos-system-hikari-24.05pre628669.6c0b7a92c301.drv' failed to build

nixpkgs > df -h
Filesystem      Size  Used Avail Use% Mounted on
devtmpfs        395M     0  395M   0% /dev
tmpfs           3.9G   16K  3.9G   1% /dev/shm
tmpfs           2.0G  4.3M  2.0G   1% /run
tmpfs           3.9G  1.1M  3.9G   1% /run/wrappers
/dev/dm-0       102G   74G   23G  77% /
/dev/sda1       511M  200M  312M  40% /boot/efi
tmpfs           789M   44K  789M   1% /run/user/1000
Pol,
@Pol@mathstodon.xyz avatar

@danielsiepmann Also had the issue with an even greater space left, I really don't know where it comes from. Therefore, nix-collect-garbage -d is your friend.

Pol,
@Pol@mathstodon.xyz avatar

@danielsiepmann I'm sorry it's been a while that I switched to flake, I never used channels since years :( Have you tried to ask on https://discourse.nixos.org/ ?

dantleech, (edited ) to php
@dantleech@fosstodon.org avatar

Blog post: things that annoy me in (but I still like it): https://www.dantleech.com/blog/2024/02/18/my-php-problems

Pol,
@Pol@mathstodon.xyz avatar

@dantleech s/deserailization/deserialization

Pol,
@Pol@mathstodon.xyz avatar
Pol, to random
@Pol@mathstodon.xyz avatar

What a waste of resources! I think this is among the most stupid thing I've seen on Github: https://github.com/bugbounted/auto-commit

dantleech, to random
@dantleech@fosstodon.org avatar

Having a private VPN is cool, on the train in Italy, but connected to my home network! On the not-cool other hand I just got fined 50EUR for not validating a bus ticket after getting off the plane.

Pol,
@Pol@mathstodon.xyz avatar

@dantleech Are you using Tailscale ?

annika, to random
@annika@xoxo.zone avatar

What's up with all these people bulk-replying to the php-announce list? It's busted, we get it. Stop doing the reply-all thing.

Pol,
@Pol@mathstodon.xyz avatar

@annika @jimbo2150 This is the kind of constructive reply that I love to see in my feed. Come on... seriously?

Pol, to php
@Pol@mathstodon.xyz avatar

Composer 2.6.4's artifacts (vendor dir) are now reproducible by default !

Pol, to php
@Pol@mathstodon.xyz avatar

Definition of "To phel in love": https://www.phel-lang.org/ !

dantleech, to random
@dantleech@fosstodon.org avatar

hm, easyjet booking seems to be down-or-is-it-just-me

couldn't find their service status but I did find their maintainence page as the top result in google: https://www.easyjet.com/en/maintenance

Pol,
@Pol@mathstodon.xyz avatar

@dantleech I have no clue... never used them, I just know it has been renamed.

Pol,
@Pol@mathstodon.xyz avatar

@dantleech Has Easyjet not been renamed to TUI in your country?

Pol, to Cybersecurity
@Pol@mathstodon.xyz avatar

🚀 Exciting News from Belgium🇧🇪! 4 days ago, a team of researchers has published a paper on a new implementation of SSH over HTTP/3.

📄 Discover their findings and dive into the technical details here: https://arxiv.org/abs/2312.08396

Find the Go implementation at: https://github.com/francoismichel/ssh3

aleksana, to random zh-CN
@aleksana@bcom.moe avatar

Last Thursday (May 16), we made the largest number of commits into Nixpkgs in the past year, and possibly the largest number of commits in history!

Pol,
@Pol@mathstodon.xyz avatar

@aleksana something special happened?

Pol, to php
@Pol@mathstodon.xyz avatar

Advocating for PHP project authors to include their composer.lock file in the source code (when it make sense). The lock file ensures consistent dependencies, making projects more reliable. Sometimes it works, sometimes it doesn't at all... https://github.com/bobthecow/psysh/issues/767 💡🔒

Pol, to random
@Pol@mathstodon.xyz avatar

Am I the only one who finds USB-C to be an example of poor design and a complete failure?

Pol, to programming
@Pol@mathstodon.xyz avatar

🎉 Just got back from the International PHP Conference in Munich!

An amazing experience, I even gave a talk (see previous toot)!

🎤 Noted some recurring themes:

1️⃣ Reproducibility is often overlooked or ignored, sadly 🤔
2️⃣ The benefits of functional programming in PHP aren't widely understood 🔄
3️⃣ Docker ≠ Full reproducibility 🐳

Stay tuned! I'm planning to write some articles to delve deeper into these topics.

💡📝

Pol, to random
@Pol@mathstodon.xyz avatar

The nixpkgs repository just passed 500k commits !

Janik, to random
@Janik@chaos.social avatar

After all the nix drama in the last few weeks I'm finally able to relax a bit again. I don't think I was as calm as now for like the last three months or so. I'm still stressed but not in the emergency everything is on fire at once kind of way.

Pol,
@Pol@mathstodon.xyz avatar

@Janik feeling better too !

Pol, to random
@Pol@mathstodon.xyz avatar

My most faithful and intimate furry pointy friend and confidant is slowly heading towards his final resting place... why does it have to hurt so much? why? why now? I'm having a very hard time to cope with this situation... why does it have to be like this? why???

Pol, to php
@Pol@mathstodon.xyz avatar

During these last two days: I met amazing people, had wonderful moments and I come back home with my head full of good souvenirs.

Pol, to php
@Pol@mathstodon.xyz avatar

I just noticed that http://php.met/ (hence the typo) redirect to https://www.php.net/

Nice !

Pol, to php
@Pol@mathstodon.xyz avatar

PHPUnit will soon ship a composer.lock file ! The road to more reliable and reproducibility software in the PHP ecosystem is improving, step by step, piano piano !!

Related discussion: https://github.com/sebastianbergmann/phpunit/pull/5576

Pol, to random
@Pol@mathstodon.xyz avatar

Outatime! "Le convecteur temporel!"

image/jpeg
image/jpeg
image/jpeg

Pol, to typst
@Pol@mathstodon.xyz avatar

You can now properly cite Typst in your research documents!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • rosin
  • Durango
  • cisconetworking
  • mdbf
  • InstantRegret
  • DreamBathrooms
  • ngwrru68w68
  • magazineikmin
  • osvaldo12
  • Youngstown
  • ethstaker
  • slotface
  • kavyap
  • JUstTest
  • thenastyranch
  • normalnudes
  • modclub
  • khanakhh
  • everett
  • tacticalgear
  • cubers
  • GTA5RPClips
  • anitta
  • Leos
  • tester
  • provamag3
  • lostlight
  • All magazines