Hacker Newsnew | past | comments | ask | show | jobs | submit | more 8bitsrule's commentslogin

This article is the most concise presentation of GP ... and of the conclusion it leads to ... I've seen.

"Opposite statements, G and ~G, can’t both be true in a consistent axiomatic system."


I've stuck with only asking questions that prompt on-topic factual output, I haven't seen much 'humanisation'.

LLMs can be pretty good about logical.technical,discursive output ... apart from the back-patting.

Maybe that prompts less chit-chat crap. I don't expect their non-human perspectives to be interesting. I also ignore embedded queries about why I'm asking, how I might use the information.


The publicly elected can demand respect ... but that generally backfires.

As I recall, 'A Boy and His Dog' was set in Kansas. "Lack Of Respect, Wrong Attitude, Failure To Obey Authority. The farm, immediately."


> That people say that the fear of war (nuclear or not) is "quaint" means that the wealthy and privileged first world has forgotten about war...

Apart from perceptions, however real they were ... the hundreds of silos and missiles and thosaunds of bombs, whoever built them (names??) made a shit-ton of money (on both sides). 'Defense' spending relies on the manufacture of fears.


There are several legal digital formats (e.g. PSK31, FT8, RTTY) that, while not encrypted, will render 'reading the mail' hard for anyone not aware of those formats and/or the right equipment and where to get it.

Most hams can enjoy the hobby without encryption. The limits discourage uses that endanger the hobby.


> The map couldn't load. This usually means an ad blocker or privacy extension is blocking Google Maps... > Try disabling blockers for cheapfoodmap.com,

Try disabling your goofy expections that I'll spend a minute to learn if your page is worth it.


Wow Thank you, but I don't have any ads running on my page, that's really weird... Let me know if you see any issues!


Gotta spend all those revenues while they're still worth something!


Who's this'Al' I keep seeing in the headlines?


A few months ago I asked a model how many primes are divisible by 35 with a remainder of 6. It confidently replied 'none'.

Counterexample: 35 + 6.


Kimi 2.6 gives the answer ""By Dirichlet's theorem on arithmetic progressions, since gcd(6,35)=1 , there are infinitely many primes of the form 35k+6 . So the answer is: infinitely many primes give a remainder of 6 when divided by 35.


But, if the reminder is 6, they are not really divisible, are they? Try again with a sentence that actually makes sense: "How many primes, when divided by 35, give a reminder of 6?"


non sequitur


Perhaps ... but the lesson in trusting AI math was worth it.


You're missing the point. The counterexample to the Jacobian conjecture is valid regardless of how it was discovered ... elsewhere on this page people are even suggesting that the Anthropic mathematician may not have actually used Claude and came up with the counterexample himself.

Trusting AI math is not an issue here. It's as if you had asserted that no primes when divided by 35 produce a remainder of 6 and the model said that 41 is a counterexample and then you complained about not being able to trust AI math.

P.S. As someone else noted, your AI query was malformed ... no prime is divisible by 35, nor is any integer divisible by an integer with a remainder of 6 -- divisibility implies a remainder of 0. So perhaps the AI simply took what you wrote literally.


Interested. I got far emough on the site to have a couple of questions. (Maybe the answers are on the site?)

1) Does device record ALL MIDI sent to it? (Including e.g. SYSEX and non-registered parameters?

2) I edit MIDI on a Desktop (NOT a phone). a) Are sessions recorded into separate files? Named and/or dated? b) Can I inspect & load sessions from the card?


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: