teiferer

17 ms·

391.
by teiferer 5mo ago
As long as everybody is nationalist (not to say racist) and keeps borders closed to protect the homeland, those differences matter. Realizing that one thing people get worked up about (immigration) is a solution to the other thing they get
392.
by teiferer 5mo ago
It's not a matter of its own capabilities but of how you query it.
393.
by teiferer 5mo ago
All my sibling comments are missing the message here which is that if Claude can find security issues then it can avoid them right when writing the code, so it could just never commit anything containing a security issue.
394.
by teiferer 5mo ago
Worked a FAANG job, had the money to burn on a $48k rig. Moves in with parents so they carry the cost of running that rig in their basement. "Totally worth it"
395.
by teiferer 5mo ago
Like your sibling comment, you seem to be missing my point. Tablebases are fundamentally enumerating positions explicitly even though they use lots of tricks to make that more efficient. I'm talking about foregoing that entirely.
396.
by teiferer 5mo ago
The Shannon number is about the size of the state space. What I am dreaming up here is to avoid explicit enumeration by succinct descriptions in the form of logical formulas which have the potential of cutting down the representation size d
397.
by teiferer 5mo ago
I agree it's hard and non-obvious. If it wasn't then chess would have long been solved by now. Let's start from the other end. Just a pawn and two kings. It's possible to describe some quite succinct rules for when that&
398.
by teiferer 5mo ago
This is just the beginning. You could create more and more advanced invariants. And I am sure that this could be a way to "solve" chess, i.e., prove that it's a draw with perfect play.
399.
by teiferer 5mo ago
> Before birth Any scientific basis for this claim? Pre-conception is unlikely to be really possible outside some esoteric circles. While in the womb there could be some limited experiences that get ingrained in the mind as memories, but
400.
by teiferer 5mo ago
"Our" as a possessive doesn't necessarily convey ownership, rather association. "Our place" is used even by tenants of rental housing. They don't own the place, but they live there.
401.
by teiferer 5mo ago
Restaurants, pubs etc. serve multiple purposes. If it's purely about the food, receiving it, consuming it, then sure, get the human out of the loop, interact with a machine. Ideally even the preparation is done by a machine. No human e
402.
by teiferer 5mo ago
Remember from ...when?
403.
by teiferer 5mo ago
> Only a rare few new theorems in mathematics nowadays have direct real world applicability. Has this ever been different? Math is abstract, rightfully so. It does not have to have direct applicability. Understanding builds over time and
404.
by teiferer 5mo ago
> Every day, it grows harder and harder to contain a mental map of recent relevant progress by simple virtue of the amount being produced. And by opening the door to LLM-generated results, you'll see greater and greater amounts with
405.
by teiferer 5mo ago
Would be nice to have this for an AP running OpenWRT which should already be 90% of the way.
406.
by teiferer 5mo ago
Could we finally put the whole "written in pure Rust" thing as if it is a certificate of quality to rest? You can write crap in Rust, you can write excellent software in Rust, and both goes for all other languages too. I don'
407.
by teiferer 5mo ago
> manosphere looksmaxxing viking That's more rooted in Hollywood than reality.
408.
by teiferer 5mo ago
> they became civilized/baptized How are civilized and baptized comparable concepts? The vikings surely had a civilization before christianity took hold and ascribing sone kind of higher ethics to christianity is also quite a stretc
409.
by teiferer 5mo ago
But how can an interface be considered safe if it actually isn't? I thought the Rust compiler guarantees safety of everything marked a such?
410.
by teiferer 5mo ago
Can somebody explain what the issue is? In particular, if Rust is safe, and this is safe code, then how can there possibly be use-after-free? I thought it's the entire point of the "safe code" thing that it's ..safe by c
411.
by teiferer 5mo ago
> amazing new journey we're about to embark on. Is it? It's an arms race between the "good guys / defenders" and "bad guys / attackers". Assuming both sides have access to the same tools, how is th
412.
by teiferer 5mo ago
"Going shopping" - exactly. That is a social activity with the primary goal of hanging out in a shop and having a good time. You don't do that at home in front of a laptop. This is a total misunderstanding of what "shopp
413.
by teiferer 5mo ago
And you'll end up with no reasonable person wanting to do those jobs becausr any day any bs complaint or lawsuit could cost you your livelihood, no thanks.
414.
by teiferer 5mo ago
I don't buy that that will be a useful distinction. First of all, no AI model will say "I'm too smart for this question, I suggest you use a cheaper one so I don't make unnecessary money for my owner" or "I&#x2
415.
by teiferer 5mo ago
Given how much money is on the line, it would be gross negligence if anything came publicly out of the CEO's mouth or is otherwise published by the company that's not marketing.
416.
by teiferer 5mo ago
> Marketing is not intentional. That's an odd definition of "intentional". Evolution has filtered for people with certain views and the marketing has just emerged from their actions. ... So? A deadly virus (naturally occur
417.
by teiferer 5mo ago
Every reply here forgets/overlooks the main reason for why this is not going to happen: The astronomical AI data center investments currently underway. Those place are not just for training. They are for inference too and the way all
418.
by teiferer 5mo ago
Which is good, since public money is tax money, so it better be spent wisely and not just thrown at the latest hype without thinking properly about it. It's a feature that public spending moves slowly, we should all be thankful for it.
419.
by teiferer 5mo ago
> The budget required for AI tools currently is negligible compared to other university expenses. Is it? Do you have any idea what the salary of a mid-tier university researcher in an Eastern European country is? Or in Africa or south-ea
420.
by teiferer 5mo ago
A counter argument would be that all programming languages of the last decades have been plain text based. No other more structured format has ever gained traction even though modern editors could be argued to be able to support that easily

More ›