skysight-inc/HackerNews huggingface dataset:
Did You Know the Browser’s Autofill Credentials Could Be Stolen via XSS
Not that I can claim to understand the business model at all, but usually people that buy food are buying drinks too. You ought to happily make a loss on food if it is guaranteed to be exceeded by increased drink sales.
I don't think you understand what "proven correct" means. If you formally prove a spec correct using modern proof tools then it is guaranteed to have zero bugs. Nobody has found even a single bug in the proven correct CompCert C compiler for example. However people find bugs in gcc all the time.
I didn't mean to be judgemental, I was just reflecting on my personal situation and experience. I started off by saying: [theirs] may be good advise. Sorry if that came across differently.
Iran Deal Results: Mossad vs. Mossad, IDF vs. IDF
This is the sort of thing where you need good corporate lawyers, and the dollar amounts are big enough to justify them.
The permissions list on the play store was completely useless from a privacy standpoint. Even power users could to just about nothing with the info.

The situation now where you approve or reject permissions as they are used in the app is vastly better than the original android model of being shown a wall of text with the options to either give away all of your data and security or not install the app.
I am sorry for every individual who gets hurt and loses money. I genuinely hope they get recourse and their funds restored.

I am not sorry for Voyager, 3AC, Celsius, or any firm that has insolvency issues. I do not care if liquidation pushes crypto far lower. I am happy there are no government bailouts and any rescues are by strong private firms at fire-sale prices.

The crypto industry will be stronger after such shakeouts ruin the scammers, moronic risk-takers, and shady operators. Retail investors who got burned will not return, and if they do, learned a valuable lesson.

I only wish 2008 had a similar outcome rather than subsidized losses and zero pain for the rich and connected. I'm happy markets still work somewhere in this world.
> Yes, we have an expectation today that medical procedures be backed by scientific evidence of efficacy.

Statistical evidence of efficacy, you mean. Doctors today are much less "scientific", insofar as they're less willing to work with a patient to try to experimentally derive an intervention that will work uniquely well for that patient. Instead, modern doctors try to fit the patient into a coarse-grained statistical mold, and then apply the flowcharts of rote treatments that are "proven" to work for people who were labelled as fitting that mold according to some arm of a trial. They persist in this, even when it can be seen that the individual patient isn't responding.

A doctor who's actually practicing medicine as science would, for example, run a patient up the current DSMV flowchart for treatment of depression, rather than down it — first determining, as the most important step, whether the most hard-line treatment will do anything at all for the patient; before then finding the weakest treatment that will still have a useful effect.

Also, a doctor practicing medicine as science would be doing a lot less "try this because it has no side-effects, regardless of whether you're likely to be a responder to it", and a lot more measurement to "cleave the problem-space at the joints."

(Yes, ER doctors can't afford time to measure. Most doctors are not ER doctors.)
12 years average means there're plenty of 20 year old cars. And many old cars stay on the road, just exported to poorer countries.
I think you missed a few, and it's not just consonants:

Ay, see, ef, jee, aitch, aye, jay, kay, oh, kyuu, yuu, double-yuu, eks, why?, zed.

It's because the English alphabet is not a phonetic lettering system. If I were American I'd:

a) start saying "t" in the middle of a word as a "t" instead of a "d", and

b) vastly improve the standard of my spelling and those around me

before telling anyone, especially British people, that words shouldn't be spelt "like shit".

Personally, I'm with the Arguments against reform section of Wikipedia[1]:

> English is a West Germanic language that has borrowed many words from non-Germanic languages, and the spelling of a word often reflects its origin. This sometimes gives a clue as to the meaning of the word. Even if their pronunciation has strayed from the original pronunciation, the spelling is a record of the phoneme.

Which is how I can usually guess the correct pronunciation and meaning of an unfamiliar word while I see highly educated Americans butcher the pronunciation of anything outside the common vernacular. These "simplifications" are doing anything but.

However:

> Another criticism is that a reform may favor one dialect or pronunciation over others, creating a standard language

