skysight-inc/HackerNews huggingface dataset:
As of 2024, WebKit's Linux ports (GTK and WPE) are switching to Skia too. [0] Prior to that, they used cairo.

[0]: https://blogs.igalia.com/carlosgc/2024/02/19/webkit-switchin...
They seem to have written the original article going off the articles author name and the name in their bio.
Sorry to hijack this, but have you heard of people on whom no local anesthesia works? I have to be put under general anesthesia (yes, requiring an actual anesthetist at an extra $8,000 or so). The pain is not endurable otherwise.
I don't know about India, but China's capacity factor is falling at about the same rate that they're building plants. They're only running their coal plants when the sun doesn't shine. Coal isn't a great peaking source, but as you said energy security is what's important to them.

Luckily for the environment, batteries became cheaper than coal for peaking within the last year or two, and China is starting to really ramp up battery grid storage which should displace their coal usage.
Always a little disappointing when someone announces they're releasing a model when they mean they're releasing an API
* Mr. Kramnik has entered the room *
He gets down in the weeds to the engineering level… there’s plenty of evidence for this.
Non sterile gloves are more for the wearer not the patient anyways. Assuming effective handwashing.
As someone with a PhD in cosmology I'm well aware how scientific progress works. This paper is simply not well done. It's lacking basic plausibility checks. It's a waste of time to give every badly formulated idea your attention, you'll drown in noise.

> there is no guarantee you are on the good side of scientific progress

I know, but I'm very confident. To quote Carl Sagan: 'It pays to keep an open mind, but not so open your brains fall out.'
So they build operate their own airship FBOs? Honestly seems like the smaller hurdle to jump if all the engineering problems are solved, they will find a way to navigate this too. It’s a bit naive to assume they will comply with existing constraints versus defining what the airship industry would need. They won’t roll this out globally on day one, the largest and most obviously profitable areas will be source/destinations are probably easy to guess. They could even do their proof of concept it less regulated markets before coming to the US later. Plenty of room to solve these problems later.
WordPress Drama: Crossfire
I agree with this, and generally take pains to refer to the programs as terminals, not terminal emulators. But at the same time, when a user presses the enter key and stdin provides CR, if you're in raw mode, you can get NL semantics by emitting CRLF to stdout, and that does in fact emulate the behavior of DEC terminals, which do that because teletypes did.

> I actually never worked on a hardware terminal in my entire career

I used to look books up at the library using a VT220. In the late 1990s they replaced that with an ASPX web browser endpoint running on PC hardware, and it was terrible. But I'm also not quite old enough to have used them for programming.

You're completely correct that it's no longer emulation of hardware terminals, there are dozens of input and output sequences which no hardware terminal ever used or understood. In many ways it's now emulation of XTerm, but even that era is slowly being left behind.
The alleged roadmap leak indicates they’re aiming for 2026/2027 foldable screens (no word on whether it’s horizontal or vertical) so if all goes according to plan, you would be right that this is the last update for the “iPad mini” device.
For anyone not familiar with Cargolifter, this might be a useful start: https://en.wikipedia.org/wiki/CargoLifter

I remember when i had a students job, some older colleague told me he sunk a nice sum into this. Foolishly, maybe!
Yeah why would I take a pill if I can get the same effect through discipline and hard work? I understand not everyone can do that but if I can it would be absurd for me to take a drug for the rest of my life. Especially when I enjoy the work involved in changing my weight and body composition.

If a doctor tried to push that on me I would fire that doctor.
You are correct. You also need to have an Intermediate license as the first level (Foundation) doesn't allow you to build your own transceiver.
C2PA and Authenticated Disinformation
Late to the party, but I just wanted to say how refreshing it is to see an accessibility-related post on HN that isn't about a bunch of able-bodied MIT undergrads winning awards from able-bodied judge panels for building a product that disabled people can't use to solve a problem that disabled people don't have.

