skysight-inc/HackerNews huggingface dataset:
>Solutions could be decentralisation of power, such as subsidiarity.

How is this not fatalism? I interpret this as "if we have ideas were dividing ourselves, so it's best to give up". At best, this could be determined as "all rally around one singular power and charge". But there's no suggestion of who such a power could be. I don't think anyone is so massively popular as to amass thst either.

But it doesn't sound like that's your interpretation either:

>Centralised planning is more or less compromise of mixed ideas that at the end do not satisfy democratic majority. Look how many minorities scream about their rights.

---

>Thete is no ideal solution but we should talk

How far has talking gotten us as of late?

And it feels this goes against your later ideology of "solutions decentralized power". By that mentality, we would need to pick one solution and razor down on it so hard that no one can avoid it.

But we run into the same problems you propose. There's no one solution we can get behind, and in fact the powers that be all have an incentive to crush most of these.

---

Lastly,

>Decentralisation of power, like principle of subsidiary, looks like a way.

I don't think any of us have this power. The theory of checks and balances as well as elected representatives from each state should act as a decentralization. There's no one person who should be able to overpower a branch of government, at lest not without another branch interfering.

But as we see, fear and propoganda (as well as general disenchantmentto participate) tend to make people yearn for one big power to tell them what to do, as opposed to having separate powers corroborate on issues.
We support Simulated Annealing too, as well as Tabu Search and many others. By default Timefold Solver uses Late Acceptance, which behaves like Simulated Annealing but isn't parameter tuning fickle like SA.

Do note that the base algorithm (such as SA, TS or LA) is less than 5% of the work to get great results. We do a lot of additional things on top of that (incremental score calculation, smart neighborhood selection, multi threaded solving and many more).
If I click Join I am immediately redirected to a "Sorry, you have been blocked
You are unable to access doge.gov" CloudFlare page. That's odd.
> IN PARALLEL, THE PI HAS CONCRETE PLANS TO CONTINUE HER EXPOSITORY AND OUTREACH WORK WHICH INCLUDE A NEW BOOK (ELEMENTS OF INFINITY-CATEGORY THEORY, JOINT WITH VERITY), LECTURES DIRECTED AT THE GENERAL PUBLIC, SURVEY ARTICLES PREPARED FOR A VARIETY OF AUDIENCES, AND EFFORTS TO IMPROVE ACCESS TO ADVANCED MATHEMATICS, SUCH AS HER SERVICE ON THE EQUITY, DIVERSITY, AND INCLUSION ADVISORY BOARD AT THE BANFF INTERNATIONAL RESEARCH STATION.

Guilty by association.

The stunt is to censor these words, since even irrelevant mention of them will trigger a dumb filter.

It doesn't matter if the research is on the topic of DEI; if those words are mentioned, it's a slippery slope into wokedom, which is VERBOTEN.
In a lot of cases, ordinary employees who want to make a drive-by contribution to open source face two hurdles:

1/ Their employment contract specifies that all IP they generate during their employment is owned by their employer. Contributing to open source, as well as being a technical action, is a legal action (that of licensing your contribution under the project license) which they don't have the authority to do as individuals, and therefore must obtain authorisation from their employer.

2/ given the former, some legally conservative projects require a signed contribution agreement from contributors employers. This usually requires the employers legal dept to approve it, since the legal dept reviews all such contracts.

It would be nice if there was some blanket scheme that employers could sign up to to authorise all de-minimis contributions to open source projects, or contributions that are actually useful for the work people are employed to do. But I'm not aware of any such scheme.
> The RFC is explicit that, when all of the roles are held by the same entity, the attestation should not rely on unique identifiers. But that's exactly what a session cookie is.

Very true, but again, the RFC describes a completely different threat model with much stronger guarantees. The Kagi threat model:

- Does not provide Issuer-Client unlinkability

- Does not provide Attester-Origin unlinkability

In particular, the model does not assume a malicious Issuer and requires the Client have some level of trust in the Issuer. The Client trusts the Issuer with their private billing information but does not trust the Issuer with their search activity.

