vidalee
Re:Game Devs Explain the Tricks Involved with Letting You Pause a Game
on Monday April 20, 2026 @09:38AM (#47834161)
League of Legends is using the same system
Re:Kubernetes operators are easier than you think
on Saturday March 07, 2026 @10:55AM (#47288723)
Hi! This is my first blog post, feedback welcome. I tried to make it accessible without being too surface-level, let me know what you think :)
Kubernetes operators are easier than you think
Re:Why Replicate is joining Cloudflare
on Tuesday December 02, 2025 @05:19AM (#46119696)
They are, on the NYSE: $NET
Re:KLEE Symbolic Execution Engine
on Wednesday August 28, 2024 @06:10AM (#41377876)
I discovered the Klee engine when reading The Ph.D. Grind by Philip Guo[1], it gives an idea of how its development was going at the time and this is also why I have difficulty appreciating the software, an interesting read if you want to get a feel of the academic world.
Re:The Bulma CSS framework reaches 1.0
on Friday March 22, 2024 @11:48AM (#39791858)
Yes! As you can see by the primary color of the framework :)
Re:Why you should use a terminal editor to write a commit message
on Thursday March 21, 2024 @09:41AM (#39778409)
Feeling that these are mostly nitpicks to be honest:
- The first two reasons are quickly invalidated once muscle memory is in place.
- I rarely break line and keep my commit messages short, but that depends of your workflow I guess, in my case the information is mostly in the linked ticket.
- If you accidentaly press enter and need to amend, you don't need to write the message again, just edit the part you want in the editor.
- My terminal do not have render issues.
- For the pre-commit hook it's been a while since I used one on commit messages, but how does it check the message validity before commiting using a terminal editor ?
TL;DR: the only point I found applicable in my case is the argument on special characters (such as $), but it never happened to me for now
Re:Law enforcement doesn't want to be "customer service" reps for Meta...
on Thursday March 07, 2024 @10:30AM (#39630295)
The vast majority of people on social medias aren't there for following politics or corporations, but connecting with friends and communities.
Re:Twitter's Former Head of Trust and Safety Finally Breaks Her Silence
on Wednesday November 22, 2023 @10:20AM (#38380410)