ctenb

5 ms·

1.
by ctenb 5d ago
Thanks for sharing. I'm going to give it a spin for a while. The downside is you cannot comment or vote on the external site so you are always juggling the two sites for that.
2.
by ctenb 7d ago
They didn't write a traditional proof, but a lean program, which can be used to validate proofs formally, using a computer. It's still up to humans to check wether the formalization is sensible, but the proof is correct.
3.
by ctenb 11d ago
Where did you find that it is based on sonnet? While I wouldn't be surprised, I'm curious if that is disclosed somewhere
4.
by ctenb 12d ago
Title of the video: The paradox at the heart of AI and science
5.
by ctenb 12d ago
I also never had battery issues with my fp4, except it sometimes starts draining really fast. Fix is too charge while phone is shutdown.
6.
by ctenb 12d ago
I'm not sure that your description of generalization coincides with the idea of modeling abstraction from TFA. Modeling abstraction is "about identifying what should leak and leveraging it". Generalization is about making som
7.
by ctenb 12d ago
While I agree with the overall sentiment in this thread, it should be clear that any body of water is highly dangerous for kids until they can swim. It is not disclosed in TFA if the kid was able to swim, but the average 5 year old in the U
8.
by ctenb 21d ago
Not using AI to write production code doesn't mean you can't use AI proactively to find vulnerabilities.
9.
by ctenb 22d ago
Soccer has no fixed pitch size, only upper and lower bounds on the width and height where the size must fall into
10.
by ctenb 1mo ago
Same. There is such a thing as a title being too ridiculous or provoking to want to read the article
11.
by ctenb 1mo ago
> 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?
12.
by ctenb 2mo ago
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 ideas in an exact way. It clears things up for the writer a
13.
by ctenb 2mo ago
Looking at the code and the commit log, this is a large pile of slop
14.
by ctenb 2mo ago
Link? I never heard of this and I'm very interested
15.
by ctenb 2mo ago
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 properly implemented those.
16.
The Widening Gap: The Benefits and Harms of Generative AI for Novice Programmers(dl.acm.org)
1 points by ctenb 2mo ago|0 comments
17.
What AI does to the minds of novice coders [video](youtube.com)
2 points by ctenb 2mo ago|1 comments
18.
by ctenb 2mo ago
Read the research this video is based on about the "widening gap" here: https://dl.acm.org/doi/10.1145/3632620.3671116
19.
by ctenb 2mo ago
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.
20.
by ctenb 3mo ago
If you literally can't quit your job, that's called slavery, you realize that?
21.
by ctenb 3mo ago
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.
22.
by ctenb 3mo ago
Dupe news.ycombinator.com/item?id=48674967
23.
by ctenb 3mo ago
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.
24.
Ask HN: What rules does your team have for using AI in a durable codebase?
2 points by ctenb 3mo ago|1 comments
25.
by ctenb 4mo ago
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 something that no one wrote. Especially if it
26.
by ctenb 4mo ago
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 write their own thoughts down. The writing in TFA is c
27.
by ctenb 4mo ago
Maybe expand ML to Machine Learning to avoid confusing with the programming language
28.
by ctenb 5mo ago
Have you tried that, or is it just a random thought?
29.
by ctenb 5mo ago
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 enforce correctness at a low level.". What is the diff
30.
by ctenb 6mo ago
While the message is valid, it's ironic that this was clearly written by AI.

More ›