skysight-inc/HackerNews huggingface dataset:
Right by "packing" problem this article is maybe more about a "word-alignment" problem, finding the smallest "word" that most efficiently stores base-3 words in base-2 words with the least wasted values in that word. It's an interesting coincidence that 5 trits per 8 bits is rather optimal, because the 8-bit "byte" is such a useful and important "word" shape in modern binary computers.

For the other side perspective, as amelius asked: the historic Setun used 18-trit words and that is surprisingly efficient at storing 28-bit words (0.643 bits per trit; the most efficient up to 32-bits of possible word alignment is 30-bits in 19-trits at 0.633 repeating bits per trit) if for some reason you needed to do interop. Of course 28-bit words aren't a standard binary word-size and if you wanted to try to find a word alignment that fits for both modern binary computers and Setun, might be 16-bits in 11-trits (0.6875 bits per trit).

I suppose if you were building ternary hardware today you might shoot for a 41-trit word to align with modern 64-bit words (0.641 bits per trit).
So you're saying there is literally nothing good about Sora?
Now we're talking, I have a few ideas for various kinds of drone fighters that I would like to try out.
The Slack blocks format is horrendous, and not very powerful.
>... point our phone at antisocial behavior and damage their score.

wow! That's going to work well. Groups never gang up to bully people they disagree with.
The most charitable explanation I can think of is that they expect you to use your email account for business, and they may need to pull communication for regulatory purposes? Even that is weird and questionable and usually illegal in that you should not be using personal email for business in a regulated industry.

This link: https://legal-info.lawyers.com/labor-employment-law/privacy-...

says that it might even violate Federal law (Stored Communication Act), though if you give permission it might be more complicated as it could be viewed as "authorized".
> But you have specifically initialized your AND and OR results to be True and then False

No other value would be meaningful.

> What I'm saying is that you always need to specify that default value to handle the empty set properly

no you need a default value to handle the base case of the recursion. The result of the empty set falls off from it.
Basically agree.

Well, it did good enough in netbooks. It could probably have been good in tablets if they kept trying (and if non-iPad tablets really caught on).
Hollywood's days are numbered.

If you are a creative in this industry, start preparing to transition to another industry or adapt.

Your boss is highly likely to be toying around with this.

The first entirely AI generated film (with Sora or other AI video tools) to win an Oscar will be less than 5 years away.
It's not deceptive, it's simply true in formal logic. I've been thought in linear algebra 101: all statements about the elements of the empty set are true. That's the core of this puzzle, and contrary what OP claimed, it's a matter of logic, not language.
Imagine a movie like Napoleon, but instead of needing 100 million and thousands of extras, you just need 5 actors and maybe a budget of 50k.

You could get something much more creative or historically accurate than whatever Hollywood deems marketable.

I think about AI like any other tool. For example I make music using various software.

Are drum machines cheating? Is electronic music computer sloop compared to playing each instrument.

Is using a Mac and a 1k mic over a 30k studio cheating ?
I think this is how the puzzle author intended the puzzle to be read.

That being said, I would argue that, "All my hats are green." has different meaning than "I may or may not own a hat. Any hat that I own is green".

The use of 'all' and the plural of 'hat' implies that the author has multiple hats.
The quantum computer idea was literally invented by David Deutsche to test the many universes theory of quantum physics.
AWS S3 Tables?
Can somebody explain what is unique about s3 tables?
I disagree that it is "the best explanation we have". It's a nice theory, but like all theories in quantum foundations / interpretations of quantum mechanics, it is (at least currently) unfalsifiable.

I didn't "assume" hype, I hypothesized it based on the evidence before me: There is nothing in Google's paper that deals with interpretations of quantum mechanics. This only appears in the blog post, with no evidence given. And there is nothing google is doing with it's quantum chip that would discriminate between interpretations of QM, so it is simply false that "It lends credence to ... parallel universes" over another interpretation.
The subreddit /r/aivideo has tons of videos all tagged with what model was used to generate them.
Can you explain how a CVE "awaiting analysis" forced you to "resolve" it? Just wondering how this works.

