skysight-inc/HackerNews huggingface dataset:
Interesting case! Lets discuss.

I don't know/use Unitful, but if that function didn't fail it's because the guys who wrote Unitful defined a promotion rule from Int to their Unit thingy. So.... that's how their type works. Don't use it. Or better, open an issue on github, they might have an explanation that's escaping us. I suspect it has to do with their mental model of what Unitful is supposed to achieve.

Let me tell you that my intuition agrees with you. As an ex-physicist, if I was designing a lib called Unitful I wouldn't let you sum sum 1 meter plus 1 unitless thing.

EDIT:

Actually, I just tried running your code and I do get DimensionError

foo(2.0m)
ERROR: DimensionError: 2.0 m and 1.0 are not dimensionally compatible.

I'm guessing you have some seriously outdated versions of something?

EDIT2: Sorry I misread you. You do get an error. Ok I see your point. Maybe the Julia docs should more explicit about what the Number interface entails. Is `+ 1` allowed? You're assuming the answer is obvious, but it's not to me. In particular, that's not generic at all. You're probably right about `+ oneunit(T)`
Apparently they spent 8 months in court arguing this already. Think about that: instead of just admitting they fucked up they are running out the clock on the legal side. Insanity, that alone should be enough to double or triple any damages.
The "It is impossible until proven possible beyond reasonable doubt" take is backwards and quite uninteresting. One thing is certain, nuclear power is not proven to work economically at scale yet, despite 70 years of subsidies.

This, quite biased, article has an interesting take on the question. Look to flows rather than stocks.

> Rarely mentioned is the fact that renewables have been taking an increasing share of the growth in energy supply, and all of the growth in 2019-21. Moving the focus from stocks to flows moves the conclusion from no change to radical change. Concentrating on the size of the fossil fuel system today is like focusing on the large number of horses in 1900 — it was as good a guide then as it is now.

https://www.theclimatebrink.com/cp/138702709
I've seen some documentaries implying that about some of the root keys for things like certificates, but you know that there are some laying around in easy to use format ...
obviously drivers would want to know it, but is that good for everyone involved? It would make more of an auction but should it even be an auction?
Any direct email to apply to? Also, couldn't find job desc on your site.
I tend to avoid it, but don't constantly try out newer devices and their settings. I always remember when I first saw it on a proud friend's new TV about a decade ago. I was deeply disturbed and asked him to turn off the feature.

We were watching an action/fighting movie with swords and other martial arts, and I distinctly saw these graceful arcs of the actors' limbs and weapons turned into polygons. The motion interpolation clearly inferred linear transitions between the different positions captured in the actual frames. Imagine a large swing tracing out an octagonal path with all the physical unreality that would entail.

It seemed like I was the only one in the room who perceived this travesty.
Oops, I missed that distinction. Thanks for correction.
Why can't the third party seller be held accountable? Why do we allow unaccountable third party sellers carte blanche access to US consumers?

The way that I see it if someone is harmed then they are due justice. If Amazon lets dodgy international third party sellers run hog wild and harm consumers then Amazon should be at fault here. Otherwise there is no incentive to police these things, there are victims, Amazon makes money, and sellers aren't held to account. It's ridiculous.
>The reviewer could have sat down with the person before a single line of code was written.

This is a bigger waste of time. If every change requires asking someone in person, that's an infinite source of distraction and kills productivity for that person.

MOST code reviews don't end up in comments asking for big changes, and when they do the one-time cost on the author is much better to pay than the constant tax on your subject matter experts of what you're proposing.
Thanks I’ve just deciphered the cryptic word missing after almost 3 decades. My mind started to sing the tune right upon reading the word.
There have been numerous proposals for LTS releases within the k8s community. I’m curious if someone could chime in as to why those haven’t succeeded
> It's outrageous that Harvard won't fund such an insightful, groundbreaking researcher.

TFA flatly tells that she brought in her own funding from outside grants. Like the vasy majority of academic researchers do. She claims that Harvard is keeping this money even though it was dedicated to her research agenda.

