skysight-inc/HackerNews huggingface dataset:
" If you have to drive everywhere, and drive further for every trip, what you save in rent or mortgage payments, can be more than eaten up in car payments, gasoline purchases, and time wasted traveling."

Well, that's assuming you own / lease a vehicle.

Instead, if you're using public transportation then sprawl translates into time. Longer distances translate into more stops, and perhaps even a transfer, or two. That time adds up.

If you're lucky you drive to the train station. But best I can tell, if you're using buses to get around locally, you're paying dearly in time. In fact, a couple days ago I saw a report on the local news that SEPTA (PHL, PA) is seeing bus rides / riders declined. They attributes this it Uber and Lyft. Apparently, the market is figuring out - faster than SEPTA - that time really is money.
Funny enough, when I saw a demo for this, it was by a programmer, and that was one of his main task at his job. I had the same impression, but he actually made a quite sound argument for it. He wasn't a machine learning expert (yet) and it allowed him and his team to quickly construct models and see what the best fit was. He was quite efficient at using it, and showed us how to build and run models in under an hour. There was no code they had to maintain which was ultimately a lot less work for them.
As a carpetbagger in Southern California, I totally understand the resistance to people like myself moving in. It's not greedy to wish you could maintain the same standard of living and advocate for policies that protect it.

It may be unrealistic and have huge costs, but it's not malicious. I'd hate it if I moved into my neighborhood 15 years ago in a low density unit or single family home, and now have to deal with nonstop construction, noise, traffic, and general overcrowding as people keep moving in, property taxes/rents go up, and wages stay the same.
If you died rich and have a family to leave the wealth to and the state isn't set up to steal your wealth by taxing you a second time, you've won at life. A big part of life is spreading your genes and making sure that your offspring are well set up to continue spreading your genes. This either requires heirs and wealth at death or at least making sure you transfer wealth to your heirs before you die.
They do, but they care about putting food on the table more. Can you blame them?
Typing in Yiddish
I'm not going to call it good, but I used to use FDF (forms data format) along with pdftk to fill in PDF files on the command line using a combination of Makefiles, pdfs, and fdfs. Here's the best reference I could find for the "standard":

https://www.iso.org/obp/ui/#iso:std:iso:19444:-1:ed-1:v1:en

That said, the workflow was pretty terrible. Basically, I had to use pdftk to output from the pdf what fields were writable. Some forms like from the IRS, were pretty good at labeling things. Most other forms were terrible and there was a lot of guessing and checking. As such, this doesn't exactly answer your question, but more to comment that there was sort of a way, kind of.
What do you mean by "locked behind a license"?
One important implication is that collateral freedom techniques [1] using Amazon S3 will no longer work.

To put it simply, right now I could put some stuff not liked by Russian or Chinese government (maybe entire website) and give a direct s3 link to https:// s3 .amazonaws.com/mywebsite/index.html. Because it's https — there is no way man in the middle knows what people read on s3.amazonaws.com. With this change — dictators see my domain name and block requests to it right away.

I don't know if they did it on purpose or just forgot about those who are less fortunate in regards to access to information, but this is a sad development.

This censorship circumvention technique is actively used in the wild and loosing Amazon is no good.

1 https://en.wikipedia.org/wiki/Collateral_freedom
> Rarely do they notice these two are not the same thing.

Types enable better tooling. That's why people mention tooling when types come up.
Or turn it around and make it equally burdensome to both insurer and patient. If you acquire a malady while insured by a particular company, all medical expenses that are tied to that diagnosis must be forevermore paid by that insurer, even after the policy lapses, is cancelled, or the patient switches insurers.

If that sounds unfair to an insurer, that's great--now they know how we feel about it.

Insurers want to deny pre-existing conditions because they don't want to add already-sick people to their risk pool. They wouldn't have to, if the previous insurer was still on the hook for that diagnosis. But they'd never agree to that, because it exposes them to some of the same insolvency risk due to medical bankruptcy that some patients have to face.
We can't expose a DMA controller directly to programs, but an API could be devised for it. Such a thing is needed even just from the mere portability point of view: making different DMA controllers on different systems look the same.