If I could force North Americans to speak better then I might be persuaded.

[1] https://en.wikipedia.org/wiki/English-language_spelling_refo...

Edit: an important point was missed!
As a long time VIM user, I tend to agree with you in your points. VIM and its concept was built at a time when text was green, and when you had maybe 30 lines of code in front of you.

My hopes for NeoVIM were that they changed the concept in the sense to find a new grammar that is based on the AST (sentences could be statements, for example). Sadly NeoVIM kind of underdelivered, syntax highlighting and AST/linters were always completely broken for me when I tried them out.

No idea why, there might be still some issues from me there that were closed due to inactivity (as if time would fix bugs magically).

I kind of hope that the LSP revolution will lead to better IDE concepts that can bridge the gap between navigation and repetition efficiency and the code's AST insights.
The prices will decrease eventually. The prices have come up because of high demand. Tesla is selling as many EVs as it can make right now, and with great margins. Those margins will ensure that production keeps expanding to meet demand.

It sucks that the prices are high because it keeps some people out for the moment, but production is expanding as fast as it can. Capitalism makes it so the people with the deepest pockets will get EVs first, but that's still many less gas-powered cars off the roads, and we're still going to transition to EVs.
You are joking right? Just checking :)
There’s an automation that’s triggered when you receive an email. Coupled with Mail’s “Send later” feature in iOS 16 and some parsing, you can send messages at any time you want.
Because liking a cli is an individual preference and lots of dev, including me, would prefer it and find it useful.
I read it more as asking about deep-NN models specifically.

If it really was trying to suggest that computation isn't universal or that our intelligence is non-physical or something, that would be a whole different problem.
I must have run fvwm for a decade before switching to xfce. I do kinda miss it, so lightweight. But I really also appreciate a lot of things xfce makes easier.
Credit cards can not be duplicated wirelessly. I’m not familiar with passports but if they can then I’d say that’s a flaw of the cards rather than phone permissions. It’s possible to read nfc cards from quite a distance with a high power reader.
same two apps i used. Never worked.
Wait, how could exercise not lead to weight loss? Given that you eat the same amount of calories, exercising will lead to a lower overall calorie count, and building muscle will lead to a higher metabolic rate.

Wut?
Just happened to read a report on this exact topic last week:
https://ourworldindata.org/us-life-expectancy-low
A much simpler first step that I think would be really helpful is:

1) Prevent any group discounts or employer discounts for health insurance

2) Possibly, to go even farther, ban health insurance as employee compensation

Benefits:

1) People see the actual cost of their health insurance

2) People can choose insurance on a competitive market instead of picking between 3 packages their employer subsidizes, so insurance companies actually have to be competitive

3) People aren't forced to pick a difference insurance company every time their employer renegotiates with a different provider, which can also change their healthcare network

4) Lower barrier to leave or change jobs since you can keep paying the same known amount for health insurance and receive the same service

5) Lower barrier to self-employment since you are no longer at a disadvantage for health care costs
Which of the 5 Western L stations? :) (I assume the one in Bucktown/Logan Square)
I have little direct experience, but what I do have all points towards failures of consensus.

Look at the most recent company you worked for, and from your colleagues think of: one idiot engineer, one idiot manager, and one idiot admin. Now imagine that they each feel they have equal rights as anyone to share their “input” into that business, and imagine trying to find consensus with you. Now multiply that problem by 10, because it isn’t just idiots that want to have their say, and most people have valid input that needs to be ignored because most businesses need a leader to provide focused power on a few plays.

I know of successful co-ops, but those seem to usually have a corporate structure and members have limited power, and I don’t know their internals.

Do you feel you have the skills to manage a co-op? Superficially you appear to be somewhat idealistic and innocent of the difficulty: although I think most traditional startup founders have and need those traits! Advice is cheap and experience is expensive: go with whatever works for you.
Quantum Processor Completes 9k Years of Work in 36 Microseconds
It is intended to be parsed as:

