@thgs@phpc.social avatar

thgs

@thgs@phpc.social

Passionate (oddly?) and stuck with #PHP for quite a few years, although I have fallen for #Haskell and #assembly in the past.

Currently exploring and learning about #DDD, although I will always like a quick and aggressive "hack".

Always learning. Finding myself, mostly, at the tip of a contradiction!

Also a father, nowadays.

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

Crell, to random
@Crell@phpc.social avatar

When you say what a word "means", what do you mean by "mean?" It's actually not a trivial question.

https://peakd.com/language/@crell/bounded-vs-centered-sets

thgs,
@thgs@phpc.social avatar

@Crell one of the most interesting articles I’ve read from you. At least to me!

Thanks for this, good read.

thgs,
@thgs@phpc.social avatar

@Crell its centered towards high praise. I don’t think I have seen anything close to low bar from you but to me this stands out as one of the articles I’ve read that are making a point about a broader concept than lets say null type.

Having said that, one wonders if null type is actually less broad but well..

I just really enjoyed reading the article as I like elaborate explanations the way you do them but also didn’t know about the distinction of these two sets. Now I keep thinking about it

thgs,
@thgs@phpc.social avatar

@Crell oddly lately another thing that stuck in my head is this

"If you ever want to go far in life, you must learn the
value of proper nomenclature"

(One of the mages in Act I of Discworld video game)

You mention we label things wrong? Could it be because the two are associated somehow? I cannot decide, whether say bounded sets are a specialisation of centered ones or completely exclusive. Are they distinctive properties of things or the definitions contextual (whether X is bounded) ?

davidbisset, to webdev
@davidbisset@phpc.social avatar

Hey #webdev and #developers community, what's your main setup? #programming #screens

thgs,
@thgs@phpc.social avatar

@davidbisset I've got 6 on the left and 8 on the right 😜

thgs, to random
@thgs@phpc.social avatar

Contemplating the irreversible nature of time, in software projects.

stefanzweifel, to php
@stefanzweifel@phpc.social avatar

While making my PHP packages compatible with Laravel 11 the last few weeks, I've also spent some time and added PHPStan to all of them.

The more simpler ones are already on level 9. The more complex are still on level 5 or 6. I'm still a novice when it comes to proper type documentation. Goal is to increase levels throughout the year.

Links to all packages:
https://stefanzweifel.dev/projects

#php #phpstan

thgs,
@thgs@phpc.social avatar

@stefanzweifel @regis what makes it hard to go max level in Laravel? I haven’t written any code related to laravel since version 5 but I wasn’t doing psalm/phpstan back then.

I usually try to go max and anything less is just “temporary” these days.

thgs,
@thgs@phpc.social avatar

@stefanzweifel @regis yea I see, I was just curious about what is the obstacle. Also way more competent with psalm than phpstan myself, magic properties are still possible but you would need to define a lot of psalm types. I think more or less the same for phpstan too.

It’s quite a bit of difference in the code in level 5 and then level 3 and then level 1 (reverse these for phpstan).

I tend to like the way you need to write the code in the max level because it ends up being guided a lot.

bobmagicii, to random
@bobmagicii@phpc.social avatar

a good april fools from microsoft would be a post claiming to finally fix this.

thgs,
@thgs@phpc.social avatar

@bobmagicii I don’t think it’s a bug. Or was that April fools? I cannot tell!

I will bite anyway, I thought this was allowing you to change the directory on another drive, without switching to “be” on that drive until you say so. So things like copy to q: would go in that drive’s current directory?

thgs,
@thgs@phpc.social avatar

@bobmagicii they have fixed it.

Try cd /d q:\

thgs,
@thgs@phpc.social avatar

@bobmagicii here’s this guy explains the intended behaviour

https://stackoverflow.com/questions/11065421/command-prompt-wont-change-directory-to-another-drive

Yes I googled it just now. It seems interesting and also has an old MSDOS feeling to it. And yes it is different from the *nix cd.

thgs,
@thgs@phpc.social avatar

@bobmagicii Windows are multi dimensional! They have a current directory for each drive. I guess!

thgs,
@thgs@phpc.social avatar

@bobmagicii well that is actually not a bad idea.

Completely unrelated, the mention of 256 reminds me of being able to make a folder with alt+0255 or 256 that is “hidden”. Or was, in win9x.

thgs, to random
@thgs@phpc.social avatar

This looks so interesting to get notes done

https://kbd.news/Micro-Journal-2332.html

thgs, (edited ) to random
@thgs@phpc.social avatar

Which browser are you using at home?

thgs,
@thgs@phpc.social avatar

@jake4480 I guess given that a lot of people are working from home nowadays, saying “at home” does not necessarily mean it’s not for work! My bad there..

thgs,
@thgs@phpc.social avatar

@lorimolson Did not know about this one, the UI looks quite interesting.

Unfortunately cannot run it myself in my old Mac OS version.

thgs, to random
@thgs@phpc.social avatar

pop up tents are fascinating, especially if you know how to fold them.

sebastienmonterisi, to random French

I've just started using just.
https://just.systems/
I'm using it since a few days, that's a pretty simple nice tool.
makeFile is to ... make files.
Just is just a fine task runner.

thgs,
@thgs@phpc.social avatar

@sebastienmonterisi that’s interesting and quite clean

thgs,
@thgs@phpc.social avatar

@sebastienmonterisi yea it’s a nice idea I think. Going to give it a try first chance I get

daryl1509, to random

https://laravel.io/articles/preventing-duplicate-form-submissions-using-atomic-locks

thgs,
@thgs@phpc.social avatar

@daryl1509 Perhaps you find interesting the PRG pattern

https://en.wikipedia.org/wiki/Post/Redirect/Get

thgs, to emacs
@thgs@phpc.social avatar

#emacs is growing on me.

https://www.youtube.com/watch?v=xSP8zikWPDw

eefi, to random

Putting way too many books on my ebook reader for a 5-day trip. But what if

thgs,
@thgs@phpc.social avatar

@eefi share some titles!

thgs, to php
@thgs@phpc.social avatar

Does anyone know of a tool that writes PHP classes out of diagrams?

thgs,
@thgs@phpc.social avatar

@Crell Yes, I'm wondering if there is a tool already. I've tried with phpstorm in the past for the reverse operation of generating a diagram from code but it was not that nice.

The only thing remotely close I've found is https://www.visual-paradigm.com/support/documents/vpuserguide/276/330/7341_instantgener.html but I haven't tried it.

elazar, to random
@elazar@phpc.social avatar

wddbfs – Mount a sqlite database as a filesystem https://adamobeng.com/wddbfs-mount-a-sqlite-database-as-a-filesystem/?utm_source=tldrwebdev

thgs,
@thgs@phpc.social avatar

@elazar Inspiring!

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