Remote

Gina Peter Banyard

@Girgias@phpc.social

mastodon 4.7.3

PHP core developer and technical writer for the PHP documentation, funded by @thephpf@phpc.social
Previously maintainer, and master of typos, for the French translation of the PHP documentation.
Conference speaker who's always happy to rant on stage.
Mathematics BSc from Imperial College London
Photograph/Otaku in my spare time
Speaks 🇬🇧🇫🇷🇩🇪🇯🇵

838 Followers

378 Following

50 Posts

Joined November 08, 2022

Website:

https://gpb.moe

GitHub:

https://github.com/Girgias

Photos:

https://www.flickr.com/people/girgias/

Pronouns:

she/her

Gina Peter Banyard @Girgias@phpc.social

· 3w ago

Replying to on wandering.shop

@xgranade@wandering.shop I really need to go back to thinking about a basic PHP subset to WA compiler and/or executing WA code from PHP. But time, and last time I tried to understand WA I got lost as it turns out a degree in math did not prepare me for all the things I need to start these sort of projects.

1

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@mackensen@higheredweb.social right, that is annoying. I know @asgrim@phpc.social has submitted PRs to most extensions but some just lack maintainers to merge the changes :/

4

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@QuietMisdreavus@squad.town yes, yes, yes. I've used this same framework to talk about tooling and it sometimes feels like I'm screaming into a void...

4

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

I've had these "A Silent Voice" vinyls for years but no player. But we did buy a vinyl player for Xmas last year, and I just remembered I had them. So playing them right now! #anime #vinyl #koenokatachi

4

1

2

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@david_chisnall@infosec.exchange *oh* is that why POSIX specs are always whack?

2

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Trans rambling

5

4

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@Skoop@phpc.social between that and Eurostar being *insanely* expensive yes. I known the latest EU rail regulation package should mandate cross company ticketing guarantees but it's currently planned in a nonsensical way...

2

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Okay so the Belgian security people for Eurostar are officially the dumbest people. A couple is taking ages to put their bags/suitcase into trays but there is still so much space ahead of them so I just move forward to put my bag in, and I'm told off to just wait. The queue for security is twice as long as passports and you just opened a new one because you don't actually know how to process a large number of people.

3

2

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@Crell@phpc.social @wlaatje@social.edu.nl the PHP one is not a sec issue, as you would need to run the malicious code yourself.

3

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

So people want to see some live coding. I'm going to _try_ to do a stream tomorrow around 1400 BST, implementing the proposal likely to pass from the #PHP 8.6 mass deprecation RFC. Will be at https://phpc.tv/c/rant_time/videos (hopefully) Not sure if following @girgias@phpc.tv or the channel will give you notifications directly on Fedi :thinking: https://phpc.social/@Girgias/117026802586541450

1

2

2

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@hikari@social.noyu.me @saramg@fosstodon.org @goatsarah we actually made float to string locale independent in 8.0 to prevent this sort of stuff. And string to float AFAIK was never dependent on the locale.

2

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@typeswitch@gamedev.lgbt this *feels* similar to the quadrilateral - rectangle - square class hierarchy problem. A lot of these things are not obvious and it can be quite challenging to explain the nuance between those. Not sure if trying to talk in terms of super types or going straight to dependent types would help :/

1

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@erisceleste@tech.lgbt mood

1

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 4mo ago

Gotta love dysphoria kicking in while you're having a fun time flirting/sexting.

I feel I should try to write something about the relation between kink and dysphoria. But that's going to be a struggle, and also highly specific.

3

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@ramsey@phpc.social I've been out of the anime loop for a while, so no immediate one pops to mind. But it just means "amazing animation" or animation that's very detailled. You can probably just pop sakuga compilation on youtube and get good examples

1

3

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

Also looking forward to debugging the test expectations on CI. As I don't have a Windows machine, and some of the extension tests fail locally for me *woohoo*

1

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Sometimes I truly believe that I have grasped all of the weird semantics of #PHP, and then I discover something so simple that breaks an assumption I had about the language.

I knew that NAN == X can return true. I knew that the comparison operators are not transitive. I obviously knew that "0" == 0 and "0" == false return true.

And yet it was foolish of me to believe that all instance of X == false would give the same answer as X == null.

As TIL "0" == null is false.

1

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@syntaxseed@phpc.social idk the issue is not people thinking about new tools, techniques and programming languages, but *evolving* existing tooling / programming languages is such a slow and tedious process. Many interesting and novel ideas *exist* but aren't in any mainstream PL. The closest we have got is Rust, and look at the reluctance and whack ideological rhetoric people have bashing it. (this is not to say it is perfect, but it's a significant improvement for a system PL)