Applications will typically specify transfers using virtual addresses, but DMA controllers will understand physical memory (usually, but maybe there are virtually mapped ones out there). Plus there are other issues like restricted ranges: DMA that cannot acces all physical memory but just a certain range. The API will have to convert ranges of virtual addresses to one or more physical ranges, which are then queued as one or more DMA operations and somehow deal with the problem that not just any old memory allocation in the application is DMA-able.

Applications talking to channel hardware directly using dedicated CPU instructions is only possible in some vendor-locked IBM mainframe world. It's not otherwise feasible simply for business/market/economic reasons having nothing to do with technical feasibility.

An operating system API is basically a set of extensions to the instruction set available in the application's virtual machine; it's no different from some dedicated I/O instructions, just perhaps less efficient (which may or may not matter).
The Psychology of Why Cons Work
TL;DR https://news.ycombinator.com/item?id=19821813
It is flat wrong to suggest that most news organizations are censored by the US/UK government.
arstechnica.com
Yes, DjVu has raster images under the hood.
But it also seems that the US produces new big tech companies in new sectors whereas Europe appears not to. Sure maybe there aren’t any viable Google or Facebook competitors, but the US produces Stripe, Airbnb, uber, etc.
In spherical coordinates, the Physicists use Phi for the azimuthal angle, and Theta for the equatorial angle. While the mathematicians use the opposite. That was always fun trying to switch between for the various classes.

Additionally, the physicists use 'i' for electrical current, while the electrical engineers use 'j'. Again, very fun trying to remember what is what during finals week.
FWIW - I found it fairly trivial to set up CloudFront in front of my buckets [1], so that I can use HTTPS with AWS Cert Mgr (ACM) to serve our s3 sites on https://mydomain.com [2].

I set this up some time ago using our domain name and ACM, and I don't think I will need to change anything in light of this announcement.

1 - https://docs.aws.amazon.com/AmazonS3/latest/dev/website-host...

2 - https://docs.aws.amazon.com/acm/latest/userguide/acm-overvie...
I feel bad for OP here. It sucks and you deserve the same love and affection that everyone else does. Your needs and desires don't change just because you have this disease. I would like to point out that while PrEP might not do it, a vaccine might. And a vaccine seems very plausible in the near future given how close we've come with drugs.
On Perks
Channels only expose a consistent interface as long as there is no other mainframe other than an IBM one, or compatible.

Once you have two, and you want portable applications, using channel I/O instructions directly inline goes out the window; you need an API.
With Software defined networking you don't need the subdomain to do that.
"More control of when you leave/arrive, "

I disbelieve. If you don't want to be caught up in nasty traffic, you have to check the reports, and have knowledge of when rush hour gets bad. So you're still on somone else's schedule.
How exactly do you think your HTML files from 2005 would render differently today? Sure, your modern browser engine would probably make slightly different decisions with fonts and margins, but would that negatively impact the usability of a legal document, research paper, etc.? Meanwhile, you would have gotten things like robust search and real compatibility with mobile phones and e-readers for free.

A heavily restricted subset of HTML to replace PDF as the 'archival' format would make the world so much better of a place.
A lot of the issues with pushing price negotiation to the individual also seem to be assuming (or worse, lying about) that most medical professionals, procedures, facilities, et al are entirely fungible. Even if individuals had full price transparency, that doesn't change the fact that certain facilities will always be closer to home, certain procedures inescapable, certain medical professionals decades or life-long relationships to build, etc. Medical services aren't just interchangeable factory goods on a retail store shelf that you can easily pick based on price alone and then slot it right into its widget shaped hole, and never will be.
I wonder if it is worth it to create a hybrid data structure: A linked list of arrays. Say you'd tune it so each array fits in the L1 cache. You don't need a huge chunk of contiguous memory, but still gain most of the performance gains of arrays. Iteration gets a lot more complicated, of course.
That iris data set is perhaps the most prolific data in the world.
This is such an interesting topic. You find them "shamelessly ideological" probably because you don't agree with some of their commentaries. It's a fair point, but objectively, it doesn't say much about the quality their journalism.

