skysight-inc/HackerNews huggingface dataset:
We're not talking about an established candidate with pre-existing support, and this was just the first leg of the election with multiple presidential candidates, not the run-off, so don't compare this to Trump v Kamala.

I'm also not talking about a single poll, or ones run by just the left/right, he wasn't polling well anywhere.
I'm not familiar with the Romanian constitution, but due process is fundamental to the US constitution:

> No person shall ... be deprived of life, liberty, or property, without due process of law.

The US constitution does not just "allow" for years of appeals, it guarantees your right to defend yourself through that process.
This CPU is a bit of a hybrid because it as integrated matrix multiplication accelerators: https://en.wikipedia.org/wiki/Advanced_Matrix_Extensions
Love it! I can't help but think there's still a way to use native scrolling though. You could start with a tall document, say, 10k pixels and grab the scroll position and multiply it out when it moves to get sort of a macro scroll position. That would handle the arrows and clicking or grabbing the scroll box.

But the wheel would be tricky because you want to scroll by only one or a few items, not items/10k. With a static viewport-sized DIV set to overflow-y:scroll and large vertical content size, positioned so you don't see the scroll bar, when the mouse is over it it should capture wheel movement which you could translate to an offset from your macro scroll position.

Just a thought. Either way, love the thinking here, fun work :)
Not too keen. He's one of the few people I have on mute on xitter as he's always pushing the Russian propaganda position on Ukraine.
AI researchers get huge checks working anywhere. So how does your company distinguish its appeal? Play to a researcher's desire for recognition in their field. Lean on open source. (I'm just paraphrasing Zuckerberg.)
you are literally trying to justify murder, not a good look.
Your last sentence is likely right, by default the form issues a network request.

I've been using a dialog form to update an iframe (it's an editor) so it does work as normal the target iframe gets reloaded. It does not close the dialog though.

I can't produce the case where hitting enter closes the dialog. It should be the same as `<button type='submit'>submit</button>` which also does not close the dialog.

FWIW I learned yesterday that a button _can_ close the dialog:

<button formmethod="dialog">Update & Close</button>
In this case, it's taking care of the elderly to the huge detriment of the young. And when you do that, you kinda lose the future.
This misses the single biggest mistake every new manager makes: avoiding hard conversations with your reports. If you start managing folks you were recently in the trenches with this can be VERY hard. These are your comrades after all! You want them to like you. It’s all very natural. Sadly it is the single biggest cause for dissatisfaction I’ve seen on a given team. Being unwilling to give honest, direct feedback results in underperforming teams and unhappy reports. It’s counterintuitive but very important to get right as a manager. The big “AHA!!” moment for me was when I realized you need to speak to behaviors and outcomes not character. So instead of “you’re sloppy” you say something like “I’ve noticed quality issues in your code recently that’s resulted in some rollbacks. Can we talk about how we can address that?”. Involving them in the solution and explaining why it matters. It makes all the difference and folks ironically respect and like you more for it.
I'm now the proud owner of 69ac8bd2-4ca0-4dd9-82b5-60fabec0b404.com
This one.

https://www.bhphotovideo.com/c/product/1607840-REG/pny_techn...
> Even better, for a few months the browsers themselves would highlight RSS feeds and allow you subscribe right in the browser. It was too good to last.

Vivaldi browser still does that.
Congrats to you and Francois on the success of ARC-AGI 24 and thanks so much for doing it. I just finished the technical report and am encouraged! It's great to finally see some tangible progress in research that is both novel and plausibly in fruitful directions.
> PRAGMA busy_timeout = 5000;

I would go higher than this by default. Probably the best default is something like "amount of time a human would be willing to wait for something they want before giving up" which, if you have to pick one value, is hopefully longer than 5 sec. Perhaps 30000.