The cars come with advanced hardware. What is the hardware capable of? It is capable of self driving. How will the hardware achieve the thing it is capable of? Through software updates (that have not yet landed)
Besides the feeling that you're doing something good for the environment, EVs do have some genuinely nice advantages, including much less maintenance, being easier to drive, having better acceleration and traction (you can drive different motors and wheels at different rates), and being able to charge at home.

Range can be an issue for some people when going on long trips (> 300 miles), but the technology will keep improving. I'm sure we'll see EVs with 10 to 15 minute charge times before the end of the decade. It would be a huge competitive advantage to have ultrafast charging, so it's an obvious thing to optimize for.
'colour' isn't a valid CSS property, and 'serialisation' is inconsistent within a codebase written by Americans.

Over time it's natural to drift towards en-US spellings when conversing online, even with a spellchecker.
I want to know if an app will launch itself on device startup, and I can't see that any longer with "data safety". There are other permissions that are now similarly hidden. I appreciate that less tech savvy Android users might benefit from a simplified view, but I wish they'd give the advanced user an option to view details (and, ideally, the ability to reject ANY permission).
To bump #4; 220v 40a vs 120v 15amp. average daily commutes are < 30 miles, cars are doing 200+ miles; and having 12 hours of off shift is pretty common.

This is the 10% problem (which also has solutions, like the high-speed charger installed at your local gas station)
Yeah the article completely omits the perspectives of the Japanese anime creators. I'm sure that many of them worship live-action American films to the same degree that the article's quoted directors do anime.

The lack of recognition of this fact and the conflation of 'everything' with animation probably speaks to most animation fans' general refusal to engage with other film traditions. Do Studio Ghibli fans care to know what Miyazaki's favorite films are? I guarentee almost none of them are anime or even animated
It can seem like that on the surface, but a closer look reveals a lot of very interesting new features. Here's a few off the top of my head:

* Comptime, which can serve the purpose of generics without a new sub-language [1]

* Colorblind async-await, basically parameterizing async-ness to avoid the downsides of async's infectious nature [2]

* Hot-code swapping proof-of-concept [3] (Edit: specifically, new to low-level languages, AFAICT)

Pretty cool stuff!

[1] https://kristoff.it/blog/what-is-zig-comptime/

[2] https://kristoff.it/blog/zig-colorblind-async-await/

[3] https://www.reddit.com/r/Zig/comments/s9toy1/we_have_a_worki...
Another cash-out in the last few hours, $40 million or so.

Wonder what will happen tomorrow when everyone is back at their trading desks and dealing with the collapses over the holiday.
I am decidedly middle aged and don't mind a drink but still see little reason to "hang out" at a pub as was once common.

I don't stay at home all the time but when I go out it is for an experience and not "just chilling". And so the pub is again a long way down the list of things I'd rather be doing.

The pub experience seems to not elevate itself enough to be worth leaving home for and yet, if it was a more "elevated experience" it wouldn't be classed as a pub anymore.

Maybe pubs are simply becoming something else more entertaining to compete in the attention economy?

EDIT: removed wordy pros/cons list that made little point
From [1]:

> Population
> 2018 estimate
> 1,352,642,280

> Official languages
> Hindi
> English

[1] https://en.wikipedia.org/wiki/India
There is no problem with screening literally all the time, provided that the goal of screening isn't to immediately trigger a response from a single sample, but rather just to gather time-series sample points which can later be fed into predictive models to trigger alerting. (Where those "predictive models" can just be, y'know, your GP's eyes at your yearly checkup, as they flip through a series of your CT scans as a little flip-book.)
That's why you need to prove the whole chain end to end. From spec to C code. Hand-translating a proof to working C code will most likely introduce bugs. There are now proof tools that can prove the complete chain from spec to machine code (!)
> Completely defund the FDA

Deconstructing a necessary regulatory agency isn't the solution.

