Johan Vervloet

@vohanj@phpc.social
201 Followers
466 Following
1,099 Posts
#php developer
fighting against crud
trying to convince you that you need automated tests
author of some #wiezen related web apps
gitlabhttps://gitlab.com/johanv
bloghttps://blog.johanv.org

Law 1: Every program can be optimised to be smaller. Law 2: There's always one more bug. Corollary: Every program can be reduced to a one-line bug.

— anonymous

#bugs #optimization

As I said before, I'm into pixeling raster fonts. They're free for everything except AI use. Again, just Codepage 437 for now. So, looking for a retro serif font? Lea has got you covered :) Here's Old Times Roman.
De broncode van de KNMI-app is nu vrij beschikbaar op GitLab: https://gitlab.com/KNMI-OSS/KNMI-App. Dit betekent dat iedereen de broncode kan lezen, aanpassen en verpreiden. Opensourcesoftware is belangrijk voor meer openheid in ICT-systemen van de Rijksoverheid. #opensourceweek
KNMI App · GitLab

GitLab.com

GitLab

I'm so proud: two years of working together with a lot of talented programmers, finally we tagged Tempest 1.0: a new framework for PHP web and application development embracing modern PHP

https://tempestphp.com/blog/tempest-1

#php #tempest

Tempest 1.0 — Tempest

Tempest's first stable release

New zine: The Secret Rules of the Terminal

New zine: The Secret Rules of the Terminal

Julia Evans

I haven’t had many problems with #PhpStorm’s #Xdebug integration in a long time. Most of the time, it Just Works, but today, it decided it doesn’t like me, and so now, my afternoon has been spent trying to get it to work again.

This is the error I see in the step debugging console. The only thing I know has changed is PhpStorm (it upgraded).

```
Cannot find file '/path/to/ramsey/uuid/Standard input code' locally.
```

#PHP

Today's #Muppets GIF of the Day is...
Photos of @utilitybend@front-end.social giving a talk on the first day of #CSSDay (5 June 2025). @stephenhay@front-end.social is also present in the fourth photo.
📷 OM-3 & 75 mm ƒ1.8 (45 mm ƒ1.8 for the fourth photo)
@Crell I don’t want to say I won’t support ramsey/uuid anymore, but yeah, this can replace it. What it really does is provides a proving ground for identifier/identifier. If it seems like a useful idea, I’ll propose it to PHP-FIG. https://github.com/php-identifier/identifier
GitHub - php-identifier/identifier: Common interfaces for identifiers

Common interfaces for identifiers. Contribute to php-identifier/identifier development by creating an account on GitHub.

GitHub
×
De broncode van de KNMI-app is nu vrij beschikbaar op GitLab: https://gitlab.com/KNMI-OSS/KNMI-App. Dit betekent dat iedereen de broncode kan lezen, aanpassen en verpreiden. Opensourcesoftware is belangrijk voor meer openheid in ICT-systemen van de Rijksoverheid. #opensourceweek

@knmi Dank u KNMI, u bent wat mij betreft een voorbeeld van het hoe het wel kan.

Kers op de taart (ik ben er al eerder over begonnen) zou wat mij betreft zijn dat u de app ook nog gaat aanbieden in F-droid (ik ken de strenge eisen van het F-droid team, maar toch).

@maartenpelgrim @knmi +1 van mij aangaande het voorstel van Maarten om apps beschikbaar te stellen in stores die niet onder de macht van het commerciele en private Amerikaanse Google of Apple vallen (die vervolgens de [nederlandse] gebruikers profileren). Met het Franse Morena e'os kan ik me ontdoen van Google, maar de app store is nog een Achilles hiel.
@iwanovich @maartenpelgrim Bedankt. We noteren de wens voor F-Droid.
@knmi @iwanovich @maartenpelgrim Mooi, want dan kunnen jullie ook mensen bedienen die geen Google draaien. (Android telefoons met custom ROMs zonder Play services of Sailfish OS)

@knmi interessante move, gegeven dat de app(-content) recent, vanuit de visie van commerciele partijen, ter discussie staat.

chapeau!

@knmi Geweldig, wat een mooie stap! Jammer dat de infra allesbehalve open source is, want volledig vendor locked in door AWS. Wordt dat de volgende stap?

@lhengstmengel @knmi ja, lijkt me heel belangrijk ja, vooral omdat hiermee ook weer waarschuwing naar inwoners gedeeld wordt

Dat willen we niet via AWS laten lopen.

