Surac's comments

On: Malicious npm packages detected across Red Hat Cloud Services

[Surac]

Npm is just borked by design. I hop it will take javascrip with it

On: A few interesting modern pixel fonts

[Surac]

Analog Mono is no pixel font it is just a vector font drawn as if there where a raster

On: A few interesting modern pixel fonts

[Surac]

Analog Mono is no pixel font. It is just a vector font using lines on as pixel like raster. I see this a littel bit as false advertising. TTF files can carry pixel fonts quite well but people seem dont know what a real pixel font is.

On: Migrating from Go to Rust

[Surac]

Just on Question: Why? Why migrate and open a new can of worms?

On: Nairobi became a nexus for the black market in giant harvester ants

[Surac]

At least the are not ground to powder or something to be used as a fertiliser for Chinese man penis

On: More than sixty percent of the United States is experiencing drought conditions

[Surac]

So that‘s „making Amerika dry again“ trump is promising?

On: NSA Warned Everyone to Reboot Their Routers

[Surac]

so NSA installed a backdoor to each router and now needs you to restart it to open the backdoor?

[hulitu → Surac]

No, the old one wasn't good tested and it hang the router. They will send a new one OTA on the next reboot.

On: Ti-84 Evo

[Surac]

To bad it is still made for pupils and not engineers. I tried using it for computer science and math and it lost to a Casio

On: A Dumb Introduction to Z3 (2025)

[Surac]

Problems solved nothing learned. Poking my problems into a black box and getting numbers let me only learn how to poke numbers into black boxes

[Arainach → Surac]

You learn how to use tools to solve problems and what kind of problems those tools can solve.

Using a database or 3D Printer isn't bad because you don't learn anything about the internals.

[amelius → Surac]

It's still better than using AI, where even the authors of the black box don't really know what they're doing.

[NooneAtAll3 → Surac]

to be fair that's the general experience with such solvers

step 1: insert the problem

step 2: ???

step 3: profit

On: High-Level Rust: Getting 80% of the Benefits with 20% of the Pain

[Surac]

I would disagree with C# having a (-) at Types. The Type system is indeed the most impressing part of .net/C#. having written static analysers for many languages i find the c# type system the most logical and most easy to parse

[SIRHAMY → Surac]

C# is missing expressive types for me.

That might land with native unions but it's not there yet. There's workarounds with OneOf and Dune but those are kind of messy.

I think expressive types on dotnet are possible - I am a big fan of F# and those types are very good. So I think C# will get there but I can't say it's there yet.

[vips7L → SIRHAMY]

Once union types land, it will just need first class support for checked errors instead of unchecked exceptions flying around everywhere.