Now, there are also cases where fail-fast is best. However 5000 isn't good for those either. And that assumes a wider system that handles failures in quite a nice way, which doesn't happen without special effort, so doesn't make sense to target with a default value.
I don't have an answer to this, but why if the algorithm can manipulate people, regardless of who directed it, why are we ok with the algorithmic content of all the platforms? I'm not much of a social media user but a lot of the argument here is the algorithm can feed propoganda that people will succumb to.

Why is it ok then for Youtube to feed violence and awful behavior to people (probably to lots of kids) in the US if it's able to influence people? Is the thought that Meta and Google (both without ethics or morals) are just trying to get us to buy shit we don't need, but Tiktok is trying to get us to agree (or not agree) with their stance on x?
As a rather experienced ML researcher, ARC is a great benchmark on its own, but is punching below its weight in terms of claiming that it is a gate (or in terms of this post -- a "steward") towards AGI, and in my perspective and the perspective of several researchers near me this has watered down the value of the ARC benchmark as a test.

It is a great unit test for reasoning -- that's fantastic! And maybe it is indeed the best way to test for this -- who knows exactly. But the claim is a little grandiose for what it is, this is somewhat similar to saying that testing on string parity is the One True Test for testing an optimizer's efficiency.

I'd heartily recommend maybe taking down the marketing vibrance down a notch and keep things a bit more measured, it's not entirely a meme, though some of the more-serious researchers don't take it as seriously as a result. And that's the kind of people that you want to attract to this sort of thing!

I think there is a potentially good future for ARC! But it might struggle to attract some of the kind of talent that you want to work on this problem as a result.
The whole thing you are talking about is underpined by the fact that if someone else starts making ink cartridges the manufacturer can get the government to hassle them. If instead the government would say “though luck, better luck competing for the costumers next time” you wouldn’t have this system as the dominant pricing strategy because it wouldn’t work.

Imagine a world where Ford sells you a car you can only fuel at a Ford gas station. Maybe they enforce it by having a special tank cover only their pump nozzles can get through. And then when some other gas station makes nozzles which can also fuel those cars people paid from your taxes come and impound those nozzles as “circumvention devices”. Do you think that would impact the price of gas those car owners pay?
Memorable UUIDs? I think you're on to something here! (Also, dibs on 00000000-0000-4321-abcd-000000000001!)
Okay, so the interference has succeeded. So what?

If the success is limited to repeating the first round of voting, that's a lot of Ukrainians who will still be alive next year.
There are people who think eating bread is healthy. “Eat health,” and “eat cleaner” are two phrases that are doing cultural damage.

Even the more educated members of family believe this.
Several other media articles about this murder, mention the book , that details the problem. I've just started reading it....

Jay M. Feinman - Delay, Deny, Defend_ Why Insurance Companies Don't Pay Claim and What You Can Do About It (2010, Penguin Group US)
Legitimacy is not determined by majority vote. It's determined by the people who don't like the results for whatever reason. If the vast majority of them accept that the elections were legitimate, they were legitimate. If a substantial minority of them don't accept the results, the legitimacy is questionable at best, and the country is in a lot of trouble.
There's more where that came from. Google Chrome also did URLPattern, which I hope Chrome and Safari will hold firm on not supporting. The compression streams API wasn't bad, but it's a tiny API. I see a pattern here: Google sucks at UX and DX.

Edit: I looked up standards positions and both support URLPattern.
The next LTS Linux kernel is no surprise but it is packed with goodies
The most surprising part of this article for someone uninitiated like myself is probably that products/algorithms are claiming this automatic reconciliation is consistently possible. Maybe I've spent too much time resolving code merge conflicts by hand, but this seems intuitively obvious to me...

Feels like https://xkcd.com/1831
My spicy cake is that it is the natural consequence of several decades of telling Americans that they have no Democratic agency and any policy or laws they disagree with are clearly illegitimate.
There Is No Universal De-Select-All Idiom
Yes and I think that's the promise that AI offers for many professionals - cut out the cruft and focus on the high level tasks.
On a similar note...