Best case, you end up creating a worse version of the same thing.
CUDA by Example helped me a lot learning about general purpose GPU programming. It doesn't cover Python, PyTorch at all though.
Most of the code is open source. No problem with that.
Anecdotally in support of the article a friend of mine was a model and obtained what I can only describe as hideous tattoos all over her body that forced her out of modeling. She was indeed in a highly abusive relationship even by law enforcement standards. I'm happy that she escaped that mess but now has a tattoo head to toe to remind her of it.

There are some places that this theory probably breaks down in some way? For example everyone on "The Max" in Portland Oregon knew I was not from there for a lack of tats. There are some parts of Mississippi that people without tats will also stand out. Most of the places I can think of where I saw more tats than not were places of poverty, highly artistic people, very socially liberal. Most of these places also had lot of biker bars, night clubs, good music and good food.
Hi! I made a mistake in my previous reply. I forgot mentioning 'pre' as a dependency for 'proj'. I meant something like:

build pre:
! echo 'pre script'

build proj: pre
! gradle hello

This will ensure that 'pre' scripts are run before main 'proj' script!
DPDK is common within network appliances, where you don't need most of the features within kernel networking stack.
I was able to read early on in my childhood but I still enjoyed reading with my parents around that age. As you learn to read yourself it shifts from being read _to_ and instead to reading with your family.
You can do that in Caltopo. They have a lot of really handy mapmaking features (like viewsheds and their “measure distance” tool that can snap to roads and trails), though their UI leaves a lot to be desired.
Likewise, if an employer was actively monitoring me, I'd assume they are more likely to cut back on benefits, not give raises, ignore feedback, increase workload, lay me off, pinch pennies with equipment, or any other number of corporate shenanigans.
This right here is why Nvidia has such a massive lead in computational GPU sales. Investments into this ecosystem were made 15-17 years ago. I.e. there are long ways to go for AMD, Intel and others (Apple?).
Congratulations, you just ignored every one of my points and simply inserted your own. I suppose that's one way to have a conversation...
It definitely isn't a given that you eat the same amount of calories. The train of thought seems to be that if you exercise at moderate or low intensity, people will often eat enough to compensate (or more). And the kinds of exercise studied often don't build appreciably muscle.
The real problem is not less rainfall but ever growing expansion of unsustainable agriculture in these regions. For instance in Southern Spain there are countless illegal boreholes and this number is growing every year [0]. Every time I visit this region (yearly) I'm shocked by the expansion of arable land.

[0] https://www.wwf.eu/?68900/Spain-sucked-dry-by-illegal-water-...
Overregulation has done more to shift the focus of healthcare from actually providing healthcare to instead feeding the bureaucracy.

I switched to a health savings account and regularly negotiate paying for things with cash instead of going through insurance and the cost difference is mind blowing - routinely 1/3 to 1/5 the amount if you force your doctors to go through insurance.
Indeed. I've tried a bunch over the years: i3, Qtile, Xmonad, herbstluftwm, awesome, dwm... And the most popular floating ones: Gnome, KWin, xfwm, Blackbox, etc.

They can pry bspwm+sxhkd out of my cold dead hands. It's a fast, lightweight and rock-solid environment, with simple yet flexible customization. It gets out of my way and works exactly as I want it to. I've been using it for years, and don't have the need to switch to anything else. I'm only hoping that something similar can exist for Wayland. Otherwise I don't see myself switching from X anytime soon.

Please support the author if you have the means: https://github.com/baskerville/bspwm/blob/master/doc/CONTRIB...
You could get hungrier because of the exercise and therefore eat more, which would prevent weight loss.
What nonsense! Gave up after reading this.

"""
Where typical internet maps take 30+ seconds to load after each pan and zoom
"""

What typical maps are the talking about?
>But Why Not Stick Around for the Paycheck?

A lot of people do this, they avoid getting political at all and just do their jobs as professors, often they do a great job and while they might want to express their opinions it's just no use when it could immediately be classified as wrong-think, not taken seriously at all except for reasoning on ostracization strategies. It's fine to stay, we're still far from definite proof of wokeness being required.
CERN gears up for more discoveries 10 years after ‘God particle’ find
That was my impression. Beautiful city, shining buildings, and then you walk a few blocks too far in any direction and you're in a very rough, very rundown poor-seeming neighborhood. There was a very clear line demarcating the areas. As opposed to, say, New York, which is nice but a little grimy everywhere.

