js8

24 ms·

391.
by js8 1y ago
Because it is the simplest thing we have, and has a pretty straightforward self-interpreter. It feels like you need a lot more metamathematics to deal with typed lambda calculus than with untyped one, and types are something that comes with
392.
by js8 1y ago
I used to be a fan of these languages like Lisp and Forth and Joy (and Factor and Haskell), but then I found that what I a really long for is just (untyped) lambda calculus (as a universal language). (Combinatory logic is just a similar rep
393.
by js8 1y ago
It's based on a book https://www.manning.com/books/build-a-large-language-model-f... , is it a good book?
394.
by js8 1y ago
> The mythical neural network with 0% error rate is exceptionally rare and usually not very useful for real world applications. I think we differ in how we see the formal methods. IMHO they are not supposed to give you 100% guarantees, b
395.
by js8 1y ago
Yeah. That's why I am saying it's the epistemological problem. In the above example, that NN recognizes rose as a rose is an assumption that it is correct as a model of the (part of the) world. On that assumption, we get a formal
396.
by js8 1y ago
Formal verification is ultimately an epistemological problem, how do we know that our model of reality corresponds to reality? People have commented that validation is different from verification, but I think validation can be done by forma
397.
by js8 1y ago
I think you missed my point - how can you claim you have democracy if you're not allowing your citizens to decide what to do with national resources (by privatizing them)? Privatization is a trap as well. Private/state distinction
398.
by js8 1y ago
What is Maria Corina Machado doing is certainly impressive, and worth a reward. That being said.. (based on Wikipedia information about her) I don't see how wishing a foreign country to militarily overthrow a regime in your country pro
399.
by js8 1y ago
Will you still have democracy once Corina Machado realizes her plan to privatize oil companies? I have little doubt she did a lot of good practical work for Venezuelan democracy (to expose Maduro's government). But her ideology - accep
400.
by js8 1y ago
Basic english is about 2000 words. So a small scale LLM that would be capable of reasoning in basic english, and transforming a problem in normal english to basic english by automatically including the relevant word/phrase definitions
401.
by js8 1y ago
Sorry, but what you're describing is American exceptionalism, in line with PNAC for instance. > Peace and stability for about 100 million people in Central and Eastern Europe, who will in turn consume American products and services
402.
by js8 1y ago
I mean look it up: https://www.rferl.org/a/1075801.html (I thought it was on Wikipedia but it isn't anymore.) Also, there is no need to speculate about my opinions - I am on this forum and can answer questions. I
403.
by js8 1y ago
Well, you might be right, I agree that war is a waste of resources. But that's actually why EU should stop them, by offering Russia some tangible alternative, a path to prosperity. Instead we cut the ties completely (which we didn&#x27
404.
by js8 1y ago
The military industrial complex in the U.S. is constantly lobbying the American government to start and participate in wars. So after Afghanistan, some other place had to be found where to cause trouble, so that ḿilitary contracts can be ma
405.
by js8 1y ago
> We had have Russian cyber attacks and terrorist attacks for decades. I am curious what are you referring to. I have read some reporting based on BIS reports and Vrbětice is by far the worst incident (2 dead). > Being an weapon sour
406.
by js8 1y ago
> Nobody is forcing anyone to join the "Resist the violent bully in your doorstep" club. That kind of club might be fine, but NATO simply isn't it. Again, you're not asking the question, what is in it for the U.S. (to
407.
by js8 1y ago
Look it up, in 2007 G.W.Bush invited Ukraine and Georgia to NATO. Also look up PNAC. Unfortunately, there was little interest from the U.S. side to end the cold war - they had to be a "world policeman". Yes EU leaders called for d
408.
by js8 1y ago
It's precisely this mindset, "us vs them", that neutral states cannot exist, which is at the heart of current escalation.
409.
by js8 1y ago
Russia started those wars to prevent Georgia and Ukraine joining NATO, which was announced by G.W.Bush in 2007. I am not lying, read my comments more carefully.
410.
by js8 1y ago
I don't think so. I have russian coworkers who visited their family in Russia recently. They say there is more investment in infrastructure in Russia since the war. Basically, Russian oligarchs cannot invest abroad so they have to do i
411.
by js8 1y ago
> NATO has not expanded into Russia. Russia has expanded into Ukraine. Morally you're correct, but on a practical level, Russia didn't want the NATO to be in Ukraine. Morality (or international law) doesn't always win - lo
412.
by js8 1y ago
Yes, there is popular support, but the consequences have been barely discussed. We don't openly admit, that by supplying Ukraine, we are entering a war with Russia, based on our own decision (not as a defensive measure). This vigilanti
413.
by js8 1y ago
> NATO isn't fighting in Ukraine I think this view is delusional. NATO countries are supplying Ukraine with weapons, it's pretty conventional to consider this as being a party to the war. The only reason we don't say it op
414.
by js8 1y ago
Which war? Yes, between Russia and Ukraine, Russia is the aggressor, and bigger. Between NATO and Russia, NATO is the aggressor (from Russian perspective) and bigger. Russia started the war in Ukraine to stop the NATO expansion. It's a
415.
by js8 1y ago
To my knowledge, these things are never put forward as an election topic or referendum. There is no discussion with citizens, it's always a fait accompli, we have to do it for national security sort of thing. The blowback is not discus
416.
by js8 1y ago
Unless we deescalate this won't end well for anyone. Except maybe mil-ind complex shareholders.
417.
by js8 1y ago
I am not sure what European "leaders" expected. Many of them support Ukraine militarily in the war, so yes, EU is in fact in war with Russia, through Ukraine as a proxy. I oppose the military support to Ukraine. I think it's
418.
by js8 1y ago
LLM models have evolved to autonomously convince humans that they're useful. They're the ultimate memetic parasites.
419.
by js8 1y ago
NNs are also demoware in the sense they contain extremely condensed and incomprehensible model of the world (or part of). Demo coders would be proud. Edit: I mean their outputs are procedurally generated, like in https://en.m.wik
420.
by js8 1y ago
I think it comes down historically to Church's https://en.m.wikipedia.org/wiki/Simply_typed_lambda_calculus . It originated the most popular form of type theory and also used the simplest functional programming la

More ›