rsrsrs86

5 ms·

1.
by rsrsrs86 13d ago
The slop vibe from the landing page and the intense use of Claude in it puts off any serious consideration of this. It’s so synthetic is impossible to tell apart from slop.
2.
by rsrsrs86 13d ago
No
3.
by rsrsrs86 13d ago
You need to do some studying _without_ chat gpt if you like math.
4.
by rsrsrs86 15d ago
This is uninteresting, because 1) you could just share your prompt: “implement Greg Michaelsons book in racket” 2) you added nothing to it 3) you skipped about everything that is interesting to study when learning the lambda calculus
5.
by rsrsrs86 17d ago
“ The wording matters. He is not asking for cash. He is asking the company that caused the incident to pay in the one currency it has most of.”
6.
by rsrsrs86 17d ago
“ The wording matters. He is not asking for cash. He is asking the company that caused the incident to pay in the one currency it has most of.” ChatGPT
7.
by rsrsrs86 20d ago
Layered joke
8.
by rsrsrs86 23d ago
Not only did they look at user data The whole business is based on reselling user data scraped from the whole internet It’s plagiarism at scale
9.
by rsrsrs86 23d ago
Did I read openAI and integrity in the same sentence? The whole business is built on plagiarizing human knowledge at scale
10.
by rsrsrs86 23d ago
Could we expect otherwise from big tech?
11.
by rsrsrs86 23d ago
Fuck OpenAI
12.
by rsrsrs86 25d ago
Slop….
13.
by rsrsrs86 1mo ago
AI writing is getting hard to digest
14.
by rsrsrs86 1mo ago
It’s a step down. This is not efficient writing. It would rank as very bad academic writing indeed. It’s not even good for academia, journals are flooded with slop.
15.
by rsrsrs86 1mo ago
Impossible to read the slop wall and find the interesting bits. “Unusually” boring because “this distinction matters”
16.
by rsrsrs86 2mo ago
Could not look for more than a split second at the landing page. The polluted UI is so typical of slop
17.
by rsrsrs86 2mo ago
You mean SMT, right?
18.
by rsrsrs86 3mo ago
Slop. It barely works
19.
by rsrsrs86 3mo ago
Slop?
20.
by rsrsrs86 4mo ago
Chasing models for me it’s a big yellow flag Means underinvesting in engineering Look into it
21.
by rsrsrs86 6mo ago
Hi Nick, do you believe what you say? You scraped the shit out of everyone
22.
by rsrsrs86 6mo ago
This
23.
by rsrsrs86 6mo ago
Yeh the guy is going nuts. His whole job analysis thing is ridiculous. To me, it tells the guy has no critical sense, because this kind of paper would ruin the career of any economist.
24.
by rsrsrs86 7mo ago
This has been known forever… they shouldn’t exist. Anyone shocked to know Zuckerberg’s company does it? The guy started by stalking and ranking girls at college FFS.
25.
by rsrsrs86 7mo ago
Real spec driven uses no tokens
26.
by rsrsrs86 7mo ago
It is very fluffy, but the idea of using formal methods works. It just never settles down… the workflow keeps improving and changing. You don’t need stable tools
27.
by rsrsrs86 7mo ago
I do exactly this. The database schema won’t change as often.
28.
by rsrsrs86 7mo ago
That’s how I do it, minus the marketing.
29.
by rsrsrs86 7mo ago
As a researcher in formal methods, I totally get you
30.
by rsrsrs86 7mo ago
Yes, 4GL and 5GL failed, but authoring Access applications should be a breeze now.

More ›