The RFC explicitly guarantees the Issuer cannot obtain any of the Client's private information.

That said, I will point out that this Issuer-Client unlinkability issue can be solved by introducing a 3rd-party service or when Kagi starts accepting Monero payments.

> There is no guarantee that Kagi is not keeping a 1-to-1 mapping of session cookies to ISSUER keypairs, or that Kagi could not, if compelled, establish distinct ISSUER keypairs for specific session cookies.

Also completely valid, but also not something Kagi claims to guarantee. They believe the extension should be responsible for guarding attainer issuance partitioning. I don't think it's implemented currently but it shouldn't be too hard, especially since they currently use only 1 keypair.
AI Agents for Beginners – A 10 Lesson Course
FEMA failed to provide communications.
All of these channels are blatant Russian propaganda. They're also full of blatant lies. All 3 of them.

And as for the second channel ... sorry man WTF. An attack on Chernobyl's protection is NOT A FUCKING SUCCESS. That is a dumb failure on 10 different levels. It's not a military target, it was probably a stupid mistake, it's a waste of what looks like an expensive drone, it could cause yet another Russian nuclear disaster, ... the list goes on.

If this is how they prove how well the Russian army is doing, I'm going to have to start saying that even Trump is smarter than the Russians.
> Either way, I don't think I can replace copilot until a model can automatically fine tune itself in the background on the code I've written

I don't think Copilot does this... it's really just a matter of the editor plug-in being smart enough to grab all of the relevant context and provide that to the model making the completions; a form of RAG. I believe organizations can pay to fine-tune Copilot, but it sounds more involved than something that happens automatically.

Depending on when you tried Continue last, one would hope that their RAG pipeline has improved over time. I tried it a few months ago and I thought codegemma-2b (base) acting as a code completion model was fine... certainly not as good as what I've experienced with Cursor. I haven't tried GitHub Copilot in over a year... I really should try it again and see how it is these days.
It's an interesting phenomenon where people keep coming out of the woodwork and criticize the most successful software development project in history for doing it wrong.

They're not micro kernel! They're not TDD! They're not C++! They're not CVS! Not SVN! Not SCRUM! Not Gitlab!

Yet the project marches on, with a nebulous vision of doing a really useful kernel for everyone. Had they latched on any of the armchain expert criticism of how they're doing it wrong all these years we wouldn't be here.
Interval-Based Memory Reclamation
Why Quantum Cryptanalysis is Bollocks [pdf]
That was true at one point--I used to make the same objection--but it's 2025 and the threshold has been crossed.

If you wait for unassailable academic applicability, when you finally deploy it your prison guards won't care.

A quick sampling off the top of my head: The First Consigliere throws double Nazi salutes on national TV and smirks in ambiguity when questioned whether he intended it, the President defends a Nazi march as "very fine people", violent private groups serving their political ends have been placed above any (federal) prosecution, and the administration is actively boasting that they will remove undesirables by creating the largest deportation in the entire history of the nation using the same laws abused for the WWII Japanese internment camps.

The label may be rude, but it's not unreasonable... and the more reasonable it is, the better it is to be rude!
I could pinpoint it anywhere if I looked close enough, but iirc it was mostly the images. Been a while, and these defects were rare and minor.
Pgwatch v3 is out! PostgreSQL metrics monitor/dashboard
what about npgsql? it's pretty much official and is developed by Microsoft people
To be clear: I'm not using WASM in any backends right now, but I would like to.

The two main use-cases for me would be data transformation and message routing or decision logic that is maintained by the user. That is, the user develops the code to parse custom data formats and emit them in various other data formats, tests and compiles it locally and then uploads it into the backend to be instantiated and run. Ditto for routing/decision logic. (So typical "reactor" usage).

Having third parties produce Go binaries to do this would be resource intensive and awkward.

