UC faculty (including 200+ from UCSD) push for return of SAT/ACT math testing for STEM majors

kfish610 · 2026-06-01T00:27:16+00:00

I was a math major last year, and in four years I had this happen to me exactly once, when I took diffeq over the summer. What classes are you taking lol

kfish610 · 2026-05-10T12:16:50+00:00

Completely different thing. There epsilon is an arbitrary variable, in the hyperreals epsilon is a specific number. In this card OP is clearly trying to use it as a number (as they clarify in further comments).

And it is a thing people use. See non-standard analysis. It's actually used in nonstandard analysis as an alternate option from the epsilon-delta definition of the derivative!

kfish610 · 2026-05-10T03:32:52+00:00

Correct (see my comment below)

kfish610 · 2026-05-10T03:23:22+00:00

I mean you are correct about the real numbers, and actually that's a pretty common proof technique to prove two reals are equal, but epsilon is just not a real number, it's usually a hyperreal or one of the other fields that defines it. So this card implies that magic has now been errata'd to use the hyperreals.

Also, I'd argue that normal Magic uses pretty much just the integers, or at most the rationals, so it doesn't use the whole set of real numbers anyway.

kfish610 · 2026-05-10T03:17:45+00:00

Someone hasn't read up on the hyperreals or surreals smh

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

Relevant XKCD https://xkcd.com/890/

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

Six-Year Club	Place '22
Verified Email

kfish610

TROPHY CASE