I looked at the first one (https://nvd.nist.gov/vuln/detail/CVE-2024-25355) and obviously they time way too much of the "vulnerability", attributing their own test setup to your library (as you mentioned).

So- someone reports a CVE (can just anyone do that?), and without any validation, some other services dings your library and now random users ask you "can you please fix your library"?
Full disclosure, I now think I badly messed up the capacitor energy calculation perhaps while recasting it from a battery system to a capacitor system. You probably don't need nearly that many just to store the energy usefully. But I estimate the other factors, like the discharge curves needing you to over build to get enough energy into the first 5ms, balance it out at to something vaguely fridge-sized anyway.
This web site is amazing. We have, on one hand, people explaining machine sentience and quantum breakthroughs, and on the other hand, we have people refusing to use "#pragma once" in C because it's still too novel and doesn't work in every compiler yet.

Never change, HN.
Those two things do sometimes go together, but one doesn't really imply the other, at least in my peer group.
The brilliant point! Of course, this result just an early bird for our service. We will collect the information about teams, dynamic of closing Jira's tasks, time for onboarding of new members and other. Our HRs said that they see improvements in blind monthly team's report about microclimate with their temlead.
If you were to code this statement in JS, it would be:

hats.every((hat) => hat === 'green') === false

(A) is the only one of those potential answers that must be true to guarantee the above statement is satisfied.
Until these models can figure out physics, it seems to me they will be an interesting toy
> To ensure that no one remains stressed at work, we have made the difficult decision to part ways with employees who indicated significant stress.

This is one of the most horrifying and hilarious corporate sentence at the same time. I would have expected this from some weird UK black comedy...
You have given me a broad smile, friend. Thanks for that.
Over now, and pretty short/light on info AFAICT. That said, knowing what we know now about Altman made me physically unable to watch while he engages in sustained eye contact with the camera, so maybe missed something while skimming! On the upside, I'm so glad we have three billionaires cultivating three different cinema-supervillain vibes (Musk, Altman, & Zuckerberg). Much more fresh than the usual "oil baron" aesthetic that we know from the gilded age
Sora was not really that big of a revolution, it was just catching up with competitors. I would even say in gen video they are behind right now.
They can both be dangerous but one difference is that the band saw _seems_ much less dangerous and people would take it less seriously. In a shop full of adolescent novices I could see this causing more injuries whereas the tablesaw is probably more closely supervised and people will respect it more.

I'd say overall a tablesaw is more dangerous compared to a band saw because it has the additional failure mode of kickback which happens occasionally even to very experienced operators.
No that doesn't mean anything. Tests and books can be wrong.
Typed Python in 2024: Well adopted, yet usability challenges persist
LLMs Will Transform the World – But Quietly
My hope is that it will be the death of the aggregators and there will be more value in high quality and authentic content. The past 10-15 years has rewarded people who appeal to the aggregation algorithms and get the most views. Hopefully going forward theres going to be more organic, word of mouth recommendations of high quality content.
> I use a table saw quite a bit and think there are more ways things can go wrong, most of which stem from kickback which happens in a split second. The wood will either fly back and hit you, or your hand will be pulled into the blade and you will likely lose a finger.

One of the more horrifying things I've witnessed second-hand with kickback was a lucky third scenario. It was high school woodshop and one morning the teacher pulls us all over to the miter saw bench and points at a huge chunk that's missing from it. The bench surface was two or three layers of MDF glued and screwed together. He explained that someone had been cutting something on the table saw 8 feet away from it, had a kickback, the kickback missed but the piece of wood shot into the miter bench and that was the result. Thinking about what that same piece of wood would have done if it had hit a human... yeesh, I definitely treated kickback with a lot more respect after that day.
Are the displayed images the average output accuracy or the winners that happen to be accurate?
This is something I'm convinced we need for integer weights in LLMs.
No clue, haven’t used Windows in over a decades.

But I mean ease of use, overall. Before, you have issues with your computing device, you have to troubleshoot how to get data off of it, transfer it, possible avoid malware, maybe have to pay someone to help you.

Now, you set it to backup to iCloud, and if something happens to the hardware you buy a new device and login, and you’re good to go. Or if it’s software, you might have to reinstall (I never have had to).
These sorts of puzzles aren't used by researchers though, so I'm not sure I follow the rest. They almost always seemed to be used by people trained in logical thinking to consider problems in different ways. They only seem get to the larger public when someone shares one on social media and people with no background in logic complain that they are poorly written or have no answer, since they don't realize that these sorts of puzzles presuppose some background in logic and familiarity with the setup.
On my LineageOS device, /product/bin contains scp, sftp, ssh, sshd, and ssh-keygen along with a startup script.

In f-droid, there is also a "primitive FTP server" that includes an SFTP, but that probably gets killed unless you are very careful.
Yes, it was, to a certain degree.

The difference between machines in the 2000s and 1980s is much, much larger than the difference between machines now and machines in the 2000s, though, making the "retro" timeline nonlinear.
Real artists struggle matching vague descriptions of what is in your head too. This is at least quicker?
And how do you verify hypothesis? What is the process to do that?
In July I made this 3 minute little content marketing video for Canada Day. Took me about 40 minutes using a combo of midjourney + pika, suno for the music. Honestly I had a lot of fun making it, I can see these tools with be fun for creative teams to hammer out little things for social media and stuff: https://x.com/ascent_hi/status/1807871799302279372

I don't see sora being THAT much better than pika now that I'm trying both, except that it's included in my openai subscription, but I do think people who do discreet parts of the "modal stack" are going to be able to compete on their merits (be it pika for vid or suno for music etc)
Three gods A, B, and C are called, in no particular order, True, False, and Random. True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, B, and C by asking three yes–no questions; each question must be put to exactly one god. The gods understand English, but will answer all questions in their own language, in which the words for yes and no are da and ja, in some order. You do not know which word means which.

Some clarifications. You can ask the same god repeatedly and you can make your questions and to whom you address them depend on previous answers. Think of Random as just flipping a fair coin to decide whether to tell the truth or lie. The puzzle is by George Boolos and titled The Hardest Logic Puzzle Ever for those looking for hints or whatever. Have fun.
I love the ease and flexibilty OSC, but like a lot of lazy artsy coders, I hard code my IPs in my microcontrollers, and bring my own wifi router so that all my stuff just works on stage, but every time I boot this stuff, it's always a bit of a gamble. Interchangeability and interoperability is just not a thing when building this way.

I kinda dig this concept of O2 (https://rbdannenberg.github.io/o2/) layered over OSC for easy interoperability, but it also seems like a lot of work, and I'd rather spend my time making music.

I'm not a fan of MIDI, but it does kind of blow my mind when things just work. Having OSC be as plug-n-play as MIDI would be awesome!
Why Gogle CEO keeps making dumb comments is beyond me.
This comes at a time when AI agents are just starting to dominate job boards and OpenAI invents reinforcement finetuning.
Haha, classic race condition, but I appreciate your take nonetheless!
I would rather some sort of authenticated peer-rating system. If someone has a history of making good, useful bug reports- then convey that in some way to project maintainers reading bug reports.

GitHub is in a good position to do this at scale.
Took the time to read the 84 page report that was published last month, and write up a summary. Pretty interesting bug, with a pretty significant impact.
I guess I don't understand why you think "I don't know" is the only correct answer. It's clearly not, which is the point of the problem in the first place. It's a bit hard to grok, but once you do, it's clear what the right answer is.
Yes. It isn’t ambiguous and is entirely solvable using old school formal logic of the “All Cretans are liars” sort.

If the liar owns no hats the statement “All my hats are green” would be true. Under the parameters of the question it must be a lie and therefore cannot be true.
So the liar owns at least one hat which is not green.
They may own additional hats which can be of any colour.

People who are saying “if they are a liar they might not even be talking about hats” are somewhat missing the point:

1) Whether or not they are talking about hats they have made a statement about hats and under the “rules of the game” of formal logic it must be untrue because we are given they are a liar. That’s enough to answer the question.

2) The “rules of the game” are about predicates and properties and inference. The language is plenty precise enough to convey both the question and to deduce the solution.
Quantum computing can perform certain calculations much faster than classical computing in the same way classical computing can perform certain calculations much faster than an abacus
If a stranger told me "All of my cars are red" and then I learned that they didn't own a car, I wouldn't call them clever I'd call them a liar.
> if you don't add anything original in your prompt

