skysight-inc/HackerNews huggingface dataset:
I was hoping for a bit more of a payoff. Like, if the gif was broken, why did the grammarly extension trigger it reliably?
I'll take Ron over Rand any day, but beggars can't be choosers.
Even with coal, power plants are much much more efficient than ICEs at converting fuel to energy:

https://www.motortrend.com/news/evs-more-efficient-than-inte...
This is a terrible eval. Do not update your beliefs on whether LLMs have Theory of Mind based on this paper.

The eval is a weird, noisy visual task (picture of astronaut with “care packages”). Their results are hopelessly narrow.

A better eval is to use actual scientifically tested psychology test on text (the native and strongest domain for LLMs), for example the sort of scenarios used to gauge when children develop theory of mind (“Alice puts her keys on the table then leaves the room. Bob moves the keys to the drawer. Alice returns. Where does she think the keys are?”) which GPT-4 can handle easily; it is very clear from this that GPT has a theory of mind.

A negative result doesn’t disprove capabilities; it could easily show your eval is garbage. Showing a robust positive capability is a more robust result.
Apparently its well marketed (Russel is good at that), because it's one of the only math related books HN knows.
> And since GPUs have single-cycle "popcnt", any symmetric bit-twiddling function can be built off of popcnt within a few cycles

This sounds interesting, do you have a reference to this?
This is indeed a bit of a dark art. Essentially, you want a balance between "is significantly faster than base model" and "generates similar stuff to the base model".

Anecdotally, folks often seem to use say, 70B base + 7B as verifier. But I think there's a lot of room for experimentation and improvement here.

You could... say, take a 70B model and maybe just chop off the last 90% of layers and then fine-tune. Or perhaps you could use a model that's trained to generate 8 tokens at once. Or perhaps you could just use statistical "n-gram" predictor.
If that were the case, I think the bug would be much easier to reproduce; and be a lot more widespread.
I'm getting the same crash on a mobile browser.

This sums up my feelings with Unity in a nutshell. Announce a new feature while it's still buggy.
I would love to do this and maybe move back to MacOS but ... this seems like a lot of faffing about for something that was not designed to be done and something that is constantly at risk of being nerfed by some future update or security thing such as Apple disabling the SIP disablement ability or something along those lines.

But in Linux the choose-your-own-adventure that is the pluggable desktop model is that something like sway or i3 or other tiling window manager or a plugin for Gnome for example is much more in line with how the system was meant to be used and is very much not trying to shoehorn something in if any of that makes sense.

