dev_dan_2

6 ms·

1.
by dev_dan_2 4d ago
> Please do not ask the LLM to break the universe :) Eh, every school db should be able to service a student called "Robert'); DROP TABLE Students;--", and every public facing LLM should still work even if asked to calcula
2.
by dev_dan_2 8d ago
> in fact history is frequently left out of mathematical teaching even when the history would in fact help in the understanding of some concepts. That is well-known I assumed and continue to assume. > I'm not seeing the direct li
3.
by dev_dan_2 9d ago
> If this turns out to be true I think my take above is not correct, in the short term people will have to stop sharing updates because otherwise openai will dishonestly race to finish their work. Which I don't see a reason for Ant
4.
by dev_dan_2 9d ago
Partially; but also in order to be able to focus, as stated by himself in https://www.pbs.org/wgbh/nova/transcripts/2414proof.html : "But I realized after a while that talking to people casually about Fer
5.
by dev_dan_2 9d ago
It is a strong argument in this case though, because Terence Taos expertise is directly linked to his ability to not misstate the history of mathematics. Also note how the quote by Tao is in all likelyhood not meant as an absolute; rather t
6.
by dev_dan_2 11d ago
It should obviously not come as a surprise that having areas of the brains working differently can explain an awfull lot of things... but to answer your question directly, yes of course of course there are! Simply look up all the many, well
7.
by dev_dan_2 15d ago
100% agree on the ad angle. Ads normalised using digital products/services by paying with data and attention. That is one of the reasons why I would love to see - reasonably priced - paid services, or even have governments offer them (
8.
by dev_dan_2 20d ago
Given your position and the responsibility that comes with it; I sure hope you updated your mental model in another way than simply "they are acting irrational"... It's not clear from your comment that you did, but it sounded
9.
by dev_dan_2 28d ago
> Even the early medieval period has a lot of blanks. Did you know a homossexual bishop called "Flora" lived in first millennium France? I did not, but like all the facts you mentioned so far, this is not a surprise at all for
10.
by dev_dan_2 1mo ago
Currently, that is the case, yes. Not everyone is equally happy about that though ;)
11.
by dev_dan_2 1mo ago
Appreciate the link! That is not what I had in mind though; for them, the Prolog Code is the goal, for me, Prolog is an interface language within a system I build. That code could be generated on the fly, but I lean more towards fixed templ
12.
by dev_dan_2 1mo ago
> I suspect that the next big AI breakthrough will result at least in part from constraining LLM decisions with old AI approaches. Frank Coyle presented the idea of ontologies constraining LLM output about a month ago: https:/&#x2F
13.
by dev_dan_2 1mo ago
Hmm, I would say even older than that (which, of course, is in no way intended to be a value statement of any kind, I like the website and the project, cool idea! :D). In 2015, https://en.wikipedia.org/wiki/AlphaGo cam
14.
by dev_dan_2 1mo ago
> "which we think they might have been originally written" please don't assume about me, almost all of what you wrote was known to me prior before reading your comment. That information regarding XVII century England for
15.
by dev_dan_2 1mo ago
Huh. Thanks for bringing that into my attention, and the link! Yes, in hindsight it makes sense that a eager LLM would exploit bugs in the kernel itself. I have not read the details yet (but want to!) and assume that it is rather related to
16.
by dev_dan_2 1mo ago
> This is extremely unconvincing. Manual review of 10,000 lines of AI generated code is a terrifying prospect. With https://en.wikipedia.org/wiki/Lean_(proof_assistant) (and other proof assistants), you need to revi
17.
by dev_dan_2 1mo ago
Nono, I was refering specifically to the culture and time period in which the old testament was composed, not other cultures or time periods - those were clearly patriarchical, it would be a mistake to dismiss that when interpreting the old
18.
by dev_dan_2 1mo ago
I love the term "Out-Remembering"! I have been trying to find a way to communicate that "intelligence", "creativity" and so on might be misleading about the true nature of LLMs, and they would better be describ
19.
by dev_dan_2 1mo ago
I both agree with you, but have a point I want to raise that I think is often overlooked: Agree: Intellectual dishonesty just sucks, period. In any area I think, but the more emotional a topic, the harder so. Changing the axioms of how one
20.
by dev_dan_2 1mo ago
For starters, there are simply many possible goals one can achieve with a translation: Translating it as literal as possible (which can result in barely readable results in the target language, if the languages are far enough apart), transl
21.
by dev_dan_2 1mo ago
> Because it is, you know, divine. I am playing devils advocate here: Even if it were not divine because atheists happen to be right on that one... even then, the authors and the intended audience of the bible considered it divine
22.
by dev_dan_2 1mo ago
> descriptions of genealogy That in itself would still make a lot of sense to me though; as far as I know, property and power was mainly transfered through the lines of first born males (so a patriarchy, in the literal sense). If that, s
23.
by dev_dan_2 1mo ago
Doh! Fell for it, I guess ;) Hmm, while I agree that this particular book selection could come of as rather heady, and the author is obviously not doing an exercise in https://en.wikipedia.org/wiki/Plain_English either
24.
by dev_dan_2 1mo ago
That is quite a bold claim you make there! Since you seem to hold a strong conviction, could you please make more explicit what concretely one would not know / missinterprete regarding the Western culture, not knowing anything about th
25.
by dev_dan_2 1mo ago
My version of that list, in no particular order: Smalltalk, Haskell, C, Lisp, Prolog, Forth.
26.
by dev_dan_2 1mo ago
Sounds like you would find NixOS and/or Unison interesting!
27.
by dev_dan_2 1mo ago
Hehe, this was kind of my thesis back 2015; non public unfortunately, but I think the following is save to share: So basically they had the need to persist huge collections of objects that would not fit into a single servers RAM. As for per
28.
by dev_dan_2 1mo ago
I never made that connection, it makes sense though!
29.
by dev_dan_2 1mo ago
Really exciting work and great write up, thanks a lot and all the best to your startup! `core` instead of `std` is great too! This will become useful in one of my sideproject where I use bitmaps to speed up pathfinding, exited to try it out
30.
by dev_dan_2 1mo ago
Oh wow :D Not commenting on the larger picture of why or why not Mistral might be doing that, but commenting on the idea itself: I plan to build my own harness soon, and one of its core tenants was, from the beginning, that it would parse e

More ›