> Though Donovan’s contract was supposed to keep her on the job through the end of 2024, her superiors took away her ability to start new projects, raise money or organize large events, she alleges. They kept the money she had brought in, including more than $1 million from Craigslist founder Craig Newmark that he wanted specifically to go to her research project, according to documents quoted in the declaration. Newmark declined to comment.

It's right there in the article.

People have wrong ideas as to what kinds of funds and resources academic researchers actually have access to from their employing institution.
A conversation about complexity lower bounds
> PE has nothing to do with it; they are just looking for returns.

If PE comprises 44% of purchased homes, they're increasing demand, and therefore prices. So they have plenty to do with the current housing market.

Don't let idealism and perfection be the enemy of good: PE is currently distorting the housing market. The government should take steps to prevent PE ownership of housing, either through taxation or blanket bans, because civilisation imperils itself if most people can't afford housing.

I'm sure other measures should be taken to prevent housing from ballooning in cost between generations, too -- we probably want to stabilise it to something resembling inflation (but probably not necessarily locked to that measure?). That's for economists to figure out.

All I know is that housing has skyrocketed in price in the last few years to the point where many will never be able to buy, and more and more are priced out of even renting. Kicking PE out of the market may be a bandaid on a bullethole, but it's better than doing nothing.
I would add: especially when using apps or food delivery of any kind.

The chances of a server spitting in my food for me leaving a bad tip after a meal in a restaurant are 0%. The chances of someone mucking with my food because I tipped $1 on a $40 order are absolutely >0%.
1. save in a text file
2. save all their content to yacy, so i can search later
Contradicting statistic reported here: https://www.attomdata.com/news/market-trends/home-sales-pric....
The smartest people I have personally worked with work for companies like Siemens, GE, etc. on very technical things that require an understanding of a broad range of tech combined with a lot of domain expertise, usually gained from at least some stint in academia. Usually money not so motivating as an interesting problem domain.
> DoorDash is effectively eliminating it (or at least making it truly optional)

it was truly optional before, no? you just had to decide if you were taking an option or implicitly being a jerk before ordering. now you decide after.

perhaps companies need to stop implying such things altogether. such as could be done by not even mentioning a tip until food is in hand. as that is what a tip is.

that the delivery person be paid more upfront and outside of tips is part of the problem that needs solved. a big part, but not the only one.

in fact the case study advocates for more than dd did.

so this doesn’t seem to be what the commenter wanted. progress but not completion. maybe not time to celebrate yet.
I'm going to tell them that that's much less likely to happen than them getting owned up, and that the outcome of them getting owned up is much worse than the outcome of having a problem with Google or Apple. I know† lots of people that have been owned up, and zero people who have had the problem you're describing.

I'm also going to tell them to beware of technologists, who have rooting interests that are more about industry politics and big picture principles than about user safety. I'll tell them that people lobbying against the increasing influence of big tech companies on security are going to lose that fight anyways, so there isn't much point in staking any of their personal safety on the debate, even if they do believe in it (in reality: very few of them will care).

Regardless: just as a connoisseur of Internet nerd argumentation: if you're going to come at Passkeys, you need to do better than "the Unix greybeards were right about HTML email", because (a) no they weren't and (b) it obviously wouldn't matter if they were.

† personally (added later)
We are not talking about aircraft, we are talking about nuclear plants. The one is a lightweight aluminum structure for carrying passengers and cargo, the other is a massive structure to generate energy. Not sure how you could confuse the two.
Or indeed being a sort of tech apologist by describing it as “weird”.
It's pretty common for people taking a sport seriously to record themselves to improve their technique.

So maybe competitive shitting?
There are ways of scoring forecasts that reward accurate-and-certain forecasts in a manner where it's provably optimal to provide the most accurate estimates for your (un)certainty as you can.
Yes! Someone else talking about this computer use scenario!

In my case, I put an apple magic mouse scrollball between Esc and F1 on a keyboard a decade ago, and still use this. (google `apple scroll ball keyboard` if interested)

