Toots for flippac@types.pl account

Written by Philippa Cowderoy on 2025-01-27 at 12:52

Getting an email telling me to look at my Universal Credit account is never fun.

Getting to the PDF it's really about to find a main header "We owe you some money", on the other hand...

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2025-01-20 at 08:46

Particular hiccup: the game's attempt to warn you not to cast most of your magic reads like it's strictly world building and you can get far enough in that you've picked up too many levels (bad in FF8) before you figure this out.

The card quest was still bad first time out whatever though. Far too much punishment for not doing it given the other systems.

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2025-01-20 at 08:43

Playing Final Fantasy 8 in 2025 with a current long-standing genre fan's awareness of both then-common translation hiccups and just how much meta stuff was common outside of the 90s Final Fantasy releases, I can see where the game was trying to prevent the bad time I had with it.

The PAL port on top of the change of plot pace was always going to be bad though, even if the pacing is far not 6 common now. I miss JRPGs with a ~40 hour target for experienced players, they were... punchier in a good way.

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2025-01-19 at 11:25

New blog post (at last!): Information Aware Type Systems and Telescopic Constraint Trees

https://flippac.org/posts/Information%20Aware%20Type%20Systems%20and%20Telescopic%20Constraint%20Trees.html

Mostly about my MSFP2020 escapades with a little history leading to them and a lot of overdue acks. Hopefully more to follow!

=> More informations about this toot | View the thread

Shared by Philippa Cowderoy on 2025-01-09 at 10:04 (original by Thib)

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2025-01-05 at 23:20

Game idea: x.com vs X-COM

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-31 at 21:33

somebody please tell my body the saying isn't "shart the year as you mean to go on"?

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-27 at 14:45

These days, if you're running in <1MB a garbage collector probably doesn't have to stop the world for all that long - and if you have fixed location buffers for your IO that don't need freezing, you've probably got a good shot at hard realtime for some possibly useful time constraints on a modern microcontroller

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-24 at 13:24

(yes, yes I should have done this in 2020)

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-24 at 13:22

Early Christmas present - this (from 2020) just got accepted to the arXiv:

https://arxiv.org/abs/2412.16206

I figure most people who know they want to read this already have, but a citeable permanent home is no bad thing! Especially when I have an extended abstract to be working on for TYPES...

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-22 at 12:40

Please frame the meme and its variants "we will be your family" rather than "we are your family now"?

For some people family's the f word, and phrasing that doesn't make room for consent doesn't help

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-17 at 14:18

Do I know anybody who'd be willing to endorse getting my MSFP2020 extended abstract up on the arXiv?

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-17 at 13:44

What's the preferred way to cite a technically-unpublished workshop extended abstract that doesn't have a guaranteed-permanent home?

(I can put a copy on my own site too, but that's not exactly archival grade either)

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-16 at 14:23

My fingers are definitely thanking me for the lighter microswitches, I should probably consider that if I ever replace the keyboard on my desktop! (laptop ones're hard to do much about, my usual portable USB keyboard's already pretty light)

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-12-16 at 12:01

Just got myself a Snackbox Micro, which arrived about an hour ago. Using Kailh Choc v1 Pink switches (I like a light touch for fighting games, I save heavy for real strikes).

If anybody's wondering, the default Amber switches are pretty nice in their own right - already played some Tekken 8 using them before the swap.

=> View attached media

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-11-29 at 22:37

I am currently getting an object lesson in why I keep my older (=backup) laptop in my bedroom: it's not actually comfortable for doing Real Coding on these days because only 16GB of RAM, so spending a few days ill in bed doesn't result in me trying to kill the time with hard coding.

If I get bored enough to write a 50-liner toy that doesn't tax me then hey, that happens, but it's also nothing to worry about: I'm awake enough for joke one-liners...

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-11-21 at 03:18

Reminder:

Fuck their party, we'll piss where we want to

piss where we want to, piss where we want to!

You would piss too if it happened to you...

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-11-20 at 19:05

honest science comms as [highly necessary] antifascist practice - including the uncertainty

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-11-16 at 00:13

I ended up on the butterfly site with an extremely predictable username. Dunno how much I'll use it yet: it's not actually as good a fit for a lot of what I want to do as here is.

=> More informations about this toot | View the thread

Written by Philippa Cowderoy on 2024-11-11 at 22:23

Trying to decide if I'm likely to stay up late enough anyway that I might as well write the technically-compiler from my AST to stuff in my abstract machine monad. There might be one or two decisions too many even doing it the naive way to not be asking for it, but if I pull this off and add the "primitives" map I've got a working interpreter (though far from a pleasant repl)

=> More informations about this toot | View the thread

=> This profile without reblog | Go to flippac@types.pl account