There is a particular type of kidney disease called Polycystic Kidney disease which is genetic. Essentially cysts grow all over your kidneys, they swell up, and eventually fail (usually over many years). There is emerging research that glucose contributes to the growth of these cysts and early research suggests ketogenic diet can have a measurable impact on the growth of these cysts and improve kidney function.
Considering that software can only guess the intent if it's not declared explicitly, I'm curious what such an "intent declaration" language would look like.
It helps, but only temporary. I wouldn't be surprised if all 6 digit PINs will be leaked within a few decades.
The USR party is liberal right wing. They get accused of being "sexomarxisti" but that's mostly brainless chants.

They're pro free trade, freedoms, equality, all your runoff the mill liberal stuff.
OP here. Yeah I talk about them a lot. All of the other topics I could talk about, I seldom have original content to contribute. All of the interesting things get said pretty quickly for software engineering, living in a west coast city in the USA, not enjoying ads, etc. But for this one, I'm a relative rarity on this site and I'm enthusiastic about the topic, so there are more frequent opportunities for me to say something unique.
I had an interest in CRDTs for quite a while now, as I like the local first philosophy of developing software, that works offline in its entirely but can also work online, a sort of progressive enhancement [0]. Recently I've been looking into Loro [1] which seems like it is able to effectively merge disparate offline text edits together, by using some new algorithms that were written about last year, such as the Event Graph Walker [2]. I've been combining this with ElectricSQL [3], which is a sync engine for Postgres. In the past they had their own CRDT right inside Postgres which would then sync tables, but they have rewritten their product to focus primarily on being a sync engine first and perhaps a conflict resolution library second. Therefore, I store the Loro changes binary in a table in Postgres as a blob that I then sync via Electric to all my clients.

Ultimately though, it is as you and others like @zamalek in this thread have said, the mathematical notion of conflict resolution might not actually mean anything semantically, therefore it is difficult to have long running offline edits merge together cohesively; it works with things like Google Docs where the user can see what other users have written in real time, which works for 99% of use cases, and sometimes I wonder whether one really needs such long running offline syncs, as it seems to be a very niche goal to target. Short running offline is nice to have and even necessary, especially for products one expects to work wholly offline, but it is the long term I don't see much value in, as in not collaborating online for weeks or months at a time but still expecting cohesive edit merges.

[0] https://localfirstweb.dev/

[1] https://loro.dev/

[2] https://loro.dev/docs/advanced/event_graph_walker

[3] https://electric-sql.com/
First of all, this is great. Tell your son a guy who makes spaceships thinks it's amazing.

Constructive feedback:
1. Insight into how "smart" the opponent is via their answers to the questions they're given.
2. Charge indicators, as everyone has said.
3. From a UI perspective, centering the interface would be great, but as we all know, grown adults with PhDs in computer science have a hard time centering divs.

Great work!
This is so, so, sooo good. I've never been brave enough to say it out loud, but this is 110% my experience.

I imagine it is somewhat a consequence of the divide between engineering and product.

It can resolve all conflicts, and it's such a holy grail to go decentralized / get Google Docs-like editing down to a a package in your favorite language. But, in practice, its intractable for arbitrary data, even just an arbitrary string.

I do wish there was a formal proof that showed / proved this to share in HN discussions re: CRDTs...but hey, this is great! The "it left a u" example is simple, intuitive, and with a charitable listener, I doubt they'd argue we can't figure out a string unambiguously, but we can figure out JSON unmabiguously.
That list of fructose levels is pretty useless when the units of measurement change per fruit. 1 cup vs 1 guava or 1 banana?
an easy to read book for the mathematically inclined minds by Eric Temple Bell: "Mathematics, The Queen & Servant of Science"

and the xkcd.com notation 135: https://xkcd.com/435/
It's funny, because every homeless person I've seen carries a coffee pot with them.... but I've never once seen someone able to buy meth on a city street corner at night.
It is solvable, but needs more complicated contextual information that many people would not want to bother entering : "this word i just changed only makes sense if it is apart of this whole sentence, which is not necessarily required for the whole paragraph..."

