gowld

22 ms·

631.
by gowld 1y ago
That's fine, because once someone is banned, the impersonations are also banned.
632.
by gowld 1y ago
"Web of Trust" has been the proposed answer for, what, 30 years now? But everyone is too lazy to implement and abide by it.
633.
by gowld 1y ago
> Why do they need to be undercover? It's a marketing gimmick to promote their pizza brand.
634.
by gowld 1y ago
PP was asking to clarify your English, not your French, so that readers could understand what you were trying to express with your neologism.
635.
by gowld 1y ago
Did you track your progress across practice tests? Did you need 70 tests to reach 178 performance?
636.
by gowld 1y ago
For those who want to read about the "Baroni" effect in the book: https://bookreadfree.com/361033/8879470 It goes on: > At this point, the prosecutor asked for further elucidation, which Pierce gave in g
637.
by gowld 1y ago
What breakthrough? The self-awarded "gold" IMO result was achieved by running the model for over 1hr per question.
638.
by gowld 1y ago
The AI and the human are both programmed to avoid helping you.
639.
by gowld 1y ago
Or pay me $50 to talk to your AI.
640.
by gowld 1y ago
nitpick: > That's an accuracy comparable to measuring the distance to the Sun to an accuracy of one atom. This does not exist, because "the location of the Sun" cannot be defined to the precision of one atom, as the Sun is
641.
by gowld 1y ago
Is that also the simplest unsolved state problem?
642.
by gowld 1y ago
This sort of thing comes up often for me. I use extended hyphenation to declare precedence: very-old--growth tree.
643.
by gowld 1y ago
> It is not the case that these oaks were kept for the express purpose of replacing the Hall ceiling. > The oaks, however, are left to grow on and eventally, after 150 years or more, they yield large pieces for major construction wor
644.
by gowld 1y ago
In a few months, his customers will be vibe-coding that app for themselves.
645.
by gowld 1y ago
That's what tort law is for. It leaves the details to the experts, and judges based on general notions of intent, negligence, and harm caused. The threat of financial ruin should incentivize against selling malware.
646.
by gowld 1y ago
Seems fair. If the vendor doesn't want to pay for quality software, the customers shouldn't have to pay for bad software.
647.
by gowld 1y ago
One thing Lean inherits from mathematics is the use of opaque notation. It would be nice to inherit some readability from programming. Paperproof is an effort in one direction (visualization of the logic tree) https://paperproof.
648.
by gowld 1y ago
What in this article is different for the gvisor intro docs (where the gVisor pictures are plagiarized from)? https://gvisor.dev/docs/
649.
by gowld 1y ago
Did the author never watch Silicon Valley? https://www.youtube.com/watch?v=YZFTaEenaHM Richard, listen-- No, you listen to me Jack. You promised me that you would never compromise the product, so do you feel like taking som
650.
by gowld 1y ago
> My theory is that we are simply too wealthy. Maybe 0.1% to 1% of us are, but the rest of us aren't.
651.
by gowld 1y ago
The top story, that peacocks shoot frickin laser beams! is much more interesting than the LLM navel gazing story.
652.
by gowld 1y ago
I spotted two mistakes in the paper already. 1. Table 1: "Change in proxy target answer". One of the rows has the original correct answer on the right, instead of the left where it belongs. 2. Table 2 has a grammatical incoherency
653.
by gowld 1y ago
"jailbreaking" seems a silly term for "I told the LLM two unrelated things, and the response was relevant to only one of my comments, or a mixture of both." It's not the LLM's fault that the human said somethin
654.
by gowld 1y ago
College becoming more vocatioanl is a consequence of colleges becoming more accessible to a much larger population, beyond the already wealthy. Community colleges are the cheapest colleges, yet the most vocational. The most expensive coll
655.
by gowld 1y ago
Python was invented as a language for newbies. It's come a long way! https://en.wikipedia.org/wiki/History_of_Python#Version_1 > During Van Rossum's stay at CNRI, he launched the Computer Programming for E
656.
by gowld 1y ago
The submission page doesn't link to Tromp, but the YouTube videos do. Tromp's page links to the submission: > Paul Brauner has produced some awesome videos of beta reductions, produced with this software. Also linked from Tromp
657.
by gowld 1y ago
The best-looking cabinet you can make that stays up is more beautiful than a beautiful back wall that collapses. More cynically, these stories are also a way for Steve Jobs, who lacks technical skill but is still the boss of the technical g
658.
by gowld 1y ago
Rossmann has competing business interests to defend.
659.
by gowld 1y ago
> Faulted trying to access 0x10 - the offset in the string we were trying to read from :) Is guaranteed that every offset you can try to read is guaranteed to create a segfault?
660.
by gowld 1y ago
So, the [ABCDE] in D?-N is redundant and useless, so it doesn't matter what letter you use. Humanity triumphed, eliminating useless redundancy.

More ›