Viewing profile — ctenb

> I take my time unless I feel like I can do it quickly with the smaller amount of weight What does that mean for you in practice, how long and how many reps?

I never felt that the theorems were the most useful part of mathematics, strange as that may sound. In my professional experience, math offers a framework, a language of expressing…

Looking at the code and the commit log, this is a large pile of slop

Link? I never heard of this and I'm very interested

Why not use an existing language with proper algebraic effects? This language seems to be a language with something that looks like algebraic effects, but it doesn't look like it p…

Read the research this video is based on about the "widening gap" here: https://dl.acm.org/doi/10.1145/3632620.3671116

For a second I thought the syntax was Koka, which is also a language with effects. But it's not, there are some syntax differences later in the post.

If you literally can't quit your job, that's called slavery, you realize that?

Cool that they list the definitions of the words afterwards. This makes it even more fun for non-native speakers, as it adds a free learning aspect to it.

Dupe news.ycombinator.com/item?id=48674967

It's not good practice to use acronyms without introducing them. From the title alone it's unclear what this is about, from the text it still had me guessing for a while.

What guidelines/manifest do you have set up in your team for using AI responsibly to generate production code that has to be maintained long-term?

I was hesitant to post my comment. It's the first time I've complained about this on HN I think. And it's not only about the flow of the words at all, it's more about reading somet…

Most articles I click on in the HN homepage turn out to be written by AI, judging from the phrasing. I'm weirded out by the fact that people don't seem to find it important to writ…

Maybe expand ML to Machine Learning to avoid confusing with the programming language

Have you tried that, or is it just a random thought?

Tangentially related, this post git me reading about the spectre language. In the spectre docs you write: "There is a notable lack of contract based programming languages that enfo…

While the message is valid, it's ironic that this was clearly written by AI.

Worth noting: the plugin system is steadily approaching maturity and will probably be integrated and released soonish™ https://github.com/helix-editor/helix/pull/8675

"Just" is exactly made for this, and it is amazing. You write a justfile that is somewhat similar to a makefile but without the painpoints and it provides a CLI interface of comman…

This has not been true for at least a decade for dutch buildings: there are strict regulations requiring decent insulation for new buildings. Renovating and insulating old building…

I agree to some extent, but in my experience it differs a lot between kids how doable having a conversation is