1

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@slightlyoff@toot.cafe stuff being in limbo is always bad :/ I feel the main reason why something ends in limbo for us is just the single author/implemented lost the drive (or maybe that's just me who knows). I do think being able to "fail" quickly is good, but the current mood in PHP Internals is that the vote should effectively be a formality. Which is very hard to determine considering the very large, mainly inactive, voting pool that exists.

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@ramsey@phpc.social I'm fairly people mainly like ir for the sakuga. I stopped after a few episodes as I found it boring lol

0

6

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@markusstaab@phpc.social a bit mask?

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@emmatyping@hachyderm.io super interesting. Got a question as someone that doesn't understand build systems, how do you go about having both Rust and C code blend together?

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

You gotta love that the single train journey from Munich to Budapest with a seat reservation getting cancelled by ÖBB turning into 3 journeys with no reservation is infuriating. Especially as there is quite a lack of clear communication and no mention whatsoever of possible compensation...

0

15

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@shudder@phpc.social There should be sound, I might not be talking at the beginning, but definitely around the 20 min mark I'm talking so :)

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 1w ago

Replying to

@kepstin@tenforward.social @0xabad1dea@infosec.exchange don't you get one of them in an anniversary box? I'm fairly certain I have 1 or too hanging around (and reminding me I should go back to GW2 as I had quite some fun in it)

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@sarantja@mastodon.social @wouter@types.pl @jesper@agda.club super interesting! Very much relate to the "how can this be used for 'actual' programming". When I did Lean at Imperial I very much couldn't figure out *how* I'd use this to write "normal" software. I also think many people that study or write DTPL do it because it interests them to push the boundaries and don't really think about acquiring users.

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2w ago

Replying to

@sarah@phpc.social Obviously :)

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@sarantja@mastodon.social @wouter@types.pl @jesper@agda.club Something that kinda bites them back when students claim that the DTPL they need to study is less capable then some other one. IIRC @stuebinm@pleroma.stuebinm.eu has witnessed this experience regarding Isabelle.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@afup@mastodon.online Mauvais lien ;)

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@xgranade@wandering.shop I worked 3 months doing admin for a B2B waste management company. The shit you'd hear from clients was incomprehensible. The dumbest one was a client complaining needing to pay for 2 skips when they only used one, when what they were paying was weight of waste. Wanted a refund for the unused skip and paid the overweight charge. An extra grand was earned that day. Maybe it was to prove a point, but they asked the same thing again the week after. Business is just people.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to on social.seabass.systems

@seabass@social.seabass.systems what's the plan after Sunday? As I could help but based in London so depending on onward travel might not be the most ideal.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 4mo ago

Replying to

@pigworker@types.pl WHAT DO YOU MEAN JUST ABOUT TO GO TO BED????

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@slightlyoff@toot.cafe And I'm not saying this process is perfect, as sometimes I wonder if having multiple stages would be a good idea. But too many layers does mean achieving anything becomes too bothersome and stalled ad infinitum (a problem that we have when disagreements happen for minor issues and then you need to invest way too much time into a process not designed for these sort of things...)

0

5

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

So the reason we haven't had water for hours is because the water mains have bursted... around 100m from where I live, taking water away from 4 postcode prefixes.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@dee@social.treehouse.systems you could do the classical Japanese thing of buying a shitty umbrella at a convenience store and discard it as soon as it stops. (yes bad for the environment) But have a nice trip, Tokyo is nice but if it's not for work I do hope you'll be going outside of it :)

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@edwinb@types.pl looking forward trying to not be distracted by the blueness while you talk about Idris :p

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@slightlyoff@toot.cafe and yet I'm constantly told that contributing to #PHP is too hard when it takes, checks notes:

Signing up to a mailing list
Asking for a Wiki account
Write an RFC on the wiki
Send email to same mailing list about your RFC
Minimum 2 weeks of discussion
Call a vote, which runs for 2 weeks
Hopefully have RFC accepted?

Which is incredibly accessible to the point where sometimes you get E_TOO_MANY_RFCS that are not fleshed out enough...

0

4

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@SuperDicq@minidisc.tokyo he has a personal disdain for PHP so obviously he wouldn't think of it.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2w ago

Replying to

@ocramius@mastodon.social Lenses are a concept in category theory, but I'm very unsure if that's what you are actually looking for.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@shudder@phpc.social also at one point I forgot to add a mic source for the IDE scene

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

Point zero with the funicular in the back!

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

@mfrost503@phpc.social or you hope for them to transition over time :p

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Ah, just one more thing miss Banyard [...]

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Created an alt account, not fully certain how spicy I'll be on it. Will be somewhat selective with who I'll let follow, but if you want access feel free to DM.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 3mo ago

Replying to

Trans rambling

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@grmpyprogrammer@yac.grumpy-learning.com Not knowing any Go and staring at it for a bit I guess it's something like: `function SlicesIndex(non-empty-list $s, E $v): int {}` But I guess the `S ~[]` might mean more "a slice of a list" rather than non empty.

0

0

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@mackensen@higheredweb.social why is PIE not an option? Lack of features? Something else? The objective is to fully turn off PECL in the near future. So PIE needs to work for any use case.

0

1

0

0

Gina Peter Banyard @Girgias@phpc.social

· 2mo ago

Replying to

@markusstaab@phpc.social checks out. I might have a look at the PR later for funsies :)

0

0

0

0