And calling this "solvable" is a funny thing to think about, since huge portions of the earth think the chaos output of LLMs could be anywhere near deciding the final output of computation at this point in time
> If your definition of responsibility is so broad, wouldn't every Head of Government for every country be deserving of assassination?

Chomsky would say "put to death, not assassinated."

https://chomsky.info/1990____-2/
I’m not saying those parties are fascists but they lean that way. Once fascists gain power, they undermine the entire democratic system and stay in power. So how does one deal with this situation? Do you just hand over a democracy over because a certain percentage of the population voted for them or do you play dirty back?
archive.org approach to copyright is "look, squirrel".
Weird that i don't see treemacs, neotree, projectile and windmove.

> corfu

another one? i already had settled on company but wondering if i should have used auto-complete... oh gosh.
Does unexpectedly well on our benchmark:

https://help.kagi.com/kagi/ai/llm-benchmark.html

Will dive into it more, but this is impressive.
On Signal it is way easier thanks to signal-cli [1].

[1] https://github.com/AsamK/signal-cli
> It’s all CCS so it should just be a software update.

Nope.

CCS has to negotiate voltages with the attached vehicle. Unfortunately there isn't a standardized pack voltage and the range of what it can be is anywhere from 400 -> 900V.

That can mean new inverter hardware at a location to handle the varying range of voltages that come in. For a single manufacturer, it's easier as the cars and charging stations are more aligned on the supported voltages.
Guys if this is happening in Tokyo of all places, no one else has any excuse.
I understand that concern. Ideally, internal politics should remain internal, without outside interference.

But when it gets to a point where a country's administration (the long term one, not the 4 year one) doesn't trust its citizens to make the correct and informed choice and be loyal to their own country and interests and actively tries to meddle with the results, then the name is all that's left of that democracy.

Might as well start putting "People's" or "Democratic" before that country's name. Like in DPRK or PRC. At least they're being honest about it.
Yes, I said multiple times he was Schrodinger's candidate, he could hold multiple mutually contradictory positions at the same time. Pretty ridiculous.
> None essentially. It just enables other specific laws that organize the functioning of the court in this area

> [the Constitutional Court] ensures that the procedures for the election of the Romanian President are followed

I have no context on this beyond what you're writing, so I'm taking everything you're saying at face value. But even when I do that... don't you feel "the legislature shall have the power to organize the functioning of the court regarding elections" is a manifestly different sentence from "the court ensures that the procedures for the election of the Romanian President are followed, and confirms the results of the vote"?
New York is in danger of becoming a total surveillance city (2021)
The United Nations General Assembly, Amnesty International, the International Criminal Court, the International Court of Justice, The Committee to Protect Journalists, and Medicins Sans Frontieres are all worth listening to.
What is implied here is the use of AI will enable these claims to be processed more cheaply. I note there is nothing about claim fairness. The Industry regulators should be auditing claim fairness , both of the present system and any AI austomation. Any method of lowering the cost of claim processing, should also be shared with customers in form of CHEAPER insurance or better claims payments ????
> One time, one system accepted it, but another system that accessed the same data didn't allow apostrophes so the person using the second system couldn't access the record, and it took 2 phone calls and 3 people to come up with a workaround.

There's still a lot of organisations that somewhere in their e-mail processing chain cannnot deal with 4-letter TLD e-mail addresses*. Even worse is that the front-end is often a relatively new framework and will happily accept your e-mail, only to then have it silently fail forever. Mercifully a lot of those organisations have their customer service authorized to change your e-mail address manually, but if they don't.. good luck.
It’s not built around ultralytics model and it doesn’t use its code, just del model and weights as a demo. The library is meant to be extensible and to run custom yolo models soon!
Interesting - I've heard this anecdotally. Curious if you know of any resources that look at this in more detail?
I mentioned Loro in another comment, but they actually do conflict resolution on top of Git trees [0]. Jujutsu is also interesting but I'm not sure if they do any conflict resolution [1].