Here is a concrete example; no reputable news outlet would publish an opinion piece by a creationist in an attempt to be fair or unbiased, and I guess most people here on HN would agree with that. But it gets more interesting. Ideology can be so powerful and deep-seated that becomes virtually invisible, but it's hard to argue that it's not there.
First, just to be precise, system dynamics are specified in TLA+ with TLA, which is a linear-time temporal logic (albeit one that seeks to minimize temporal reasoning); set theory is used "only" for the data part.

Second, the whole point of a high-level specification is that it is not dependent on a programming language, and allows you to choose the level of detail that suits you. One of the things that set TLA+ apart is that it allows for very convenient refinements, i.e. you can specify the same system multiple times, at different levels of detail, and show that a more detailed specification indeed implements a more abstract one.

Perhaps looking at examples (which you can find on the subreddit I linked and in the sidebar) will give you a better feel for how TLA+ is used for precisely the goal you have in mind. The Practical TLA+ book[1] (which uses PlusCal) also has good examples.

[1]: https://www.apress.com/gp/book/9781484238288
> I suppose dynamic typing does make unit testing easier, among other things, but it feels wrong to say it's "for" that.

The summary is trying to say that that's dynamic typing's primary advantage. Any other advantage you'd care to ascribe to dynamic typing is not intrinsic to dynamic typing itself.
I think there's value in these services for marketers, or target-ers. I see a lot of potential clients that know only excel /basic SQL and have a large list of customers/orders, or voters & donors. If they could upload and get back a scored list of top targets or leads that would add value. They just need to upload that list back to FB or wherever.

I don't see what the market would be for implementing this into production, like you say to make live in production needs to know how to code. Perhaps though I could see Segment offer a similar tool which I guess would be 'in production' without code.
Chalk of Champions [video]
I think you are thinking of The Enemy by Desmond Bagley. It’s on a book shelf at home and I’m away so I can’t check. I recall that the murdered industrialist actually uses a train set to encode an algorithm rather than a code. Will have to check when I get back
There is only one out of pocket limit:

https://www.healthcare.gov/glossary/out-of-pocket-maximum-li...

Healthcare costs whatever it costs, no matter what the premium / deductible is. The more of it that is used, the more someone has to pay, and you can be sure the insurance company is going to adjust the premiums or deductible or coinsurance/copay to make sure it's not them (in the long run).

The HSA/HDHP option just lets you gamble that you won't need enough medical care in the year to offset the investment and tax gains of contributing to an HSA. And if you're lucky, you'll make it all the way to Medicare eligibility. Although I'm pretty sure we'll see Medicare start being means tested in the next decade.
>most of the capital behind all of the current economic and social system is directly or indirectly held by part of the general populace itself.

As the system is designed, it doesn't matter so much who's money it is, it's who controls it and collects fees from steering it.
Does it bother you the domain is amazon.com and not com.amazon?
Some gun vloggers were talking about moving to a porn site after Youtube banned them, but I don't know if anything came of it.

There's also a Pornhub meme community. Brightly colored videos of dancing Shrek heads and so on - on Pornhub!

But I don't think there are many non-pornographic content creators who want to publish to a porn site.
I agree with other comments. He was careful with his wording to reflect how he feels, without blaming others.
Bear with my perhaps unusual opinion. If we want to preserve our freedom, every generation needs to have it threatened to realize its importance, and learn to fight to protect it. "The tree of liberty must be refreshed from time to time with the blood of patriots and tyrants".

If the current generation needs to undergo a propaganda war, it will either fail or rise above like the generations before. And then we will be protected from that particular attack, like our national immunity has grown stronger from a particular type of sickness. If we try to avoid the problem we at best are just weakening ourselves for the next attack, at worst we give up our freedoms in the cause of maintaining them.

Fight it out, good ideas kill bad ideas. Live free or die.
Posted at least 20 times but here are the discussions:

2015: https://news.ycombinator.com/item?id=9777485

2011: https://news.ycombinator.com/item?id=2093926

2009: https://news.ycombinator.com/item?id=849726

As for year, 2008 is an upper bound (https://web.archive.org/web/20080802234250/http://www.pphsg....), so we'll put that above unless someone finds it earlier.
For Hiroo Onada WWII Ended in 1974
Honestly if PH doesn't do it I feel like Cards Against Humanity will now that the idea's been floated.
Couldn’t you just do the same thing with sms today?
I might be mistaken, but here (Germany), regular checkups are paid by the insurance on purpose.

The alternative being people not doing the checkups and thereby delaying diagnosis until treatment get‘s really expensive as things get life threatening.

In the end insurance has an interest in people taking regular checkups resulting in early (cheap) action.
Boo. Now old packages won't work.
> No insurance company will want to underwrite a plan that doesn't bundle routine services, since those clearly reduce risk of complications down the road

But current plans don't require you to get routine services like an annual physical; they just cover them if you get them. That doesn't make sense if the insurer's incentives that you describe are driving the plan.

Also, these incentives don't seem to be operating in other insurance markets. For example, auto insurance doesn't cover routine maintenance like oil changes or tire rotation.
I just lived the last 10 months without a car. There needs to be a big asterisk of not driving would increase your quality of life if there is alternative transit in place. It's pretty miserable when the nearest activities are a 45 minute light rail ride away. Biking is great mid day, but doing anything at night when you're adding 30 minutes to an hour on each side makes most plans fall through.

I would love to not have to own a car in my city, but we'd need to increase density and transit significantly.
Narrow depth of field occurs in human vision, like when looking at very close objects under well-lit conditions. (We have flexible lenses in our eyes for a reason, and when they don't work well, we have corrective lenses for a reason.)

The effect has been imitated in static rendering (e.g. raytracing) long before it appeared in games and full length animations.

It is a real-world optical effect that requires extra work to simulate; when that is not included in the algorithms, you get wide depth of field by default. Everything going back to Gouraud-shaded polygons and wire-frame is effectively wide depth of field.
Well, and all I am saying is that the paper, including the section you mention, don't take these latest developments into account. They're not kernel bypasses. They're driver level optimizations and traditional APIs operating on file descriptors and virtual memory aiming to solve similar problems.

This stuff is very new of course, so we have to wait for something to actually integrate all those pieces and then for benchmarks.
Capitalism and Consumerism Swallowed Democracy
You're laying the blame at the administration's feet but you're ignoring the complete shit show in the legislature that resulted in what we have today. They compromised and compromised and finally surrendered major concessions to someone in their own party to get it passed. I'm shocked it did any good at all.
Are people required by the insurance companies to get regular checkups?
Sweden’s Lack of Electricity Capacity Is Threatening Growth
> So there's no standardization on how to talk to devices at the hardware level. Some CPUs have protection systems, an "I/O MMU", and there have been various channel-like interfaces, especially from Intel, but they have never caught on.

From the paper:

> NVMe SSDs perform I/O faster than the OS can accept new I/O requests and notify their completion. Furthermore, the current POSIX AIO implementations in Linux are ugly and adhoc, and they have limited support from file systems. This has lead to new AIO interfaces that eliminate system calls and leverage polling. However, polling for completion is not suitable for large I/O transfers.

AWS Nitro SR-IOV I/O virtualization [1] uses Intel VT-d Posted Interrupts [2] to avoid polling, but this CPU feature is price-segmented to Xeon E5 and higher. For other CPUs, polling [3] is necessary to achieve high IOPS with NVME. Intel and AMD should consider making this feature available on all CPUs, to support NVME and NVDIMM.

[1] SR-IOV: https://www.snia.org/sites/default/files/RonEmerick_PCI_Expr... & https://www.twosixlabs.com/running-thousands-of-kvm-guests-o...

[2] IOMMU: https://www.linux-kvm.org/images/7/70/2012-forum-nakajima_ap...

[3] Polling: https://events.static.linuxfound.org/sites/events/files/slid... & https://www.snia.org/sites/default/files/SDC/2018/presentati...
ML is so complicated and so black box-y, it's not like it's a todo list or something.

It seems like this would be the worst of both worlds. Too simple to be of any use to any ML engineer, too complicated for the uninitiated, not customizable enough for a domain expert.
That's like saying we shouldn't care about how many Boeing 747s crash as long as the government doesn't use them.
By "there was no code to maintain" they meant that the process was not automated, so they had to do everything manually each time?
Tusk stuck between a rock (America FANG) and a hard place (China/ Huawei).
In the US, bus routes often run with zero passengers on the bus.

Here is a Quora question and answer that states buses consumed 20% more energy than cars per passenger mile in 2009[1]. It references a US Department of transportation document that can now be found here(pdf)[2]. Tables in chapter two. Not sure about more recent figures.

I made this comment as I remembered an AC Transit (Alameda County Transit which includes Oakland) study that said their average mpg per passenger was around 8 mpg some time ago and I found that surprisingly low.

[1] https://www.quora.com/Do-buses-really-result-in-increased-en...

[2] https://tedb.ornl.gov/wp-content/uploads/2019/03/Edition30_F...
100% this. It's all about context. I live in NJ, and I can tell you that 1- I love driving when I'm able to do 80 MPH down the turnpike on the weekend but loath it when I'm stuck doing 10 MPH on 287 during rush hour and 2- HATE having to pay more money for tolls or parking. The sad fact is, I have to pay for the convenience of not needing to set aside 3 hours for my commute to work every day using public transportation.
Have you looked at PlusCal [1][2]? It's more natural for many software developers and compiles down to TLA+.

[1] https://en.wikipedia.org/wiki/PlusCal

[2] https://lamport.azurewebsites.net/tla/p-manual.pdf
If there is anyone from Amazon caring about freedom of speech and censorship — please contact me at s@samat.me, I'd love to give you more perspective on this.
This sounds like straight-up textbook Just-World[1] logic to me. You appear to be completely discounting structural and systemic forces against economic mobility for certain members of society.

1. https://en.wikipedia.org/wiki/Just-world_hypothesis
Why the World's Best Mathematicians Are Hoarding Chalk
It's an easy way to host a blog, but so was Livejournal. The connotations are similar too.
As far as I know, the verification of metaphysical axioms is limited to telling if they are consistent (which I guess this could help with) and telling whether or not they conform the reader's preexisting notions. We already know that most of our preexisting notions about the world are wrong, so doesn't that make metaphysics a version of math that's biased against having the right axioms? Mathematicians are biased very slightly towards choosing axioms that are representative of some truth because of cross-pollination with physics but otherwise make no claims, but it seems to me that philosophers who study metaphysics purport to be studying something other than "just math."
Huh? If the DNS doesnt see the bucket name how can it hand back the right IP of where the bucket lives?
How does that work? My browser is going to send all requests to the same domain to the same place.
Have you tried considering UPPAAL?
EU officials don't understand the current trade war. The US keeps coercing EU companies, buying them out by force (Alstom), pushing them out of markets (Iran), using extortion against EU banks, generally pressuring the EU in the position of an obedient vassal; but the EU doesn't get it, at all. That's a tragedy (for us Europeans).

Eu officials are completely bought into the free market ideology and "gentle commerce". Nowadays strategic companies are even sold to the Chinese, because "free markets". Morons. EU is inept, useless.

It's quite saying that Russia, with its limited means, limited population and GDP inferior to Italy, successfully kept its digital independence (mostly).
> Weak dynamic typing is nonexistent these days

Is JavaScript not considered to be at least partially on the weak side of the spectrum? Things like using the `+` operator on arrays and objects and getting back numbers and integers seems to be to be weak typing.
>The crux is hospitals and doctors don’t want their pay cut

Whether hospitals and doctors are really charging fair prices aside can't cost reductions also be accomplished by cutting out middlemen? I think there's going to be far more pushback from those rent seekers than the service providers.