(A recent oddity I noticed is that Firefox ignores up/down scroll if mouse isn't over the window, but side-to-side scroll still works.)
I am a noscript/basic (x)html user, indeed. Not even css.
Have you seen some of the legit home cameras? They're not hard to hide either (according to YouTube). I looked on Amazon, if it was bought on eBay under a different name nobody would say anything. https://www.amazon.com/dp/B0CKHVD994/ this one is tiny and doesn't say bathroom or spy.
Sorry, I don't understand the procedure. If the database contains hashed passwords (I haven't seen or download the database), how can you know you're using the same salt and method that the one in the datbase?

For example, let's say Tumblr was hacked and with it my password `hunter2`. Tumbler used some naive HMAC-MD5 method with a salt, but my site uses argon2 with (obviously) a different salt. Even though my password is the same (`hunter2`) the resulting hashed passwords will be different. How is this any effective preventing credential stuffing?
For me it’s the forcing of Podcasts down my throat that I hate.

No Spotify, I do not want to listen to Joe Rogan and other right wing podcasts.

Just let me hide Podcasts already :-(
It's absolutely fantastic, how gracefully ext2/3/4 stood the test of time, for something designed in early 90s by people who hadn't had 30+ years of kernel hacking in their pockets (yet). While I generally prefer ZFS, ext4 remains a rock solid choice - I rarely have a reason to pick anything else (on Linux, at least).
It seems unlikely that the modelling and forecasting has become worse, so I guess there is some sort of change happening to the climate making it more unstable and less predictable?
I agree with you, but the use of "tech" to mean "computer-centric technology" has already poisoned the term a bit anyway.
Here's 60 years of data on new housing starts:

https://fred.stlouisfed.org/series/HOUST

I don't see a boom. Especially when you adjust for US population over that time, which has ~doubled.
Show HN: MightyGrep - a file finding and text searching tool
A lot of weather agencies across the world run ensembles including US, Canada, and the UK. Ensembles are the future of weather forecasting but weather models are so computationally heavy models have a resolution/forecast length tradeoff which is even bigger when trying to run 20-50 ensemble members. You can have a high resolution model that runs to 2 days or so or have a longer range model at much coarser resolution.

ECMWF recently upgraded their ensemble to run at the same resolution as the HRES. The HRES is basically the ensemble control member at this point [1]

[1] https://www.ecmwf.int/en/about/media-centre/news/2023/model-...
this is a trial you want dismissed. After that you try your darndest to settle.

After all, do you really want a jury of 6 men (ie dads of little girls), a 6 women (ie identifying with the victim) adjudicating this? When you're one of the most despised companies in America?

Settle Amazon. Settle quickly.
eBay is a wild west, but it's at least honest about it. It's very clear when you buy something from eBay, it's coming from an independent seller, and eBay provides you all the history of seller feedback so you can try to vet the seller yourself. They also provide a dispute resolution system through PayPal that heavily favours the customer.
> I would love for the US to eschew tipping culture like other countries and just pay a wage that is transparent.

Few servers in the US share your sentiment. Servers are the aristocracy of the retail industry. They don't want their gravy train to run out.

An decent server at a decent restaurant can easily clear 60k / year. An excellent server at an excellent restaurant can clear 6 figures.

What other industry is this possible with so little training or experience?
This is a frustration shared with some monitors, too. Either the zero-point should be obvious or there should be a toggle that disables the setting altogether.
both are toxic enough
It seems like that's the point of the story -- they were willing to tip well, and received bad service. If it came after, then drivers would have a reason to make sure food was delivered fast and efficiently.
I'll check the wiki link, but how is perplexity different from the measure of Surprise, in terms of Shannon's stuff?
This is the situation of cannabis seeds in at least large part of the EU. You can have/buy/sell the seeds but it's illegal to grow them.
Sorry but what you said doesn't mean anything.

Links can be "discovered" ad infinitum.
I like having a Wild West, but it should be clearly advertised as such. AliExpress and eBay are clearly Wild West platforms and I appreciate them.

Getting scammed on Amazon is different. Amazon should be fully liable since very sophisticated customers can be confused by commingling, marketplace settlers, algorithmic recommendations, etc. all designed to look legitimate to the unwary while being completely unsafe.

I stopped buying food and medical products on Amazon because... scams.
Yeah but ChatGPT is using $700k per day in compute (or was in April). Someone's going to make an analog machine that uses mirrors and light interference or something to do self attention and become very, very wealthy.
Convolution: The time domain operation that corresponds to multiplication in the frequency domain.
I didn't notice a change in baggage inspections. The inspection occurs when you leave the terminal in London, but that's not blocking, like in airports, you just walk through unless you are one of the few unlucky ones. In 15 years it only happened to me once, and that was before Brexit (they mostly search for drugs and other illegal products).
We don’t perceive all types of screens in the same way. Film projectors and CRTs display parts of the frame, only part of the time. TFT and IPS screens introduce a lot of inertia and blend the frames. Both of these help the motion illusion. OLED on the other hand has the harshest frame transition - it displays the entire area for the entire time and switches frame content almost immediately.
There are products that have legitimate uses but can be abused for something else; and there are products designed for abuse that also have legitimate uses. Small cameras have a lot of useful uses. However a camera disguised as a towel hook is clearly designed for use in a bathroom where it is unlikely it will be used for legitimate purposes.

If you make a camera as a towel hook you need to have good know your customer policies to ensure only legitimate porn producers buy it. The general public should buy concealed cameras that don't look like things that you would find in a bathroom thus making it more likely if used in a bathroom they are found.
That's certainly not the case with all unions like that, e.g. sport players' unions, where a player works for a team for a couple of years, then may go to another team, or (an area where I'm familiar) AGMA, the American Guild of Musical Artists, where many union members are employed by the same dance or opera company for years, sometimes their entire career.
It can, but it's uneconomical except for some niche applications, and breeders also come with their own proliferation concerns. Most nuclear waste is being warehoused.

So, a reason to do it is because it would be cheap and safe if done correctly.

If you look at e.g. [1] you'll see that we generate around 100k TBq/y of waste. Just the radiation from natural potassium 40 in the ocean is 14,000,000x10^15 Bq.

So if we dumped all the nuclear waste the world produces in a year into the ocean it would be just 0.0007% of the radioactivity we're already getting from only that natural potassium 40.

We could keep it up for 1400 years before it would be a 1% addition.

We're killing around 5 million a year from fossil fuel use. Anything that makes nuclear cheaper is a good thing in that scenario, and storing waste costs a lot of money.

1. https://www-pub.iaea.org/MTCD/Publications/PDF/te_1591_web.p...

2. https://en.wikipedia.org/wiki/Ocean_disposal_of_radioactive_...
> Sometimes we don't (fast food delivery).

Making a law is now a lack of subsidy.

Subsidy for what? Able bodied people competing for identical work?

Is that too competitive for the human condition?

To not rob people of their agency and sense of worth?

and what point does the state have an existential obligation to turn us into Matrix human batteries, for our own protection?
This didn't say it was great for child porn either. Both cameras and storage classify under “create and store child sex abuse material.”
How much does vehicle maintenance and fuel cost? Does that come out of the driver's pocket?
> No, they use it on an ongoing basis to serve their customers, so recurring payments are appropriate

Imagine that I pay for and listen to some AC/DC and some Metallica, and then compose a new rock song inspired by those bands. Should those bands receive royalties from my new song? Of course not.

What if I drove through a neighborhood and was inspired by the architecture of the houses. So I go home and design my dream home based on some things derived from said neighborhood. Should every architect in that neighborhood receive royalties from my new house? Of course not.

What about if I taste 10 different cakes and design a new cake recipe inspired by (but not a direct clone of) the original cakes. Should they get royalties? Of course not.

If I painted a portrait of a woman who seemingly looks at the viewer, should the Mona Lisa rightsholder get royalties? Of course not.

So why is the MidJourney situation any different?
Yeah, there are a ton of substantively different approaches to modern Datalogs, targeting different applications.

To start off: Datalog is distinguished from traditional SQL in its focus on heavily-recursive reachability-based reasoning. With respect to expressivity, you can see Datalog as CDCL/DPLL restricted to boolean constraint propagation (i.e., Horn clauses). Operationally, you can think of this as: tight range-indexed loops which are performing insertion/deduplication into an (indexed) relation-backing data structure (a BTree/trie/etc...). In SQL, you don't know the query a-priori, so you can't just index everything--but in Datalog, you know all of the rules up-front and can generate indices for everything. This ubiquitous indexing enables the state-of-the-art work we see with Datalog in static analysis (DOOP, cclyzer), security (ddisasm), etc...

Our group targets tasks like code analysis and these big graph problems because we think they represent the most computationally-complex, hard problems that we are capable of doing. The next step here is to scale our prototypes (a handful of rules) to large, realistic systems--some potential applications of that are, e.g., raw feature extraction for binaries when you do ML over binary corpuses (which otherwise require, e.g., running IDA) on the GPU (rather than IDA on the CPU), medical reasoning (accelerating MediKanren), and (hopefully) probabilistic programming (these neuro-symbolic applications).

By contrast, I think work which takes a more traditional Databases approach (CodeQL, RDFox, ...) focus a little less on ubiquitous high-performance range-indexed insertion in a tight loop, and focus a little more on supporting robust querying and especially operating on streams. There is some very cool related work there in differential dataflow (upon which differential Datalog is built). There is a solver there named DDlog (written in Rust) which takes that approach. Our in-house experiments show that DDlog is often a constant factor slower than Souffle on GPUs, and we did not directly compare against DDlog in this paper--I expect the results would be roughly similar to Souffle.
3rd round of Spotify layoffs this year
Wealth is too concentrated. Tax it.
Great, I can’t wait for the promised utopia when things are all “joined up” and my PC automatically orders me ten litres of unwanted HP toner when this happens.
I don't think many cinematographers would agree with you. We have the technology to make films at higher framerates, yet few choose to do so.

Interestingly, David Lynch shot Inland Empire at 60fps interlaced, but the film was released at 24fps.
>letting the SSM parameters be functions of the input

That’s what the attention mechanism has going for it. Different weights for different sets of tokens.
> This makes the decision feel more arbitrary.

This is something I've started noticing more and more with experience: people really hate arbitrary decisions.

People go to surprising lengths to add legitimacy to arbitrary decisions. Sometimes it takes the shape of statistical models that produce noise that is then paraded as signal. Often it comes from pseudo-experts who don't really have the methods and feedback loops to know what they are doing but they have a socially cultivated air of expertise so they can lend decisions legitimacy. (They used to be called witch-doctors, priests or astrologers, now they are management consultants and macroeconomists.)

Me? I prefer to be explicit about what's going on and literally toss a coin. That is not the strategy to get big piles of shiny rocks though.
Modern smart TVs are so disappointing that I just prefer watching films on my 27" IPS computer monitor - no bloatware and every video just looks right.

Not to mention that after 6 years the TV becomes useless junk killed by bulky modern app updates. I think there is a market for something like "Framework TV".
Honest question:

When is there not a glut of administrators in any industry?
I have done this on family and friends' TVs a number of times already. Most of these settings are crapy and very visibly making picture worse instead of better. Worse offender in my opinion is the noise reduction or sharpness. Noise reduction is incidentally also the one which makes Smart phone or other cheap camera outputs worse.
Spotify Is Screwed
Like a riverboat casino loophole?
The issue isn't of potential illegal use, it's an issue of explicit illegal use.

The camera description specifically describes how it can be used for illegal purposes.

There's a huge difference between selling "stump remover" and "spouse poison" even if they're the same chemical.