@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.

Pol, to typst
@Pol@mathstodon.xyz avatar

You can now properly cite Typst in your research documents!

Pol, to random
@Pol@mathstodon.xyz avatar

Outatime! "Le convecteur temporel!"

image/jpeg
image/jpeg
image/jpeg

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

Pol, to random
@Pol@mathstodon.xyz avatar

Best. Fosdem. Ever. So many faces, talks and discussions... The after party is at https://bytenight.brussels/ !

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

SymfonyCon has been a fantastic experience, especially for the opportunity to meet so many incredible people for the first time. Our live discussions have already yielded tangible results. After PHPUnit, GrumPHP is now including a composer.lock for achieving total reproducibility.

This underscores the importance of the social aspect in our work, it's crucial and should never be underestimated.

For more details, check this out: https://github.com/phpro/grumphp-shim/issues/23#issuecomment-1867409110

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

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

It's been my third presentation of the day mentioning the word "reproducibility". Looks like it's getting trendy !

Pol, to php
@Pol@mathstodon.xyz avatar

@phpunit PHPUnit featured in the November 2023 reproducible-builds report!

=> https://reproducible-builds.org/reports/2023-11/

Pol, to php
@Pol@mathstodon.xyz avatar

moneyphp/money has stopped using PHPSpec for its tests. PHPUnit is now used for all the tests.

https://github.com/moneyphp/money/pull/760

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 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

Nix/NixOS is ready for the PHP 8.3.0 release, PR is ready, now awaiting the official release announcement!

=> https://github.com/NixOS/nixpkgs/pull/269393

Happy birthday Rasmus!

Pol, (edited ) to NixOS
@Pol@mathstodon.xyz avatar

The first successful reproducible build of Nixos Minimal install ISO has been made! See the message: https://discourse.nixos.org/t/nixos-reproducible-builds-minimal-installation-iso-successfully-independently-rebuilt/34756 Congrats @raboof !

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 php
@Pol@mathstodon.xyz avatar

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

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

I just made the https://reproducible-builds.org/ website... reproducible!

Feel free to test and provide some feedback at https://salsa.debian.org/reproducible-builds/reproducible-website/-/merge_requests/102

Pol, to php
@Pol@mathstodon.xyz avatar

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

Pol, to random
@Pol@mathstodon.xyz avatar

🎉 Exciting Update Alert! After months of work, the PHP/Composer builder has officially been integrated into Nix. I can't wait to see what you're going to do with this new tool! 🚀

Details here: https://github.com/NixOS/nixpkgs/pull/248184

Pol, to random
@Pol@mathstodon.xyz avatar

The Nix project statistics will never cease to amaze me...

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 random
@Pol@mathstodon.xyz avatar

I just added a new feature in the Nix PHP builder that will create the proper PHP environment based on the composer.json file. That feature is a work in progress, but works pretty fine already.
Basically, the idea is to read the composer.json, extract the required extensions and instantiate a PHP environment containing those extensions.
Inferring the adequate PHP version to use could be a nice to have.
Find the code and examples at: https://github.com/loophp/nix-php-composer-builder/#extra-work-in-progress

Pol, to random
@Pol@mathstodon.xyz avatar

I've created a builder for PHP/Composer based applications for Nix, find it here: https://github.com/loophp/nix-php-composer-builder/
Feel free to test it, break it and report feedback !

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