One of our projects is an IoT platform where we get lots and lots of messages from devices. Some of these devices are very constrained and use, or want to use, space efficient custom data formats. However, they'd like to make the data available in more practical formats for consumers. Hence the need to be able to transform them to one or more other formats in real-time. I'd like to let the customers to be able to write these codecs.

There are a few other uses as well that we are looking at, but common for all of them is that none of them need a generic system interface. Typically you want to project some API(s) into the runtime that the code can call.

(I'm also on the lookout for ways to embed compilers in the backend so customers can edit code in a web interface and compile it in the backend, but embedding compilers has proven to be ... not incredibly fun)
>HTTP downloads are still fine in 2025 though, putty releases all come with signatures that can be used to check if anything was tampered with.

1) People don't check, and 2) the root of trust for those signatures is almost always the same HTTP source as the download!

In contrast, package managers do check, and they have a root of trust at least from install time.
Good news. O3-mini-high didn’t convince me at being better on complex coding questions than sonnet 3.5. Anthropic seems to be taking the lead now. Gemini Flash 2.0 is still only third.
I have acquired "perfect pitch" for some notes. I have a problem with this. I know that an F is an F. An A an A. A C a C.

I experience this effect a lot, despite "learning" these notes when I was 21.
For me, pen plotting is a lot of fun. There is something so satisfying in bringing digital work to the physical world.

As for the text, I have it on my todo list to create a few single line fonts, for some time now. The obvious one is my own handwriting, ideally with some randomness built in. I would like others to be less conventional to sprinkle them in my drawings, or like you mentioned, to create some pieces that are text only.
my COmpREss algorithm CORE

here it is:

a sequence of bits that is not necessarily random can be made to look random - the bits are lined up with pseudorandom bits and each one is XORed in turn

example data: 01011010 .. 01001000

pseudorandom bits: 10101110 .. 00100111 ...

resulting bits: 11110100 .. 01101111

this is reversible and the pseudorandom bits take up no storage space in the compressed file since they can be replicated on demand

"run": a run ends with the first zero bit encountered

example: 01011010 is broken up into 4 runs (0, 10, 110, 10)

probability of two runs taken together being of length two is .25 , three is .25 , four is .1875 , and so on ...

for concreteness we make up some perfectly representative data using the following convention. i list the length of 2 runs taken together in this part. for instance, our ascii "Z" = 01011010 is broken up as 010 , 11010. now we have 3 , 5 to write in its place. note that this is ambiguous because 3 , 5 might equally represent 100 , 01110 (for just one example)

"perfect data":

1,1,1,1,1,1,1,1,2,2,2,2,3,3,4,6

1,1,1,1,1,2,1,2,1,3,1,4,2,3,2,6

2,2,3,3,4,5,5,8
One idea that crossed my mind while reading the article: for websites that already use react-intl, have react-intl implement an API to allow supplying machine translations of messages into languages otherwise not supported by the app.

The problem with this is that it will only help sites that already put in effort to internationalization. Whereas the main target of Google translate are the sites that do not bother with i18n.

Still, it'd be quite valuable to the sites early in their internationalization journeys to get support for tons of languages right upon introducing internationalization.
I've had the opportunity to know and work with many people who are way smarter than I am. I know one when I see one.

Lots of people seem to think that Musk has blundered his way from success to success. Nobody blunders $20,000 into richest man in the world.
I created a wrapper of PaddleOCR： https://github.com/gutenye/ocr
Yeah, a 7B param LLM (quantized) is pretty fast on even a previous-generation base model MacBook Air with 8 GB RAM.
Sounds like a nightmare and a good way to go into personal bankruptcy. Unless, I guess, you had a job where you accumulated ~M of savings, which is very very few people.
Lots of things are troubling. I am complaining about wild exaggerations, not saying that there is nothing to worry about or that the UK is perfect.

Unfortunately a lot of people are getting their news from Twitter, from accounts that are obsessed with painting a particular picture of the UK. Have you spent any time in the UK yourself? The impression of it that you’d get from reading HN is unrecognizable to anyone who lives here.
I read the entire article once I recognized the name.

