joe_the_user

13 ms·

31.
by joe_the_user 1mo ago
I think I could qualify as an expert on various topics relative to many average people. But it always bothered me when experts wanted to "just be believed". In your example, it doesn't long to explain why a database is better
32.
by joe_the_user 1mo ago
It seems logical since if one used chats in train, one would expect that there would be a delay before their use to get them the form appropriate for batch learning. The only way the chat could have been used would be for Open AI to baldly
33.
by joe_the_user 1mo ago
I personally am doing some LLM work right now where, if successful, I will have accomplished what was years worth of effort in a couple of weeks. But I feel "totally disorganized" in the way I'm doing it. I think that may be
34.
by joe_the_user 1mo ago
I am so busy baby sitting the robots and adding new projects on that I don't really have any time to find new customers right now? That statement seems to somewhat fly against the statement you have unparalleled productivity. I feel
35.
by joe_the_user 1mo ago
Note, it's not literally a duplicate but a related article on the same topic
36.
by joe_the_user 1mo ago
No other human activity poses this level of danger I'd say that's an unfortunate choice of words since it invites debate between which very problematic situation is worst rather than on ways to deal with each of them. Of course,
37.
by joe_the_user 1mo ago
https://archive.is/slQA5#selection-563.0-563.57
38.
Anthropic Researcher Quits over 'Out-of-Control' AI Fears(wsj.com)
14 points by joe_the_user 1mo ago|4 comments
39.
by joe_the_user 1mo ago
I wouldn't ever use an LLM for my own writing. But I'd use, after edits, for letters to bureaucrats, landlords and other types I'm forced to deal with. The thing is, the author may care about Linkedin but the relationship tha
40.
by joe_the_user 1mo ago
I don't think it's solely a matter of raw strength, but as Shin said, a willingness not to play to the program's strengths. I mean, one thing that rankled me about original Lee Sedol match was that Lee had no access to the pr
41.
by joe_the_user 1mo ago
I don't know where you got "forcing" here. The author is arguing for guis that give the option of keyboard use. Unless you think having hot keys underlined nonconsensually imposes visual complexity and confusion on the haples
42.
by joe_the_user 2mo ago
I think the gp found a viable counter to the ggp's version of the bitter lesson, which seems so extreme as to certainly exceptions. IE, they seem to say nothing but the latest frontier model is ultimately viable as an AI business. Th
43.
by joe_the_user 2mo ago
I think this line of argument is very important. Essentially, there's no reason to think "alignment" even makes any sense. But existence of the term comforts people - unjustifiedly.
44.
by joe_the_user 2mo ago
it’ll give you an article on “Hotels for Chickens” if you search “Hotels” because the word matches What if I fricken want fricken "Hotels for Chickens", what about that, huh? I mean, page rank was useful but it was also a step i
45.
by joe_the_user 2mo ago
Not that I'm a Derek Lowe fanboy or anything but the entirety of your comment is like "that guy needs to check himself" without, like, any specific context, any specific argument he's wrong on this specific question or l
46.
by joe_the_user 2mo ago
It's going to produce proofs far more intricate than humans can understand The thing is, some number of advanced proofs start out "too intricate for most mathematicians to understand" but many of these get rephrase and refr
47.
by joe_the_user 2mo ago
Technically, Sudoku as normally defined can't be in any complexity class because there are only a finite number of 3x3 Sudoku. People say "Sudoku is NP-hard" to mean a generalized NxN Sudoku would be NP-hard. But no one would
48.
by joe_the_user 2mo ago
It's worth noting this cuts both ways. An NP-complete problem may wind-up having only a few instances that are exponential in the inputs but a problem that is "only" O(input-size^3) is going to be difficult to deal for input
49.
by joe_the_user 2mo ago
Just making search the gateway diminished aspects of the Internet and collective memory - Google actually work to blunt this effect initially by following the structure of DMOZ portal, a human-curated tree of authoritative websites. It&#x27
50.
by joe_the_user 2mo ago
I like "good enough" LLMs for search and quick trivia. But "cars, appliances, etc" is exactly where LLMs are between noxious and dangerous. My food processor could use a self-cleaning feature. It could only be made worse
51.
by joe_the_user 2mo ago
Data centers have the potential for fire and so local fire departments must spend resources being prepared for such a thing. Edit: water (and sometimes electricity) are local services also and data centers use quite a bit of these.
52.
by joe_the_user 2mo ago
I think the idea that "regulation is the bottleneck" is at least as pernicious as the idea that "intelligence is the bottle". US health care is well known to be an ongoing disaster for US health care end-users however ma
53.
by joe_the_user 2mo ago
...a United States presidential administration that almost certainly will not be able to deal quickly and competently with a massive financial crisis. Meh, admittedly this sidenote but ... this is why the Fed is separate from the administ
54.
by joe_the_user 2mo ago
Yes, the police own the videos they take of you? Like LLM companies own the models they digest from the texts they don't own?
55.
by joe_the_user 2mo ago
"This post sounds like it was created by AI, considering rewriting it in a more personal style" lol.
56.
by joe_the_user 2mo ago
Yeah, Robert Putnam's Bowling Alone talks about the decline of community in America but the decline of community inside shops isn't mentioned because it never really existed. Taverns - yes, community once exist there but that was
57.
by joe_the_user 2mo ago
Yeah, moreover, the argument is a particular kind of apologism for one or another kind of profiteering. Basically, "the people criticizing this (profiteering) don't understand the full details of how business (give some business d
58.
by joe_the_user 2mo ago
Perhaps it matters where you grew up. I grew up in LA and was a young in the Bay Area. I experienced none of what you describe and I was often in shops. Me and a friend would go to Rhino Records near Westwood. I understand it was a legendar
59.
by joe_the_user 2mo ago
I was around for many of these things. At different points in my life from the 70s to the 90s, I'd hang around arcades, the local coop bike shop, a hobby shop that specialized in D&D and occasionally an alternative video rental pla
60.
by joe_the_user 3mo ago
I too know nothing about formal verification but I know that mathematical proof is different individual tooling. Informal statements, Lean and whatever other formal provers are all language and languages are social so what someone uses will

More ›