exe34

18 ms·

571.
by exe34 9mo ago
I thought that's what I was trying to express between lines 1 and 2 above, but I may have failed to get it across. my understanding is that the danger is that the llm will create a proof that is correct but isn't about what the pe
572.
by exe34 9mo ago
you can show images in org. https://orgmode.org/manual/Images.html with webpages I just store the link, but maybe you want to download them? I've used singlefile extension to download and store copies and link fro
573.
by exe34 9mo ago
yep, that's why I stuck with x11, as it still does everything I need it to do. it's actually never crashed since they stopped fixing it.
574.
by exe34 9mo ago
that's okay, they predisposed me for Stoicism and independence.
575.
by exe34 9mo ago
Have you actually read the account history? Elon himself would be proud.
576.
by exe34 9mo ago
> What happens if the American government pays off the people and they want to join US? Honestly I believe if they are willing to sell their future like that, they deserve everything the turd reich does to them.
577.
by exe34 9mo ago
If somebody pisses on your shoe every day, do you just try to reason with them from scratch on the 10th day? Would you introduce yourself first, and inquire as to the reason why they are assuming the position? I don't understand this p
578.
by exe34 9mo ago
the argument here is that: 1. you write a proof in English that there is an infinite number of primes. 2. the llm writes 2+2=4 in lean. 3. lean confirms that this is correct and it's impossible that this proof is wrong.
579.
by exe34 9mo ago
That's correct.
580.
by exe34 9mo ago
Being inflexible is only a problem for other people! :P
581.
by exe34 9mo ago
I don't focus on quality because I like quality. I couldn't give a flying toss. I care about quality because tomorrow I still have to work with this stuff. In 10 years, I have to remember why I decided to do it this way, and I hav
582.
by exe34 9mo ago
https://bellard.org/tcc/tcc-doc.html#:~:text=ab.o.-,Scriptin...
583.
by exe34 10mo ago
Yeah after that other thread, I feel a lot less comfortable giving Claude code access to anything that can't be immediately nuked and reloaded from a fresh copy.
584.
by exe34 10mo ago
because he doesn't run mid-terms - states do. He's desperate.
585.
by exe34 10mo ago
not prolog but logical programming in python: https://sites.google.com/site/pydatalog/
586.
by exe34 10mo ago
psychopathy is a personality disorder, not an insult.
587.
by exe34 10mo ago
> they implicitly punish you they can't punish me if I'm not there and don't depend on them.
588.
by exe34 10mo ago
if the company is big enough to have legal staff, said staff would probably have advised them to pay in the first place.
589.
by exe34 10mo ago
it's not the client's website yet, they haven't paid for it!
590.
by exe34 10mo ago
he's a psychopath like the rest of them rich and powerful. he'll say anything that will get him more wealth and influence.
591.
by exe34 10mo ago
> legal repercussions like what? contract says "money for stuff". no money, no stuff.
592.
by exe34 10mo ago
> just sounds like actual emotional abuse. it was. my father assured everybody that he and I were best friends and I didn't need anybody else. I was allowed to go to school, that was it.
593.
by exe34 10mo ago
Free speech absolutist!
594.
by exe34 10mo ago
I love the snow on the web page, it highlights the message really well!
595.
by exe34 10mo ago
> Then again I have a saying I use when anyone says they are bored - I say they are boring! This is a very clever come back, I wonder if it might qualify as the best thought terminating cliché I've seen this year! I never say I&#x27
596.
by exe34 10mo ago
> You can observe your surroundings, make up stories about what is happening. I had to sit still a lot as a child, since I wasn't allowed to have friends or go anywhere. I read a lot, but a lot of the time I was to tired or bored to
597.
by exe34 10mo ago
Well that's no good for big brother, is it.
598.
by exe34 10mo ago
you can tie the sensor to a chip that signs the data as it goes out.
599.
by exe34 10mo ago
I didn't say it would work - I said it would be made mandatory and will be used against us.
600.
by exe34 10mo ago
rare earth mineral deposits

More ›