Geoffrey is synonymous with OR/Constraints solvers in my mind. I once had to tackle an issue in this domain and wound up using OptaPlanner after weeks of research.

It had the most intuitive API and the best community support by far.

It's a bummer to hear that OptaPlanner was killed, but it sounds like ultimately it led to something greater, so there's a silver lining.

Wishing you the best in your future endeavors, Geoffrey!
The argument should hold regardless of who a person is or what they did. I commented being ignorant of this person's reputation and achievements. But so what? It shouldn't matter. I'm targeting the argument, not the person.

I still think his slides aren't great. I wasn't dismissing his weak analysis because of the deck but making the point that he's weakening his own argument with it. And since his points specifically include a lot of comments about the modern web, complete with a rant about frames per second, I think it's a fair point to make.
Get into the habit of saving web pages that contain interesting or useful information. Browser addons like SingleFile and WebScrapBook do a fair job of this.
https://sqlbolt.com, https://regexone.com, https://pgexercises.com
Those examples are available in Java, Python and Kotlin.

We also have an overview of our open source solver here:
https://timefold.ai/open-source-solver
This reminds me: https://en.wikipedia.org/wiki/Deutsche_Physik

These people have concept of meritocracy like "free speech absolutists" about free speech: just vibes.
This is an invitation to saturate the field with those words.
It's really interesting to see America doing the same stuff as Weimar Germany. The institute for sexology was destroyed in 1933, so by my counting you've got about a year until you get your Führer.
The primary application is the browser.

The problem here is that react "application" builds its own state of the web page, fails to reconcile it with changes to actual state, ends up in a detached state with stale information and then proceeds to alter actual state based on the corrupted information it has.
> (...) with people downvoting and flagging replies they disagree with.

You're posting that comparison in a thread started by a freshly created troll account baiting users with conspiracy-oriented talking points.

And your reaction is to wonder why the comments are down voted and flagged?
Sometimes, but not always. Sometimes it is also based on the locales in your browser.
It’s not that modern browsers are faster - Svelte is a different approach and figures out how to update at compile time rather than using a runtime virtual DOM. 10 years ago it would also have been faster
SPARK is free for all to use and is open source. They chose to pay for Adacores pro support services and verified pro Ada compiler over the FSF GCC/Gnat Ada compiler. Spark is actually part of the Gnat compiler (compatibility) but actually the slower analysis is done by gnatprove thereby keeping compilation and iterative development fast. Nvidia can certainly afford to do so of course.
There is no evidence in the article that it does. "Google is providing Pentagon with access to TensorFlow" means nothing because TensorFlow is open source.
Seems like you can't run it locally. I don't like my code being sent to a third party, especially when my employer may not agree with it.

I also edit secret/env files in my IDE, so for instance, a private key or API key could get sent, right?

I hope there will be a local option later.
Yeah, it's not always easy to see whether it's a building, and whether the outline is correct. Also: should I say it's correct when it's only roughly correct, or should it be perfect? I think you'll get a lot of noise from this.

But according to the presentation, they analyze that noise and manage to use it to improve the data.
They both do reasonable things, so I wouldn't really blame either. Google Translate was there first and is a big accessibility advantage for the web. At the same time, Google Translate is the user-specific browser extension that is executed last, on top of existing apps. It affects not just React[1], so even if React were to implement a fix, Google Translate would continue to interfere with other webapps.

I think any real fix to Google Translate would be very complicated. I fear the only solution might be to elevate Google Translate to be part of the browser's rendering engine instead of acting like an extension. This would allow it to work in the rendering pipeline without modifying the DOM, but even that will probably run into site-bugs because of things like text being longer or shorter.

[1]: https://martijnhols.nl/blog/everything-about-google-translat...
The story I'm aware of is that in the QD-OLED display stack it was not possible to put a polarizer layer in, which is what causes its telltale weakness in ambient light rejection.

So you'd also not see this on other types of displays with a quantum enhancement film (i.e. FALD MiniLED + quantum dots), it's specifically QD-OLED that has this weakness.

