> suggestions for ingredient substitutions (if they’re good, which is the crucial part!) would be a really useful feature for me Can't they implement this feature without any gen AI? OK, the answer is that they don't…
While there are professors who use students to ghostwrite books or force them to submit papers in co-autorship, that's definitely not common, and practically impossible outside of graduate school. Your average…
That's what I am doing for my classes, just provide useful feedback and mark the homework as submitted. The university wants points, but for me any submission is 100% points, even if there are errors and omissions.…
It only remains to explain this to the management... That does not work with code, engages with AI only in the form of chatbots, but demands everything to be "AI native" and won't be there to deal with the consequences.
When there are 100 explanations of some topic, maybe it's not so trivial, after all, even when the bare axioms seem trivial.
I majored in mathematics and I learned category theory before touching any serious Haskell, and I still found most of the "monad tutorials" kind of opaque and handwavy, and I think there are inherently non-trivial…
I see increasing amounts of code merged to the codebase that is sometimes wrong, sometimes too brittle, sometimes fixes the symptom without addressing the bug. Two years ago the same code would be criticized harshly and…
Mathematicians care a lot about the exposition of their ideas, invest a lot of time in giving talks, writing, and don't publish too frequently, compared to other sciences. They normally don't feel like they are in some…
What kind of prestige? Peer review is anonymous unpaid work. A good review does not merely check the correctness of logical arguments, it gives suggestions for the exposition, citing the correct references, putting…
> the most non-trivial thing that technology can accomplish is a pseudo-form of automation for mathematics and coding It's irrelevant that this is a pseudo-automation, what's important is that techbros can convince…
GraphQL uses POST for queries.
I recognize many applications of gen AI, but copyright laundering seems the least interesting for me.
One thing is when you "distill" a working compiler from a language spec and books about compilers, another thing is when you e.g. copy chunks of GCC source code. That's definitely different, no? Many "super-duper…
I agree and that's my idea as well, exams are open book and extremely close to assignments. My issues are with the first year undergraduates, who are not mature enough to do homework that is optional, and when it's not…
Exactly, it's the most important part of the math education, there is no point in memorizing definitions and theorems without putting everything into practice. But it seems like the temptation to get perfect solutions…
This is basically my solution. Students who copy all solutions from LLMs maybe learn something, but it's like 5% compared to what someone can learn by doing the assignment without external help, or even by asking their…
As someone with a math background, I don't see Russell's paradox as some interesting mathematics beyond set theory. It's just an example showing that one should be careful about defining sets.
And older example: Warner brothers were born as Wonsal (or Wonskolaser), and they changed their names too (Hirsz became Harry, Aaron became Albert).
I feel like the internet used to be "cool that way", but it's not anymore. You don't do stuff for "engagement", but you probably want some audience and feedback, otherwise why bother publishing your work at all.…
It seems like this project tries to replace various battle tested and widely adopted things like sdkman, serialization libs, build systems, HTTP servers and web frameworks. Even if there's something wrong with any…
I don't know anything about the author, but they seem rather humble, not giving "do you know who I am" vibes at all, the writing is very humanizing, raises many good and relatable points. I enjoyed reading the whole…
Most international broadcasters have left the shortwave band quite some time ago, unfortunately. I think it is still easy to find BBC, China Radio International, Romanian radio, Radio Havana Cuba, but the list is…
> quirky California college radio stations I listen to SomaFM (https://somafm.com/) and FIP (https://www.radiofrance.fr/fip), they have online streams by genre. When something gets me interested, I look up the artist,…
Normally you don't want to format automatically generated code, you adjust the code generator instead.
The text on all pages looks very much LLM-generated, and I think all "user comments" there are fake too. (Edit: I mean "what people said" sections.) I like the idea of the site, but not the execution. It feels weird to…
> suggestions for ingredient substitutions (if they’re good, which is the crucial part!) would be a really useful feature for me Can't they implement this feature without any gen AI? OK, the answer is that they don't…
While there are professors who use students to ghostwrite books or force them to submit papers in co-autorship, that's definitely not common, and practically impossible outside of graduate school. Your average…
That's what I am doing for my classes, just provide useful feedback and mark the homework as submitted. The university wants points, but for me any submission is 100% points, even if there are errors and omissions.…
It only remains to explain this to the management... That does not work with code, engages with AI only in the form of chatbots, but demands everything to be "AI native" and won't be there to deal with the consequences.
When there are 100 explanations of some topic, maybe it's not so trivial, after all, even when the bare axioms seem trivial.
I majored in mathematics and I learned category theory before touching any serious Haskell, and I still found most of the "monad tutorials" kind of opaque and handwavy, and I think there are inherently non-trivial…
I see increasing amounts of code merged to the codebase that is sometimes wrong, sometimes too brittle, sometimes fixes the symptom without addressing the bug. Two years ago the same code would be criticized harshly and…
Mathematicians care a lot about the exposition of their ideas, invest a lot of time in giving talks, writing, and don't publish too frequently, compared to other sciences. They normally don't feel like they are in some…
What kind of prestige? Peer review is anonymous unpaid work. A good review does not merely check the correctness of logical arguments, it gives suggestions for the exposition, citing the correct references, putting…
> the most non-trivial thing that technology can accomplish is a pseudo-form of automation for mathematics and coding It's irrelevant that this is a pseudo-automation, what's important is that techbros can convince…
GraphQL uses POST for queries.
I recognize many applications of gen AI, but copyright laundering seems the least interesting for me.
One thing is when you "distill" a working compiler from a language spec and books about compilers, another thing is when you e.g. copy chunks of GCC source code. That's definitely different, no? Many "super-duper…
I agree and that's my idea as well, exams are open book and extremely close to assignments. My issues are with the first year undergraduates, who are not mature enough to do homework that is optional, and when it's not…
Exactly, it's the most important part of the math education, there is no point in memorizing definitions and theorems without putting everything into practice. But it seems like the temptation to get perfect solutions…
This is basically my solution. Students who copy all solutions from LLMs maybe learn something, but it's like 5% compared to what someone can learn by doing the assignment without external help, or even by asking their…
As someone with a math background, I don't see Russell's paradox as some interesting mathematics beyond set theory. It's just an example showing that one should be careful about defining sets.
And older example: Warner brothers were born as Wonsal (or Wonskolaser), and they changed their names too (Hirsz became Harry, Aaron became Albert).
I feel like the internet used to be "cool that way", but it's not anymore. You don't do stuff for "engagement", but you probably want some audience and feedback, otherwise why bother publishing your work at all.…
It seems like this project tries to replace various battle tested and widely adopted things like sdkman, serialization libs, build systems, HTTP servers and web frameworks. Even if there's something wrong with any…
I don't know anything about the author, but they seem rather humble, not giving "do you know who I am" vibes at all, the writing is very humanizing, raises many good and relatable points. I enjoyed reading the whole…
Most international broadcasters have left the shortwave band quite some time ago, unfortunately. I think it is still easy to find BBC, China Radio International, Romanian radio, Radio Havana Cuba, but the list is…
> quirky California college radio stations I listen to SomaFM (https://somafm.com/) and FIP (https://www.radiofrance.fr/fip), they have online streams by genre. When something gets me interested, I look up the artist,…
Normally you don't want to format automatically generated code, you adjust the code generator instead.
The text on all pages looks very much LLM-generated, and I think all "user comments" there are fake too. (Edit: I mean "what people said" sections.) I like the idea of the site, but not the execution. It feels weird to…