Or San Francisco, which is, you know.
rsshub speaks telegram/twitter/more

https://rsshub.app/telegram/channel/programmerjokes
What you're looking for is RDMA. It was mostly restricted to Infiniband (IB) back in the days, but nowadays you probably want RoCEv2. You can look at iWARP too but I think nowadays RoCE won.

In any case, the standard software API for RDMA is ibverbs. All adapters supporting RDMA (be it IB, RoCE or iWARP) will expose it. You can get cloud instances with RDMA on AWS and Azure.
No they don't. They spend very little time on the road, most of the time stationary. Obligatory link to Donald Shoup and the "High Price of Free Parking". https://en.wikipedia.org/wiki/The_High_Cost_of_Free_Parking
What you're describing is what tiling window managers do (or at least very close to what you're describing). Neither Spectacle or Rectangle are actually tiling window managers; they're just window snapping tools. I have never tried this (haven't used macos as my main OS in years), but I've heard it works well, and should give you the tiling window experience: https://github.com/ianyh/Amethyst
How do you know who is a genius when they are finishing their PhD? Everyone finishing a PhD at Oxford/MIT/Stanford/etc has a very impressive resume

Impressive resumes, sure. But my experience has been that even when students are starting their doctorates there's very clear tiers -- even out of the pool of doctoral students in Oxford.

(In case anyone is thinking this is hubris on my part: I would say I was towards the top but not at the top. The most impressive student I met in Oxford was a mathematician by the name of Lillian Pierce -- and she wasn't even doing her doctorate yet.)
Possinly by replacing fat tissue with muscle?

I guess it will depend on protein vs sugar and fat content in the diet.
The dynamic permissions are not a replacement.

Some users would never even install apps that asked for too many static permissions on the Play page.

But now, if an app seems to meet their needs and they aren't sure, some of them will go ahead and install it just to try it out. How much can one run hurt after all? Due to unresolved questions or sunk cost dilemmas, they may even grant dynamic permissions. How much can one run hurt after all?

So this will manipulate a percentage of reluctant users into data-providing users by hiding a reason for their reluctance. I'm inclined to suspect it'll benefit Google's ad impressions business and that's the actual motivation, not "feature parity" with Apple.
There's COBOL code at least twice, and possibly three times as old, that still runs billion dollar businesses every day, and likely will until you retire.

VB has its quirks but during its heyday, it was substantially more productive and easier to use than pretty much anything else.
One gets used to syntax, don’t let that be the reason you don’t like a language.
> Yea, it is definitely a fake HTTP server which I acknowledge in the article

It's not actually an HTTP server though... For these purposes, it's essentially no more useful than netcat dumping out a preconfigured text file. Titling it "HTTP Performance showdown" is doubly bad here since there's no real-world (or even moderately synthetic) HTTP requests happening; you just always get the same static set of data for every request, regardless of what that request is. Call it whatever you like but that isn't HTTP. A key part of performance equation on the web is the difference in response time involved in returning different kinds (sizes and types) of responses.

A more compelling argument could be made for the improved performance you can get bypassing the Kernel's networking, but this article isn't it. What this article demonstrates is that in this one very narrow case where you want to always return the same static data, there's vast speed improvements to be had. This doesn't tell you anything useful about the performance in basically 100% of the cases of real-world use of the web, and its premise falls down when you consider that kernel interrupt speeds are unlikely to be the bottleneck in most servers, even caches.

I'd really love to see this adapted to do actual webserver work and see what the difference is. A good candidate might be an in-memory static cache server of some kind. It would require URL parsing to feed out resources but would better emulate an environment that might benefit from this kind of change and certainly would be a real-world situation that many companies are familiar with. Like it or not, URL parsing is part of the performance equation when you're talking HTTP.