[0] https://loro.dev/blog/v1.0#loro-version-controller

[1] https://github.com/martinvonz/jj
Each of these are a result of neo-*ism constituencies failing. Dialectically, we've reached the point where the contradictions are so great they have become impossible to maintain. Each of these crises are a direct product of those contradictions. The only viable path forward is addressing these contradictions head on. Any attempt at doubling down on existing ideology will inflame the contradictions further.
EV manufacturers (re: most car manufactures) are going to do all they can to get the government to subsidize this as much as possible.

I noticed an explosion of EV charging stations where I live after the state government put incentives in to subsidize their build out. Other states have done it already and are doing it now.

They're going to see the pattern of "I can get the government to subsidize this" and will hold out for them going forward, is my best guess.
Not a commercially viable target for most companies. Win32s was a stopgap for Win32 support for lower end machines when only WinNT was around. Once Win95 arrived, Win32s's days were numbered (along with 16-bit Win 3.x).

If you're designing a Win32 app for Windows 95, are you going to stick with the Win3.1 look and feel? No. You're redesigning your UI to look like a native Win95 app.

Where are your testing resources targeted? Win32s? Nope. Win95 only.

Well maybe if Win95 sales are slow, you'll do more testing on Win32s...

Then you read https://finance.yahoo.com/news/microsofts-windows-95-softwar...

People lined up to buy Win95 at midnight on release day? [Before Harry Potter book and iPhone releases] Commercial consumer Win32s support died that day.

So running Win95 apps on OS/2 2.1 running Win3.1 running Win32s DLLs wasn't going to be a supported platform for software companies.

IBM didn't want Win32 apps. They wanted OS/2 PM apps.
what was the source of fructose used in the study? it doesn't say
Soooo... how much do you know about the history of IBM?
> Because it is clear that human activities are altering the global climate

It's clear the climate is changing. The human contribution is more "conventional wisdom" than true science based science.

Look at the graph in this article (which appeared elsewhere):

https://www.washingtonpost.com/climate-environment/2024/09/1...

- There's clearly no "normal"

- Prior to humans entering the ecosystem there has been change and (natural) increases.

- Currently we're at a historic all time low (or close). In that historic context a correction is likely. That correction is a swing up.

Again, the climate is changing. Humans might not be the reason. Historically, it's more likely the earth is being the earth.
The one thing that's for sure, is that there is not a definitive answer to that.

Nonetheless, I think some proof theorist have a pretty neat way to think about all this. The idea goes as follows: our brain is a computer programmed by millions of years of natural selection and doing math is the activity of trying to decompile some program running in it.

Taking that at face value would give element of answer to the "unreasonable effectiveness of mathematics". For exemple, maybe geometry is trying to make sense of some driver our brain use to interface with our eyes, and this driver better be smart about 3d space for us to have chances of survival.

So the answer would be something like it's not necessarily that the nature of the world is mathematical, but mathematics is the tiny bit of our understanding of what we have best to make sense of the world : our brain. Which we herited from evolution, hence it can be surprinsingly amazing. With this view, saying that the world is mathematical even seem a bit too self centered.

What's backing the idea on the math side of things is that thinking of math proofs as computer programs really makes sense ! There are whole theories on this see Curry-Howard correspondence and/or realizability theory. Provocatively, we can argue computer science generalizes math :-)

For a non technical covering of those ideas by someone who did world class contributions in realizability theory, have a look at Jean-Louis Krivine's last book : "Les décompilateurs". I think it is only available in french though.
Remnants of SpaceX rocket salvaged from ocean off Australia's Ningaloo coast
That link has a bit of nuance. Some HFCS has lower fructose content:

"HFCS 42" and "HFCS 55" refer to dry weight fructose compositions of 42% and 55% respectively, the rest being glucose. HFCS 42 is mainly used for processed foods and breakfast cereals, whereas HFCS 55 is used mostly for production of soft drinks.
I think it is very likely there will be a massive amount of crypto scams during the Trump administration.