This is to the extent that if the self-emissive quantum dot demo from this year's CES was real, even that won't have this issue (although it will likely still do have the stupid triangular subpixel geometry like on QD-OLED, as the demo unit also had that).
> "A lack of vigilance and discipline"

Let's say hypothetically that it's a bad strategy to give your employee a C compiler and tell them to write code. Now, if you instead gave your employee a C compiler and told them to write code with vigilance and discipline, is that somehow now a good strategy? I don't think "Lack of vigilance and discipline" is a correct or incorrect diagnosis. I think it's a useless diagnosis.

> "It is all but impossible to keep track of what you depend on, and how safe it all is"

I think this space is ripe for exploration. Imagine a world where you could depend on your choice of JSON parser. One such JSON parser is allowed to perform arbitrary IO, and another is disallowed from doing so - at a language level. Would you ever pick the first over the second? Being able to distinguish one from the other would go a long way towards feeling safe about dependencies. From a safety perspective, it wouldn't even matter how much extra transitive crap the parser pulls in. If someone hijacks the 'isEven' package, what's the worst that could happen? Go into an infinite loop or return the wrong value? Both of these would be immediately flagged by the most casual level of tests, and be far preferable than abitrary code execution.
Sounds like an AI could kinda mangle that title into some sort of critical homo theory and bang your government funding is gone.

Research doesn’t seem like something that will be valued much into the future.
At the moment it's simply weird discriminatory cutting of grants by internet trolls, but it's quite likely that all Federal research funding will vanish at the next budget. Leaving that to China to catch up.
Email is just the protocol. What you're really saying is that http-based protocols make more powerful tools possible.

It's not really enough to state your case. You have to do the work.

On the surface, the kernel developers are productive enough. Feel free to do shadow work for a maintainer and keep your patch stack in Gitlab. It it can be shown the be more effective, lots of maintainers are going to be interested. It's not like they all work the same way!

They just have a least common denominator which is store-and-forward patch transport in standard git email format.
I mean they have to keep the old elements alive because that is the data they use to render to the DOM.

What React could do is to catch that there have been changes made to the structure of the DOM by someone other than them and then re-render the full page. Which would probably not be the most performant solution for anyone.

But anyway then people would complain that React was breaking Google Translate.

Essentially you have two applications fighting to control rendering of the application state of one of them.
> If you hire a driver, or use a taxi, offer to pay the driver to take you to visit their mother. They will ordinarily jump at the chance. They fulfill their filial duty and you will get easy entry into a local’s home, and a very high chance to taste some home cooking. Mother, driver, and you leave happy. This trick rarely fails.

what the hell
Bad, bad AI.
A locale is a combination of several things, including a language, but not only.

E.g. I'm from portugal. I'm visiting an american site, which does not have professional portuguese translations, but does have auto-generated ones.

I don't like the auto-generated ones and can read english just fine, so I want to have the language set to english (en-US in this case).

However, I still want it to apply some locale-specific things from Portugal, e.g.:

- Units (Metric vs. Imperial vs. Whatever mess countries like the UK do)

- Date formatting (DD/MM/YYYY vs MM/DD/YYYY)

- Time formatting (AM/PM vs. 24hr clock)

- Currency formatting (10€ vs. 10 € vs. 10 EUR vs. €10)

- Number formatting (10,000.00 vs 10.000,00)

- When the week starts (Monday vs. Sunday)

If you take a look at the windows locale options, it mostly lets you mix-and-match whatever you want (which is great! Now if only the MS apps let me stop using the localized keyboard shortcuts...): https://learn.microsoft.com/en-us/globalization/locale/langu...
Wasn't one of them reported as saying he was racist before it was cool? The whole problem is that the people around Trump (and even more so Musk) do genuinely appear to have Nazi ish beliefs. This is why their attacks on key parts of the state are making such an impact.
This is truly innovative! From the app name to how it works. I'm impressed
It means system/browser settings like the one available in navigator.language.