Define "original". You could generate a pregnant Spongebob Squarepants and that would be original, but it would still be noise that doesn't inherently expand the creative space.

> don't spend much time selecting

That's the unexpected issue with the proliferation of generative AI now being accessible to nontechnical people. Most are lazy and go with the first generation that matches the vibe, which is the main reason why we have slop.
> when I ran Llama 3.3 70B on the same laptop for the first time.

There is no llama 3.3 405B to test, 3.3 only comes in 70B. Are you sure you aren't thinking of llama 3 or 3.1?
Wow they're watermarking videos and limiting them to 720 at the 20 dollar price point? That's a bold move, considering their competition's pricing...

https://www.klingai.com/membership/membership-plan

Quality seems relatively similar based on the samples I've seen. With the same issues - object permanence, temporal stability, physics comprehension etc, being present in both. Kling has no qualms about copyright violation however.
Every day that passes I grow fonder of Google's decision to delay or otherwise keep a lot of this under the wraps.

The other day I was scrolling down on YouTube shorts and a couple videos invoked an uncanny valley response from me (I think it was a clip of an unrealistically large snake covering some hut) which was somehow fascinating and strange and captivating, and then scrolling down a few more, again I saw something kind of "unbelievable"... I saw a comment or two saying it's fake, and upon closer inspection: yeah, there were enough AI'esque artifacts that one could confidently conclude it's fake.

