rirze · HackerTrans

vor 19 Stundendiscuss

> the ruby code: ``` cat = Cat.new cat.meow ```

As a non-Ruby user, this confuses me. Why can't `Cat.new` be a function reference? Does Ruby explicitly disallow this (i.e. passing around a function)?

rirze

vor 19 Stundendiscuss

I can't find the source for `mine`. Do you have a link?

rirze

vor 19 Stundendiscuss

I agree.

There's also a universe where he could've written it Linux Torvald-style and still come across as passionate but justified.

rirze

vor 19 Stundendiscuss

To my dismay, a lot of projects with anti-AI sentiment are accepting security patches found with AI. Take a look at `ffmpeg` for example.

The hypocrisy is puzzling.

rirze

gesterndiscuss

> mostly by humans

`mostly` is doing a lot lifting here. The Go rewrite uses plenty of copilot. The reason you trust it is because you trust the people doing the rewrite.

rirze

vor 4 Tagendiscuss

What happens to the money in these cases? I could imagine the official taking solace knowing the money he amassed over the years would eventually go his family.

rirze

vor 4 Tagendiscuss

So... incompatibility for Windows Java devs using `gradlew`?

Seems very niche to me.

rirze

vor 8 Tagendiscuss

You know why. I know why.

The people who care about this disproportionately collect distasteful media and would be in criminal proceedings if their material was uncovered.

rirze

vor 8 Tagendiscuss

So... is this a dataset fishing operation essentially? You want to train or collect samples for better Lean proofs?

rirze

vor 8 Tagendiscuss

How do one know this? I don't know where to get this information and whether to trust it.

rirze

vor 9 Tagendiscuss

Morally fallen? Sure, Europe hasn't fallen yet.

Systemically and structurally? Already on its way there.

Excessive moral policing results in strangling regulations, which is exactly what Europe is facing right now. The opposite of innovation.

Good luck in your endeavors.

rirze

vor 9 Tagendiscuss

Au contraire, Googlers have always been strangely academic brained and stuck in niche moral echo chambers.

This is par for the course.

rirze

vor 9 Tagendiscuss

Go through enough pattern recognition and you'll realize it's often not someone sticking to their guns.

Would the author have left if they didn't have another job lined up? Definitely not. Then, how strong are their principles?

That's not remarkable to many.

rirze

vor 9 Tagendiscuss

[flagged]

rirze

vor 10 Tagendiscuss

Very cool. It's often daunting to contribute to such a well-established and recognizable project, but this is exactly how it should work.

rirze

vor 14 Tagendiscuss

I think we’re going to find out the hard way that the proofs left to solve are very much not elegant.

rirze

vor 16 Tagendiscuss

Sincerely, I don't get the motivation for this. It feels like `age` is pulling most of the work I care about. `age` is the only tool here encrypting and decrypting secrets, are you managing the orchestration of secrets with your tool?

rirze

vor 16 Tagendiscuss

As long as the language supports lazy evaluation and short-circuiting through expressions, then great.

rirze

vor 17 Tagendiscuss

Look nice but super expensive for the normal developer. Good luck with the monetization, hope you get some company customers.

rirze

vor 17 Tagendiscuss

He comments on this in the Hackernews post text:

> Effect-TS is the full-featured option in this space and has a large ecosystem. Pure Effect offers a different tradeoff. It covers the 80% case: testable pipelines, dependency injection, retry, and OpenTelemetry hooks, all in under 1 KB with zero dependencies and no new vocabulary to learn. Effect-TS is a framework you build around. Pure Effect, on the other hand, is a pattern you drop into existing code.