Of course the dev(s) that put this together and it's other projects are hackers in the truest form and their efforts are to be applauded. I'll continue to show them praise but keep using i3/sway on Linux for the time being. (funny enough tiling window managers was why I left MacOS for Linux.)
How do I bookmark a site so HN will preferentially show me posts that link to it? Scope of Work is a find.
On the other hand there are a couple of things in ZFS that can make a big difference. For instance: changing the page size to be the same size as Postgresql uses (8kb); disabling the writing of 'last accessed' timestamps; or whether or not the filesystem attempts deduplication. From what I remember (it's been a while) these can be configured on a per-dataset basis, where a dataset is a lightweight filesystem more akin to a directory, and many of them can be changed on a live filesystem.

Here, have at it: https://openzfs.github.io/openzfs-docs/man/master/7/zfsprops...

So personally I'd encourage messing around (on something non-prod, of course). Measure measure measure! Does it actually make any difference.

It's a shame a bug crept in to an otherwise pretty much faultless filesystem. I'm sure there are some truths in there about commercial support or not running the bleeding edge or whatever. And making backups, even for ZFS backed filesystems. Sacrilege, I know.
Nope. Principia is purely logical theory. This is practical book, although foundational.
> A good example of this at the human level is a reflex. Your hand didn't go back to your brain to ask for instructions on how to get away from the fire.

Is this actually true? I thought it just involved a different part of the brain. Is there actually no brain involvement? Sure it does not need your awareness or decision making, but no brain? I find that hard to believe.
Sounds about right to me, honestly. In my experience, if the theory is predictive, insulting, and has societal ramifications, it's usually correct.

Let's say the soul is exclusively located in eye-to-eye contact. Theres a lot of information in how that contact is broken, how long its broken for, and what happens in between.

(Enemy's-gate-is-down-style reorientation)
> E.g. If you’re surrounded by yes men who will code whatever without question, product people greatly prefer that, and you end up sidelined.

I'm amazed at how non-obvious this seems to most engineers and how often this angst gets repeated in online tech communities. I mean, when I was in academia there was a tension between publishing impactful results or cozying up with the right professors into the right conferences vs outputting meaningful work (pressures into p-hacking or having big names author suspicious results is par for the course.) In industry it's the tension between product folks and engineers. Have you ever talked to high-level finance folks who deal with the tension of product folks just wanting to do things and finance folks who remind them how money works?

It turns out that the hardest thing about getting things done with people is... dealing with people. I wish there was a way to remove this weird somewhat-ascetic blockage found in tech communities about this. Many of the more physical engineering occupations have to deal with this in the form of contractors and supervisors. Wait until you have to work on a government contract lol.

When I mentor junior engineers with these feelings, I like to use an adage: "Where there are people there are politics." Look at pretty much any prominent FOSS project and you'll see tons of it (by dint of transparency) and those folks generally focus on the project and not a product!
Generate Beautiful Documentation from Video
This project was inspired from our jobs where we spent time writing technical documentation on the stuff that we've built. We'd thought it would be cool if GPT4-V could automatically convert a recorded demo of the product into documentation, that's why we built Vid2Doc! Would appreciate any feedback!
Because French were cheapening out on cooling towers and water returning back to river would be too hot. It is not problem of fission in general. It is just construction defect of those types of plants.
Clerk announces new auth pricing with 10k free MAUs
Heck, when viewed from the ground too.

If you count rotations relative to say the north star, then you get 366 from your backyard over the year. Presuming you're in the Northern Hemisphere and can see it (88% of us).

Rotation relative say to the sun, noon to noon, is about one degree more than one absolute rotation. Because of course, the earth is hurling around the sun too, so to get back to noon it has to 'catch up' with that motion by going just that little bit further. So in 365 days, about one more rotation.
Live: Tesla Finally Delivers the Cybertruck
Serious question, why not adopt one timezone globally? For some of us sunrise would happen at 10pm, for others on 4pm. So what? Wouldn't we just get used to it? Is there any rationale for anchoring start of the day between 4am-8am?
> They don't address why they didn't just run Chromium. Or Firefox.

Probably:

1. Because it is reasonable to expect the application to work in Chrome.

2. Chromium isn't intended for production use cases.

Back when IE and Chrome had about equal market share, I worked somewhere that had one team insisting that all employees must use IE for one of their applications, and another team insisting that all employees use Chrome for their application. 50%+ of support calls were employees confusing the two browsers.
This one is a legend. I love it, but you can find the debunking on the fact checking sites.
By that logic it would be unhealthy to permanently move from Portugal to Spain.
It would seem to me, that the data is the more important part of the equation, and the health care providers, being the holders of this data, and also needing to find new revenue streams, want to profit from this.

With federated learning and homomorphic encryption, can we satisfy both parties?
> sad but true: learn "yes" then learn blame other grugs when fail, ideal career advice

Perfection
Is Henry Kissinger a War Criminal?
I love this! I usually use the UG iPhone app which isn't great, so if this is PWA-abble, I'd be stoked. The biggest issue I have with UG is that it can't be used offline. Often I'm out camping or something and just need a refresher on the lyrics but am thwarted by connectivity
Most religions spread virally, which means the marketers are the customers, which is usually a testament to the product/service being one that customers value. I say this as an atheist who's not a fan of religion, but people clearly get a lot out of it, or at least believe they do.
> Kissinger is on record (from WEF/Davos of all places) as having criticized the West's position in the Ukraine-Russia conflict. The only reason he swum against the tide was because he was 98 at the time and probably doesn't give a shit what anybody thinks of him.

Kissinger’s support for accepting Russian imperialist crimes against prace and war crimes in Ukraine is grounded in the same realpolitik as his advocacy of US imperialist crimes against peace and war crimes throughout his career, and his advice on tape to Nixon in the 70s about the plight of Jees trying to flee persecution in the USSR that even if rose to the level of gas chambers, it shouldn't be considered a US concern.
eBPF – Introduction, Tutorials and Community Resources
Tonic immobility is a fascinating phenomenon. From the wikipedia article on it:

“ In an interesting eye witness case off the coast of California, a female orca was seen holding the shark upside down to induce tonic immobility. It kept the shark still for fifteen minutes, causing it to suffocate to death.”
you need a cofounder but there's no benefit in them being nontechnical
Is anyone still using it? It already went through the enshittification years ago!
It's a proposal not a law
MMIX has educational qualities that RISC-V does not.
Permissive airstrikes on non-military targets and the use of an artificial intelligence system have enabled the Israeli army to carry out its deadliest war on Gaza, a +972 and Local Call investigation reveals.
An MP3 or any similar format, is a piece of data that exists to create an audio reproduction of a specific work. This single and clearly intentional purpose is quite different than the quite varied purpose of a trained generalist ML model.

This "transformational" aspect and lack of intent make it much harder to argue that fair use doesn't apply to training the model.

> but in a technical sense they do actually share a lot with the models behind LLMs and other generative ML projects

How so? The "encoding", "decoding" and storage all seem very, very different.

> such software could well be baked into the OSes of major desktop and mobile operating systems by that time

That seems silly. However, if it were to come to pass then models trained with a clear intent for the main use to be reproducing the works it was trained, then fair use in training the model becomes harder to argue.

I would argue that if the liability remains with the users of the model, then there will be demand for tools that check generated works for possibility of infringement.

However, the more the intended use(s) of the trained model differs from that of the copyrighted training material, the stronger that argument for fair use becomes.

I would argue that our approach to ML models should be more akin to a CD burner. It is something that could be used for piracy but if we don't put the responsibility for that on the manufacturers but rather on the users who choose to pirate. This makes sense because the fair use argument of a teacher using a ML model to generate content for their class is very different from a studio using a ML model to make content for a commerical work. If we make the model responsible for the possibility of making infringing content then we take away that flexibility.
I mean, by that logic every fantasy story ever is a derivative work. Should everyone be paying JRR Tolkein's estate royalties the moment they include elves in a story?
So there is nothing about being proprietary, but just about using IM?

I don't fully agree. IMs are a great place to discuss issues in a semi-synchronous way. Telecon or face-to-face meetings are sometimes better in velocity, but IMs have some edge on bringing random people happen to be online into the discussion. And it can also bring a different audience into the issue than bug reporting tools or mailing list.

When this issue was brought into the group, it just took several hours for curious people there to collaboratively find the conclusion. This is something unlikely to happen in any other form of discussions based on my experience.

But I agree that group chat is not a great way to record it, and that's why the findings are recorded on the GitHub issue, and group members also encouraged the author to write this up. Then it got posted on HN and on /r/rust by two different group members as well. (The author's initial posting on HN was mysteriously taken down, so the op here helped posting it again.)
Emacs is hardly the example I would think of, it didn't got its nickname accidentally.
Back in June, I think, Evernote tripled their price, from $41.99 for an annual subscription to $129.99 for an annual subscription today.

The previous subscription cost was already too high, when you consider something like Google One with 100GB of storage is $19.99/year. Rather than raising prices, Evernote needed to be cutting them.

There probably exists some subset of users that find $129.99/year of value in it, but I'll tell you, it's never going to be very large, and it's just absurdly, comically over-priced now. Cutting features in the free tier is not going to move anyone to the premium, it's just going to erode their user base.
No I imagine not as mid day and midnight have meaning and that changes them from roughly 12 and 12
A variation of "divide et impera" divide and rule - a strategy probably as old as the concept of an empire.
oh wow, you can have multiple "alt-tabs" and set what they show

thanks for the link!
Tether Worth $9M Tied to 'Pig Butchering' Scams Is Seized by U.S. DOJ
Cybertruck Delivery Event
> criminality is lower when there's longer light

I just don't understand how anyone can think changing the clock creates more light. If that were true wouldn't everyone change their clocks, and by more than an hour?

All your arguments are just about people starting and finishing work earlier. It's so annoying that it has to be "change the clocks" instead of just "why don't we just start at 8 and finish at 4?"
They don't need to cover all disabilities, that's ridiculous. Kinds, severities, and combinations of disabilities are endless. We make a reasonable effort that importantly must make sense for the application.

The person you've constructed in this scenario is both blind and deaf. Such an unattended person is in extreme danger on streets with automobile traffic no matter what the crosswalk button does.
Stop Springifying Your Unit Tests
I saw the proof in some Binary-decision-diagram book that I've forgotten the name of.

The gist is that if you have a symmetric function (ie: order doesn't matter) of say, 8-bits, then that means f(10101010) == f(11110000) == f(00001111), and all such combinations. Because this is the very definition of "order doesn't matter".

This necessarily implies that f(bits) can be rewritten into the form of f(bits) == g(popcnt(bits)).

Something to do with counting up all the possibilities of "order doesn't matter" and then pigeon-holing them into popcnt combinations or something really mathematical like that. I'm sorry I don't remember the proof, but hopefully this is enough to give you the gist of the idea.

------------------

For example: XOR is the simplest symmetric function. We can see that XOR can be rewritten as XOR(bits) == g(popcnt(bits)). Where G is "take the bottom-bit from popcnt".

A lot of the "power" of BDDs is their ability to uncannily decompose functions into symmetric and non-symmetric parts. Not consistently mind you, but if a BDD is well-behaved (low-memory space, high-speeds, etc. etc.), its likely because a large part of the calculations happened to be symmetric.

This can be beneficial with say addFourDWORDs(a, b, c, d), where a+b+c+d has a "partial" level of symmetry. (a_0 XOR b_0 XOR c_0 XOR d_0 determines output_0 bit... while the 1st bit is related to XOR (a1,b1,c1,d1), etc. etc.). So there's all kinds of 'hidden popcounts" that could pop up in practice for random functions (IE: "partially symmetric"), though its a puzzle on how to exactly decompose arbitrary bit-functions into this form.

And even if you do, its no guarantee that the popcnt form was actually faster either. But it does give you some "trick" to try when trying to optimize an arbitrary bitwise function into a high-speed routine.

-----------------

Other symmetric functions (assuming 8-bit numbers)

AND(bits) == (popcnt(bits) == 8).

OR(bits) == (popcnt(bits) > 0)

Etc. etc.

EDIT: Looks like Wikipedia has a link to this concept:
https://en.wikipedia.org/wiki/Symmetric_Boolean_function
That’s not my point.

Spitting out content that looks legit is one thing, but spitting out text that matches something online exactly is more suspicious.
> and the outcome for the original reporter is the same: no payment for their work.

What provisions are in this bill to ensure that the money ends up in the reporters' hands, and not the media agencies' hands? Without that then you still have the exact same "race to the bottom" scenario – with the reporter seeing no payment for their work.

What provisions are in this bill to ensure that the reporters are able to create their own brand to break free of the media agencies? If the intent is to see Google/Meta drive the traffic and also pay the reporters, the middleman agency serves no purpose.
Some orcas use this on white sharks to kill them with little energy expenditure. They induce tonic immobility by ramming the shark from the side.

https://en.wikipedia.org/wiki/Port_and_Starboard_(orcas)
Have to have individual responsibility for actions of combatants. Hard to say - did anybody on the ground do something because HK told them to? If not, then, no.

Hey, just reiterating the common international definition. You want to slang somebody by using the wrong term, go ahead. But it doesn't aid in understanding the facts.
I'll take this opportunity to plug the movie "Untitled" (2009) by Jonathan Parker, a light comedy poking loving fun at contemporary art.

The lead character is an avant-garde composer, with a strong belief in the importance of his work, ignoring (as best he can) the mockery of others, and resisting the calls from most of those who care about him to use some melody in his work.
Big fan of Lem! I've read all his books translated to Hungarian (around 7-8 at that time). And collected some insights, quotes not just about AI but politics, culture, society, (bio)engineering, etc. : http://metamn.io/gust/whats-next/

Still fascinated how many of his predictions ~50 years ago came true today.

And still fascinated by his method for predictions: Don't predict, but sense / record the visible horizon.
People should learn bottom-up mergesort. It's not recursive, so it's easier to understand. Do multiple passes through the array, merging adjacent sub-lists:

First pass: merge every two neighboring single values into length-2 lists.

Second pass: merge every two neighboring length-2 lists into length-4 lists.

Third pass:merge every two neighboring length-4 lists into length-8 lists.

After log(n) passes, you're done!

This is probably what the magnetic tape drives were busy doing in those 1970s action movies, where the hero breaks into the computer room and fights the villains: they were driven by fortran programs, which didn't support recursion.
I at first thought that by Arsenal of Democracy they meant an educated populace that actually felt some sense of responsibility towards both the generations that came before and those that will come after. Minds that have the capacity to ponder things, say what they believe, and listen to opposing viewpoints.
Why not simply ditch the private user tier completely? I don't get this product. It doesn't make any sense.
A month with an a2-ultragpu-8g is going to cost you ~$6400/month or about $36.92. Where are you getting half price?
I read this article last year and found it to be a pretty good in-depth analysis of how Evernote had a lot of potential but lost in so many ways:

- [Why Evernote Failed to Realize Its Potential |The Full History](https://nira.com/evernote-history)
Consider a different job, and pick up some responsibilities.
maybe a small drill bit in the sidewall
> How do you handle lack of cooling water during droughts (see France 2022)?

As far as I know, it was not lack of cooling water, but water retuning back to river being too hot, because that specific French design does not have cooling towers and discharges water back to river.
I don't think I would believe myself if I found this being a specific gif. This is a great amount of coincidences in code to cause this.

Grammarly is an application that I don't get. The fact that people are installing, basically spyware, on their computers just to get grammar suggestions to make their writing more boring and add a spellchecker (which is already inside web browsers) is pretty astounding to me. The fact companies allow employees to have it, despite obvious security issues of sending everything one types to a saas, is even more wild.
UAE sheikh made carbon deals for forests bigger than UK
Then you just need to implement a global system of determining how people's activities are aligned locally. What you end up with is timezones by another name.

Timezones are a lot less of a problem now that we are using calendar apps to book events. Better integration of tools to negotiate availability would make that even easier.

The problem that people largely govern their activities by the rotation of the earth and we are in different places on that globe doesn't go away.
Right. Most people have sunset before 5 (there's not that much blue on the map), but not before 4:30.
Recently I noticed some references to Evernote in some default iOS Apps (Shortcuts, I think?). And I was like, "huh that's weird - didn't I cancel that like eight years ago?" And sure enough I did. The app isn't installed on my device. I guess maybe the Shorcut is targeting the remote API, which makes it a fairer default (like posting to Twitter). But it was strange to see.

Does Evernote pay Apple for some kind of inclusion as a default in apps like this?
I Fight for the Users
Good insight. Its been interesting watching Evernote make missteps over the years but survive nonetheless. It feels to me like they've missed every SAAS trend except the initial one they got right, and ceded marketshare to competition like Dropbox, Notion, Google Keep, Apple Notes, Obsidian, etc, etc.
Ego-Exo4D: video learning and multimodal perception
Fair, but for those 6 billion people that don't live in the EU....