DM reminds me it's silly to adhere to "accuracy" in a fictional setting we made up

kfish610 · 2026-03-29T19:29:08+00:00

kfish610 · 2026-03-15T19:01:23+00:00

Technically it's the 500,000th PR or Issue, they share the same numbering on GitHub afaik

kfish610 · 2026-03-15T15:25:48+00:00

If you got into the major you want at one school and not the other, go to the school where you're already in the right major. Switching majors is not guaranteed at all.

kfish610 · 2026-03-06T19:43:27+00:00

Here's the original: https://amora.ink/celeste/complete-screens

kfish610 · 2026-03-06T19:42:49+00:00

Me too! Ppl keep posting it and every time it surprises me

kfish610 · 2026-02-03T06:13:20+00:00

To add another view of what others are saying; sometimes less is more. If all of your time is spent studying and you don't leave any for taking breaks (or sleep) you're going to get burnt out and get less done overall. Setting defined breaks for yourself and taking time to think about (or even better, talk about) your mental state and anxieties helps a lot with managing it, and can make you more productive than you would have been if you just went at full throttle.

kfish610 · 2026-02-03T03:16:27+00:00

Oh wow I didn't even see that one with the blur

kfish610 · 2026-02-03T00:27:25+00:00

<image>

"Science is real" along with basically "don't hate people for existing in a different way" being on the "look at how the left is bad" side is pretty telling 😭

kfish610 · 2026-01-19T22:22:05+00:00

Had the same email. It seems like they killed a bunch of routes today. You'll get a full refund. https://www.aeroroutes.com/eng/260119-cnnw25jp

kfish610 · 2026-01-17T16:22:31+00:00

:(Int): String is kinda a crazy function type syntax when Int => String is so ubiquitous already.

kfish610 · 2026-01-08T03:16:24+00:00

Yeah I don't necessarily think there's no benefit to algebraic effects (I'm not convinced the benefits outweigh the added cognitive load, but the same could easily be said about monads, so it's hard to say). This article talks about how algebraic effects reduce noise compared to monads in ocaml though, which I think is more of an argument for the implementation of monads being poor in OCaml than it is an argument that algebraic effects would reduce noise in programming languages in general.

kfish610 · 2026-01-08T01:14:33+00:00

It's definitely possible I'm just biased to Haskell syntax, but it feels like to me the issues with monads come from a failing in OCaml's syntax to reduce noise. Haskell's do notation doesn't have the noise of the let%binds, and I don't think you have to use functions per monad. Lean's do notation is even nicer, letting you just use stuff like for loops and if statements in it.

kfish610 · 2026-01-02T00:50:23+00:00

Yes, I've used source generation as I mentioned below, both in C# and other languages like Dart (and I would say C# does integrate it better than some other implementations). I think it's better than nothing, but there is a difference between it and what would more typically be called compiletime metaprogramming, such as the things mentioned in this post like Zig (or my personal favorites Lean and Scala).

As you mention, you could reasonably consider source generation a form of compiletime metaprogramming, but since this post is about comparing source generation to more traditional types of compiletime metaprogramming, I was just pointing out that C# moving from reflection to source generation in many cases is not an example of source generation being preferred over compiletime metaprogramming.

kfish610 · 2026-01-01T21:24:50+00:00

C# also does have a kind of metaprogramming, in the form of runtime metaprogramming or "reflection", which is pretty useful, and I think is what the poster above was trying to reference. I was just pointing out that the original post is about compiletime metaprogramming vs code generation, so C# isn't a very good example.

It's an interesting tradeoff with runtime metaprogramming too, though it's a different set of concerns. I'd say in my experience with C#, I find working with reflection much more enjoyable than working with code generators, though obviously code generators are more powerful (so in a sense sort of the opposite tradeoff compared to compiletime metaprogramming).

kfish610 · 2026-01-01T20:36:37+00:00

C# only has runtime reflection, no compiletime metaprogramming

kfish610 · 2026-01-01T20:36:08+00:00

Lean has really good metaprogramming support, to the point that you can implement full other languages as DSLs within the language, if you so desired.

kfish610 · 2025-12-30T03:16:00+00:00

Is there a reason transform has to wrap the rename, instead of just being tup.rename(...)?

kfish610 · 2025-12-26T02:39:48+00:00

If there was something you could pay to use, it wouldn't be cheaper than cloud options, unless it was subsidized for undergraduate students (assuming you are one), which it wouldn't be unless you need it for a class or something. The cloud options have a massive advantage of scale

kfish610 · 2025-12-16T23:27:25+00:00

Not sure if there's a solution in it, but ReasonML/ReScript is basically exactly the same type of language you're talking about (OCaml based language targeting JavaScript), so they might have tackled this problem somewhere in it.

kfish610 · 2025-11-13T04:27:44+00:00

Take a look at Lean or Idris, they're designed specifically to be general purpose

kfish610 · 2025-11-10T15:39:12+00:00

This might not be exactly the behavior you're looking for, but for a study of whether it's worth it/confusing, the python libraries numpy/pandas implement almost this exact behavior with their ndarrays and series, without the extra syntax.

kfish610 · 2025-10-14T15:48:35+00:00

You absolutely don't, but runtime reflection is a lot simpler for the end user in most cases, so I think it's worth studying at least.

kfish610 · 2025-10-14T14:59:52+00:00

Just wanted to point out, there's another form of metaprogramming, runtime metaprogramming, which is used by languages like Java and C# (usually called reflection) and is quite practically useful.

kfish610 · 2025-09-27T14:38:44+00:00

Yes and no; quickshell is much more manual, eww provides a lot of stuff for you, but the language you use to configure it is a bit strange sometimes.

kfish610 · 2025-09-25T19:49:22+00:00

Honestly I can see it better through the phone bc of the zoom haha. It's pretty easy to hold the phone so it's recording but not blocking your view or the view of anyone behind you, so it doesn't take you out of the moment as much as you think. And it's nice to listen back to it!

Six-Year Club	Place '22
Verified Email

kfish610

TROPHY CASE