@SolarDavy @knmi privacy is zeker een ding. Maar ik zie het overal om me heen dat in de hoofden van developers etc er vaak niet eens meer een alternatief voor AWS lijkt te bestaan. Er wordt veel te makkelijk voor gekozen, en vaak ook nog voor allemaal gesloten proprietary AWS diensten (zoals hier oa dynamodb, sqs, secrets). Dan is de term "open source" ook weinig meer dan window dressing.
@SolarDavy @knmi ik kom nu misschien over als een zeikerd en dat is ook niet mijn bedoeling. KNMI is hiermee een geweldige voorloper en echt heel goed bezig. Maar ik wilde het niet onbenoemd laten.
@knmi Het is goed te zien dat er over nagedacht is waar deze broncode te plaatsen gezien Gitlab zelf ook open source is.
Goed gedaan!
#OpenSourceWeek
@knmi Super mooie stap! Zal de broncode eens checken, puur uit interesse.
@knmi Hele fijne app! Dank!
@knmi opensource is heel cute :)
@knmi Prima app, maar ik mis wel satellietbeelden (wolken). Voor mij als amateurastronoom essentieel 🙂. Komt wellicht nog in de volgende versie? 🙏
@Jos_B @knmi Dan gaan die mafklappers van Buienradar, etc. nog meer janken 😂
@Jos_B Dank! We noteren de wens.
@knmi Komt er ook een web app?
(geen Google of Apple store op mijn telefoon)
@djoerd @knmi Gewoon een versie maken "built from source"?
@heinragas @knmi Je schat mijn IT-capaciteiten hoog in! 🙂
@knmi
Ik gebruik nu een widget van Buienradar in de wandelkaarten van mijn WebApps op RouteMaps.nl (geen AppStore of GooglePlay). Is (of komt) er ook een vergelijkbare widget van KNMI beschikbaar?
@routemaps Zeker! De widgets zijn in de maak en komen deze maand beschikbaar zowel voor iOS als Android.
@knmi ' Deze maand' was vorige maand ;-). Is er al wat meer bekend over de nieuwe widget die ik in html zou kunnen opnemen?
@routemaps Excuses, het zou eind maart livegaan maar dat wordt april. We weten deze week wanneer dat lukt. Mooi dat ernaar wordt uitgekeken!
@knmi Zou je het hier willen melden als de widget beschikbaar is? En als je nog een tester zoekt... ;-)
@knmi Je laatste melding was 'maar dat wordt april'. Heb ik wat gemist op 1 mei..?
@routemaps Het doorvoeren van de widgets in de KNMI-app is inderdaad nog wat verder vertraagd, o.a. doordat deze goed getest moeten worden. Achteraf was het verstandig geweest om meer speling in onze communicatie in te bouwen, maar de widgets worden naar verwachting deze maand uitgebracht. Excuses voor de vertraging!

@knmi
Ik durf het bijna niet te vragen...

Geef je hier een seintje als de widget klaar is? Dan hoef ik niet meer te reageren... Succes.!

@routemaps Begrijpelijk dat je daar huiverig voor bent geworden 😉 Maar we hebben goed nieuws, de widgets zijn met de nieuwste update doorgevoerd en beschikbaar gekomen. Als het goed is, kan je ze daarom nu vinden in je lijst met widgets! Laat je ons weten hoe het bevalt?
@knmi @routemaps Op mijn Fairphone met e/OS gaat er toch iets mis (in de app zelf zijn deze gegevens horizontaal scrollbaar, waardoor daar het probleem niet is). Ik dacht ik check nog even de gitlab maar zie geen recente activiteit meer daar (laatste commit 4 maanden geleden op de Android versie?)
@murb @routemaps We hebben onnodig grote kader weggehaald, volgende week gaat de meer met de release. Dan zou dit opgelost moeten zijn. Zo niet, stuur gerust een mail naar informatiecentrum@knmi.nl. Al gaat hier wel heel veel mis met de getallen dus dat zoeken we uit, excuses.

@knmi
Het werkt🥳

@routemaps

@ginkka @knmi Mastodon is voor mij nog een puzzel. Mooi dat het werkt, maar kan ik de widget ergens downloaden..? Graag reactie in de mail: info@routemaps.nl, dan hoef ik niet zo te zoeken... ;-)
@routemaps het gaat over de weer app van @knmi voor je mobiel. Als je de app hebt geïnstalleerd en het pictogram ingedrukt houdt, kun je nu ook kiezen voor widgets.
@ginkka @knmi
Okay, duidelijkheid voor mij... Maar ik wil de widget gebruiken in mijn kaarten op RouteMaps.nl en dat is in html op een website (WebApp). En ik kan de KNMI-app niet downloaden op mijn PC...
Ik gebruik nu de widget van Buienradar, maar die wordt slecht onderhouden.