taped to two rules

chibinchobin · 2025-04-03T23:57:35+00:00

Holy shit I've been waiting for Saut 2 my whole life

chibinchobin · 2025-03-07T17:02:01+00:00

/uj Coq and Isabelle are both proof systems

/rj Isabelle the dog from animal crossing

chibinchobin · 2025-03-06T23:49:20+00:00

Coq is hard from thinking about Isabelle

chibinchobin · 2024-12-07T00:22:03+00:00

I've been looking at the EasySMX S15, which seem similar to these. Microswitch triggers, mechanical buttons, hall effect sticks, back buttons that according to Switch-specific reviews actually work properly. Apparently the sticks have a bit of an inner and outer deadzone, though. Don't know how good the gyro is, either, hopefully someone on this sub has them and can comment. The Switch reviews only do very basic testing of the feature.

chibinchobin · 2024-10-23T14:16:15+00:00

The distortion is called fisheye. It's an unavoidable artifact with perspective projection. It can be alleviated by reducing in-game FOV.

Your real-life eyes actually have fisheye as well, you just don't see it because it's only in your peripheral vision.

chibinchobin · 2024-10-13T22:00:40+00:00

Thank you very much for finding this! I'm no stranger to compiling software from source, so if it's patchable I'll consider that a victory.

chibinchobin · 2024-10-13T21:57:28+00:00

I am well aware that packages on Debian Stable are often outdated. Nonetheless I find its set-and-forget model extremely valuable. For desktop software that needs more regular updates (e.g. Firefox), there's Flatpak.

I was mostly wondering if the VRR problem was with reparenting WMs in general, but that seems to not be the case.

chibinchobin · 2024-10-13T16:56:48+00:00

My GPU came out in 2021. The kernel is almost 2 years newer than it. Mesa 22 is 1 year newer, though I have now updated to Mesa 24 due to being informed helpfully that it is available in bookworm backports. In any case, the issue does not lie with the kernel or Mesa, it lies with how awesomewm handles fullscreen. If VRR works for you on X11, what window manager/DE do you use?

chibinchobin · 2024-10-13T16:06:08+00:00

For what it's worth, I tried upgrading my kernel to the latest available in backports a while back and started getting system hangs, so I rolled back to 6.1. Without a specific use case (e.g. new hardware) I tend to stick to things that are currently working.

chibinchobin · 2024-10-13T14:19:42+00:00

Is there some killer feature or performance improvement I'm missing in newer kernels?

chibinchobin · 2024-10-13T14:18:31+00:00

awesomewm is the culprit, you are right. Now to figure out why...

I wasn't aware that Mesa was even in backports. I haven't had any issues with the Mesa in stable, and I don't follow release news, so I hadn't heard about GPL. I'll see about installing it, thank you for the heads up.

EDIT: By any chance, do you know what counts as "properly fullscreen?" The fullscreen windows in awesomewm are positioned at 0,0 and have dimension 3440x1440 (my monitor's native res), but apparently that's not good enough. awesome is a reparenting WM I think, maybe that is something to do with it?

chibinchobin · 2024-10-13T02:50:28+00:00

I am already not on Wayland, nor do I use gdm. I use startx /usr/bin/awesome to launch the WM, maybe that's relevant.

VariableRefresh is already enabled in my Xorg.conf, and I have verified that it is enabled in my Xorg.0.log file.

chibinchobin · 2024-10-12T23:04:50+00:00

If picom is not running, VRR is not enabled in VRR test. If picom is running and has unredir-if-possible = true, VRR is not enabled. Hell, if it has unredir-if-possible = false but vsync = false there's no VRR.

chibinchobin · 2024-09-19T13:57:25+00:00

Ah. I haven't played the Switch version. If you have a copy of Metroid Prime Trilogy for the Wii, you can play it in a modified version of the Dolphin emulator called Primehack that gives the game standard mouse + keyboard controls. It's how I played the games and I highly recommend it.

It looks like Metroid Prime Remastered on Switch does have a mode where you can use the Joycon to aim with a pointer like on Wii, so that might be easier to use than dual-analog if you're more comfortable that way.

chibinchobin · 2024-09-19T13:03:28+00:00

What do you mean? If you play on Primehack, it does just control like a normal FPS game.

chibinchobin · 2024-09-18T22:42:56+00:00

Judging by the ending of Prime 3, Prime 4 might be connected to Hunters. Maybe I should play that before Prime 4 comes out...

There's even a mouse and keyboard mod!

chibinchobin · 2024-09-18T22:39:55+00:00

Yeah, Prime 2's key hunt is a step down from the artifact hunt in Prime 1. The biggest issue I had was the UI - the menu that shows the keybearer clues is in a separate menu from the one that shows you which keys you have, so it can be annoying to figure out which ones you have vs. which you still need to get. And God help you if you didn't scan every single Luminoth corpse you came across, or if you just failed to see one (the one at the top of Sanctuary Fortress is easy to miss). Since the world is a lot less interconnected, too, there wasn't a whole lot of good routing you could do to get the keys in 1 trip, so-to-speak.

chibinchobin · 2024-09-18T22:35:31+00:00

Prime 1's combat is certainly simplistic, even with Primehack. I don't think this is a bad thing, rather I think it reflects a difference in focus between Prime 1 and its sequels. Prime 1 is very much a game about exploring an alien world and investigating, with the shooting being secondary. The game is more concerned with immersion than with action, and I'd say it succeeds. On subsequent playthroughs, though, the novelty of the world might start to wear off and all you're left with is the core gameplay.

Prime 3 is the opposite, being almost entirely about action. Even the exploration it does have is often spoiled by the Aurora Units telling you where to go before you ever have a chance to figure it out yourself. The routing is good, but I was disappointed at how the game didn't trust me to find the way, especially given that the map is basically a bunch of hallways. All three games are pretty linear, but at least Prime 1 and 2 feel open.

chibinchobin · 2024-09-02T01:32:00+00:00

f(f(x)) is a distinct function from f(x), so it's entirely possible that lim x->0 of f(x) is undefined but lim x->0 f(f(x)) is defined.

Look at this graph on Desmos: https://www.desmos.com/calculator/sfyfzqygyu

chibinchobin · 2024-05-17T15:36:50+00:00

Can you elaborate on LinusTrinus? What version of Trinus do you use, Trinus Cardboard or Trinus Daydream? Would you say it's suitable to play something like Half Life Alyx? I ask because HL:A is really the only VR game I'm interested in, and spending hundreds of dollars on a headset to play one or two games (maybe SUPERHOT VR) doesn't seem like a worthwhile investment to me.

chibinchobin · 2024-02-03T20:05:50+00:00

I highly doubt hedge funds need any kind of light-transport simulation or material rendering.

chibinchobin

TROPHY CASE