There is effectively zero overlap between problems that able-bodied people think that disabled people have, and problems that disabled people actually have.
Pretty sure that today's PDFs are infinitely more secure that EXE's in the 1990's. There is a sandbox and no native code execution in PDFs.

(That is, unless you use Adobe's PDF reader, which seems to support JS for some weird reason and has an RCE almost every month. But given there are tons of alternatives, you must really not care about security to use it for personal purposes)
Assuming you're not on drugs or thinking of killing yourself, you're probably not in the cohort that's dragging the life expectancy stats down.

Life expectancy is a weighted average (no pun intended), and so it's unusually sensitive to outliers. People who die early drag the average down much more than people who live close to the mean life expectancy. The biggest premature killers of Americans are obesity, drugs, car accidents, and suicide. Anything that addresses one of those causes of death has an outsize effect on life expectancy. There are 100M+ obese Americans. There are about 100,000 overdose deaths per year. Obesity, while not as lethal as drugs or suicide, afflicts 1000x as many patients, and so a treatment for it can have a large effect on the numbers.
A quick rule-of-thumb: if 'military-grade encryption' is mentioned, the author likely has no domain knowledge.

Further the article claims that SPNs are used in RSA... which is completely wrong and indicates no domain knowledge.

The article has completely mis-interpreted the paper. The paper is written in Chinese but with an English abstract - the article seems to have just pulled keywords out.

I wonder whether a LLM hallucination is at play somewhere???

The article does not mention AES
The article describes diesel electric airships.
Is there a promotional code for HN? I was a happy user of HTMLUnit [1] with Jython [2] in the past and am very interested in a future where we can automatically generate portions of browser code using code generation and verification techniques. I've never felt as comfortable with tools like Playwright/Cypress/Selenium as I did with HTMLUnit (with all due respect to both).

[1] https://htmlunit.sourceforge.io/

[2] https://www.jython.org/
Some of us at least hold out for pirated EPUBs.
There is typo in the link. there are 4 "w" in www.

The product page looks good, you have hit home the personal touch with this landing page. I don't use organizers outside my single TODO.md . That's the only reason I didn't try your product otherwise it looks great.

Best of luck!!
Doesnt it make it 2-body problem then? If one variable is so insignificant that it is ignored whats the point of including it all together?
From Will Durant's The Story of Philosophy:

"Some ungentle reader will check us here by informing us that philosophy is as useless as chess, as obscure as ignorance, and as stagnant as content. “There is nothing so absurd,” said Cicero, “but that it may be found in the books of the philosophers.” Doubtless some philosophers have had all sorts of wisdom except common sense; and many a philosophic flight has been due to the elevating power of thin air. Let us resolve, on this voyage of ours, to put in only at the ports of light, to keep out of the muddy streams of metaphysics and the “many-sounding seas” of theological dispute. But is philosophy stagnant? Science seems always to advance, while philosophy seems always to lose ground. Yet this is only because philosophy accepts the hard and hazardous task of dealing with problems not yet open to the methods of science—problems like good and evil, beauty and ugliness, order and freedom, life and death; so soon as a field of inquiry yields knowledge susceptible of exact formulation it is called science. Every science begins as philosophy and ends as art; it arises in hypothesis and flows into achievement. Philosophy is a hypothetical interpretation of the unknown (as in metaphysics), or of the inexactly known (as in ethics or political philosophy); it is the front trench in the siege of truth. Science is the captured territory; and behind it are those secure regions in which knowledge and art build our imperfect and marvelous world. Philosophy seems to stand still, perplexed; but only because she leaves the fruits of victory to her daughters the sciences, and herself passes on, divinely discontent, to the uncertain and unexplored."
That's a surprisingly small total capacity for a country of one billion. China has almost 8x India's total capacity, and 5x India's renewable capacity.

What is that going to look like as the country develops further? Will low carbon continue to grow, or will they be forced to reach for easier alternatives to scale quickly?
I have yet to see a convincing demo of fine-tuning being used to teach an LLM how to answer questions about a set of documentation.

The OpenAI docs have a list of things that fine-tuning CAN help with, and answering questions about documentation is notable absent: https://platform.openai.com/docs/guides/fine-tuning/common-u...

There are two methods that are a better bet for what you're trying to do here.

The first, if your documentation is less than maybe 50 pages of text, is to dump the entire documentation into the prompt each time. This used to be prohibitively expensive but all of the major model providers have prompt caching now which can make this option a lot cheaper.

Google Gemini can go up to 2 million tokens, so you can fit a whole lot of documentation in there.

The other, more likely option, is RAG - Retrieval Augmented Generation. That's the trick where you run searches against your documentation for pages and examples that might help answer the user's question and stuff those into the prompt.

RAG is easy to build an initial demo of and challenging to build a really GOOD implementation, but it's a well trodden path at this point to there are plenty of resources out there to help.

Here are my own notes on RAG so far: https://simonwillison.net/tags/rag/

You can quickly prototype how well these options would work using OpenAI GPTs, Claude Projects and Google's NotebookLM - each of those will let you dump in a bunch of documentation and then ask questions about it. Projects includes all of that source material in every prompt (so has a strict length limit) - GPTs and NotebookLM both implement some form of RAG, though the details are frustratingly undocumented.
Formally proving with a system based on probabilities (temperature, etc.) is for me an oxymoron. But I am not a mathematician.

Edit: Ok, they generate proofs with the LLM, then they validate them with the Lean 4 environment. I am not sure if this is better than generating cooking recipes with a LLM and asking a cook if they make sense or not.
Show HN: Create issue and branch from terminal (boost your workflow)
He pushed for it and is instrumental in the design. Musk is not just a ceo.
The progress isn't perfect, so we better throw it all out.
Hyperloop succeeded at exactly what it was meant to succeed at, which was planting just enough FOMO to get a handful of rail projects in California delayed and ultimately canceled.
I started going to a new dental office a few years back with a bunch of younger staff here in Brooklyn. They clearly spent a ton of money on the build out, and all the dentists were probably 30s/40s. They did the typical "you skipped your x-rays last checkup, you're now 1.5 years behind. You need to do those now" thing. When I asked how much it'd cost out of pocket, they told me an update was $80. I thought "oh wow, I guess these new machines are just better and cheaper, as technology tends to go". They did them and then the dentist came in, told me that there was some feint thing on one of my molars that might possibly be a cavity and they should do a filling now. The hygienist seemed surprised, so I declined and said let's keep an eye on it. Went out to pay at the front desk, and nope, it was $80 per x-ray, (so $320), plus $150 for the dentist to try and sell me a cavity filling, plus the base price of the cleaning. I got upset, since that wasn't communicated to me, and they knocked off some of the x-ray cost.

I never went back. I found an older dentist and every patient in the office was a retiree, which made me feel confident they knew what they were doing (I'm sure they've got a lot of hard cases). I asked about the possible cavity and they said they saw nothing, everything is fine.

That's all just to say that the young dentists likely have a lot of debt between school and office build outs, and I wouldn't be surprised if they're up-selling services to try and get their practice out of it. I wouldn't trust them any more to be honest about practices just because they're young.
Does Your VPN Keep Logs? 120 VPN Logging Policies Revealed
Thanks for the feedback! I agree that the web UI can be improved (quite) a bit, most of my efforts went into the actual generation of the diagrams. I'll have a look at prettifying it.
We have open sourced our Job Board app built on Rails 6
They're crap. And that's what you find at hospitals and airports.
Announcing Our Updated Responsible Scaling Policy
> If our understanding of physics is right, it doesn’t matter whether you hit them or they hit you.

That was my first thought too, but I don't know if it's true because of the strings they are attached to. The striking conker is at the end of a taut string the entire time, but the receiving conker is hanging loosely and bounces around after being struck. My guess is that the taut string helps with energy dissipation after a collision, but I could be wrong. And either way, it might be a negligible difference.
I got so good at reinstalling Windows XP and then calling the Microsoft number to re-activate. Most of the time the automated system worked, but sometimes you even had to talk to a human and explain why you need a new key.
In my experience (average teeth), dental insurance doesn't pay out enough to cover the premiums, and it's not worth the bother.
I think the trope is that British cuisine, that is, dishes that are uniquely British, are bad. Not that there isn’t good food there. Being a rich country, an empire, and part of Europe means you can have many, many different cuisines there though, and like you said many are very good.
Currently, PV alone has a nameplate capacity about equal to average total global demand for electricity.

The capacity factor is 10%*, which is why it's not already "done", but even with the assumption of zero increase in the annual production of PV, you get to 62%* of current electrical demand from just PV by 2050.

But it has also demonstrated an average of 26% per year growth since about 2016 (higher before that), which means it's not unreasonable to expect us to reach that point by the early 2030s, quickly followed by all the other things we use energy for.

Wind is also growing, and has a better capacity factor.

The hard part about really reaching net zero is the long tail of small things, as even the CO2 emissions from the degradation of grassland(!) are on the borderline of being unsustainable, and that's 0.1% of global emissions. Or in country terms, getting absolutely everything sorted everywhere except North Korea still isn't good enough.

But the power? That's basically fine.

* Edit: I was being pessimistic, it's improved to 14% and this year is estimated to be 560 GW newly installed nameplate capacity, which means 98% of current demand can be supplied just by PV by 2050 even with no growth, assuming 25 year average lifespan so we can also ignore all currently installed panels.
Why my simple tab manager doesn't have a free plan
This is how I interpreted the comment.

Spy satellites surveying Iran in order to detect underground water infrastructure seems like, to me, the ulterior motive is to identify infrastructure so that it can be compromised in some way, likely with drones and bombs.
> No-one is adding fictional details to how incredibly well-preserved this wreck is.

No? You know this how?

A reference to a previous Disney documentary, fwiw:
https://en.wikipedia.org/wiki/White_Wilderness_(film)
Meta just announced support for carrying standard 2D Android apps on their storefront at Connect a few weeks ago. I think the Vision Pro release has (pun intended) given them a vision to work towards (as seen by their rapid update process post launch to match features)

That said, visionOS can run iPad and iPhone apps unmodified. Meta will not bundle Google Play Services and a few other Android APIs, so APKs won’t be publishable on their store without some amount of work to use their alternate SDK.
> Also the income range in general is much narrower here. Mean income for dentists is about 900 kNOK/yr, about 90 kUSD.

To put that into perspective, that's roughly the average income for a developer as well here in Norway.
I was thinking of these as an alternative to having a distribution center. They're just always traveling on a few routes determined mostly by prevailing winds, making big circles around the planet. If you live on one of those routes, you can last mile delivery directly from the warehouse as it passes overhead. If not, the drones are loading/unloading a train or some such.
Looks very cool, will definitely read it! Thanks!
MacOS seems like an obvious alternative to Windows, especially for non-gaming use cases. I can't even tell you which version I'm running on this machine without checking. That's how much the change-over-time doesn't bother me.

Windows on the other hand has me wrapped around a post about 50 times regarding all of its UX quirks. Even the slightest deviation in anything Microsoft always puts me on a ballistic trajectory.

Honestly, Visual Studio is way more upsetting to me than Windows is these days. They are clearly making that experience worse on purpose just to prove they can.
Oh, you can make smug insinuations about how I'm misunderstanding you, but you expect me to be fully explicit. I've said all I'm going to.
>postmarketOS is a good example of this - despite years of tireless work, it's just really hard to get a regular distro working on a phone without leveraging Android drivers, at least for now.

Does this mean you are not working on mainlining this device? I'll take the slow and steady pmOS approach over sketchy Android shims. That's what ruined the Planet Computers Gemini PDA for me. A temporary solution is often surprisingly permanent.
Every time I'm reminded of Linkin Park songs I'm filled with mixed feelings. It reminds me of the 2000's, 144p videos, pre-iPhone era, when I was discovering myself (and so was the humanity as a whole). I don't wanna go back, but I don't know what to do with those memories either. It's a strange feeling.
Well with ACME theory is that certs should renew automatically so no one should cate.

But to set it all up in F500 size company, that is totally different discussion and not only TLS certs but all kind of other cert auth that happens there.
Enter cocaine
We're not living longer. We're dying more slowly.
Do you know of some examples of dress, language, or social cues? Would it be possible to 'fake it' do you think?

I find it fascinating that being viewed as nuveau riche is a bad thing or 'lesser than' old money, when the money all buys the same access and privilege.

In the states we have New England waspy types that have families that go back to the mayflower or whatever. But it's pretty easy to ingrain yourself in their small society (as long as you have assloads of money), and flat out lie about your background if needed. I'm wondering if it's the same in the UK or not.
You're in the right ballpark, though a good chair can easily get you into the 5 figures. Top-end is perhaps $20k.
> Tell someone in the 1600s about the concept of cellphones and they would say it’s impossible to ever instantaneously communicate with someone around the world.

I don't know that they would.

In the 1600s, they'd just invented the printing press, so communication was already undergoing a fairly massive change. A book that once took a lifetime to copy could now be printed in three days.

From there, it's a short walk to "this book that used to take a lifetime to copy can now be printed more or less instantly." And from there, we can start laying the groundwork for what we would eventually call telecommunications.

Cell phones rely on technology that people in the 1600s hadn't discovered yet. Interstellar travel would require us to not only discover new technologies, but technologies that actively violate what seem to be pretty hard physical laws.

If the speed of light really is a universal maximum, and something like an Alcubierre warp drive isn't possible, leaving this solar system is vanishingly unlikely.
Surely you realize that kidney pie sounds utterly revolting to those of us who haven’t acquired the taste.
They're also (or were, a couple of years ago) handling all Lenovo sales in Germany, so if it's true that would be a big deal.
PDFs can be translated to EPUB using existing programs. I'm going to go out on a limb and guess that Typst emits "good" PDF (I worked on a PDF program for years and I know it when I see it) so that conversion should be fairly high fidelity.

Clearly this is not as good as offering a second backend, but the latter is also a huge amount of work. I'm sure if you showed Typst cases where their PDF output doesn't translate to EPUB cleanly using available converters, they would at least investigate and see if they can improve that.

But without demonstrating that translation isn't working, I'm not going to accept the claim that there's an accessibility problem here.
WordPress plugin Jetpack releases fix for 8-year-old vulnerability
"an experiment in which 1,000 low-income individuals were randomized into receiving $1,000 per month unconditionally for three years."

This is no UBI. Not Universal, and not Basic - but a flawed study destined to fail.
The huge nordVPN ad that pops up while reading leads me to doubt the objectivity of the article
Show HN: Chrome extension to keep track of your GitHub profile information
Launching Chrome extension to keep track of your GitHub Stats, Followers, Following, Stars Count, Open-Issues count

Free to use

Chrome extension: GitProfileScope
https://chromewebstore.google.com/detail/gitprofilescope/eijlhjongoncaddbiojgmjdjebepcena

Give it a try and share your feedback
Chatgpt does mistakes, my advice to people is that, you guys should always try to double check contents it generates
As I recall, it was wasn't decompressed, the MP3 data was written into a WAV file with a RIFF header. There were situations where you had a decoder available, but couldn't get your app to recognize that MP3 files were audio.
Drop-in means replacing an existing thing with a new one without changing anything.

This is not compatible with other servers plugins/data/configurations, so just replacing the binary and expecting to continue where you left off is not possible.
A. Yes

B. Company that is one of the biggest tax avoiders says tax-financed government should handle cybercrime instead of them