We'd known about AI slop permeating Facebook -- usually a Jesus figure made out of unlikely set of things (like shrimp!) and we'd known that it grips eyeballs. And I don't even know in which box to categorize this, in my mind it conjures the image of those people on slot machines, mechanically and soullessly pulling levers because they are addicted. It's just so strange.

I can imagine now some of the conversations that might have happened at Google when they choose to keep a lot of innovations related to genAI under the wraps (I'm being charitable here of their motives), and I can't help but agree.

And I can't help but be saddened about OpenAI's decisions to unload a lot of this before recognizing the results of unleashing this to humanity, because I'm almost certain it'll be used more for bad things than good things, I'm certain its application on bad things will secure more eyeballs than on good things.
I'm nearing retirement age, but I haven't become less physically capable. I think I've become more physically capable than when I was younger, actually, because I'm more physically active now than I was in my younger days (I've never been entirely sedentary, but developed hobbies in my 40s that involved greater physical activity).
Indeed, which is why the premise is false. So if a liar who always lies says that thing about ten foot men, ten foot men must exist, and at least one does not have brown hair.
The Ikea Dirigera Hub?
I think "AI is all about Torch/TF, not details below that" directly contradicts the fact that ML people very much care about the details, to squeeze performance out of the hardware.
Text to image is a very efficient way to express yourself meaningfully.
Agreed that Vector is much better for log collection, transformation and forwarding to the log storage than Promtail. VictoriaLogs can accept logs from Vector - https://docs.victoriametrics.com/victorialogs/data-ingestion...
easyDNS here. Our ears were burning as multiple people have mentioned us in this thread.

If you want to get with a registrar who is actually clueful about takedowns, we can help you out.
In your opinion, which metrics could be better than # downloads to evaluate PyPI packages at scale?
I make love to my wife almost every weekday. Almost monday, almost Tuesday, almost Wednesday,...
Digital surveillance is often marketed as a form of harm reduction, with a focus on some metric that is easy to measure.

What is more often ignored is the potential for harm creation imposed by the measurement process itself: after all, such externalities are subtle and hard to quantify, even if they may ultimately sum in total to a larger quantity, potentially yielding a net positive harm overall.

Some would likely argue that we should prioritize the known over the unknown, but I'd rather not sign up my kids to be your guinea pig, especially if you have already demonstrated yourself to be a rotten scientist.
forced to finally release after that new open source model came out that was equal or better?
>Back in the 80s and early 90s I put up with a poorer gameplay experience because arcade machines still had noticeably better graphics. (Dragon's Lair might be the poster child for this phenomenon.) But that just isn't the case anymore.

Yeah, I mean even with games that had perfectly equivalent gameplay with debatably better controls like Street Fighter 2 arcade vs home, you still got 90% of the experience with the home version. Nowadays the best reasons to play at arcades are prohibitively expensive hardware-specific games like DDR, other more advanced Japanese rhythm games like BeatMania, racing games, and mecha piloting simulators.

The only other thing that could work well in an arcade model nowadays would be a high end VR setup, but ideally you'd have your own sealed booth for that with an omnidirectional treadmill. They were starting to take off before COVID shut most of them down for good. Here's hoping VRcades do eventually become more of a thing again.
The point is if you are the artist and have something in your head. It’s the same problem with image editing. I am sure you have experienced this.
Ah, yes. We definitely needed another bad dreams generator.
Those companies have always existed. The main difference is that their PR teams have convinced the press to use the relatively-neutral term "tech company". It's of course a lot less attractive to have a headline like:

"Mass surveillance company Palantir and drone vendor Anduril form partnership..."

But hey, they use computers, so they are a tech company now! Just like Tesla isn't a car company, so you should totally value their stock like one of those big tech companies doing Magic Cloud Stuff.
To pull files off my Android phone I installed an FTP server app. Gets the job done for me, and works on stock Android. I only turn it on when I need it.

https://play.google.com/store/apps/details?id=com.theolivetr...
EPA Bans Cancer-Causing Chemicals Used in Dry Cleaning
> It is not formal logic but more about the idiosyncrasies and conventions of the English language

Well yea, that's the fun part! Logic puzzles without interaction with language are dull affairs indeed, basically just computation.
This seems pretty broken at the moment, I haven't actually managed to create a video, every prompt results in "There was an unexpected error running this prompt".