skysight-inc/HackerNews huggingface dataset:
I was also surprised at some people I know going to great lengths to get the vaccine earlier. Maybe they have some risk factor I don’t know about, but as young stay at home workers, the risk of the virus is not high.

I just waited till it was generally available and the local website had appointments available. Added bonus is by waiting the vaccine trials run that much longer so you have more data that it is safe.

I’m the type of guy how likes to go to mediocre restaurants to avoid waiting in line for good ones, so maybe I’m just weird.
Or just legalize them so they can ask for higher wages.
Not sure. I will just share my own personal experience.

I live in Germany and I go to parks to freestyle with a soccer ball. My issue has always been dogs off lease interfering with my personal business. I have some balls with bite marks. I have been snubbed and sometimes gotten a rude response from owners.

I have lived in the USA also. My observation generally is that people find it weird when you say you don't like dogs/cats/etc -- almost like they are hearing it for the first time. This was a big difference from my home place.

I don't hate them, I just feel totally uncomfortable. Sometimes I feel my heart racing or I just totally freeze when I see a dog off lease nearby. (I would love to fix this: would appreciate any pointers).
That's an excellent point, it really shines a light on the hypocritical, dualism of the far left:

- We must reduce carbon emissions!

- We must allow more immigrants to become Americans (with our level of consumption & concomitant pollution production)!
Including tips and senior level makes a big difference.

What do entry leaves hairstylists make?
The wast majority of dogs that aren't leashed should be. If I encounter your dogs I can't know if they are one of the handful out of a hundred who are totally safe to keep off leash, or not. I can also not know if they are mostly fine off leash but react badly to bicyclists, other dogs or whatever.

So when I encounter them I have to assume you are not a reponsible dog owner.
In my experience, Rust code is relatively easy to read, even by developers with no Rust experience.

Of course, you can write hard to read code. But that's not typically what comes out of a process of writing production software.

That's not to say that someone with no experience will fully understand the ownership transfer & borrowing that's happening, but that's just stuff you need to do for the compiler. Reading code that already compiles, you can mostly ignore that and focus on the program logic.
This reminds me of Sony's minidisc technology. Such a cool product for its time but they purposely made it impossible to use and incompatible with everything.
I was extremely skeptical from the start, simply because it's fairly impossible to stumble on the Mandelbrot set by just messing about, it's a result of iterating a fairly arbitrary function on complex numbers and can't reasonably be generated by hand.
As of current, no. I'm not sure where I want to go with this project.
Still not necessarily true.

The academic usage holds that the distinction between the true type systems and the pretenders is that the first are sound: a well-typed program either evaluates to a normal form (value) or fails to terminate, but can never get stuck (segfault, terminate with an uncaught exception, however your environment implements that).

Of course, a gradual system like Mypy can never both be sound in this sense and remain gradual (which is a major selling point for Mypy), so for them the rule is usually amended with “provided the program is fully annotated” (and it should be obvious whether any given program is fully annotated or not, otherwise the system is just user-hostile regardless of how sound it is; at the very least it must be decidable). That is still obviously not satisfied for Mypy, because it doesn’t track exceptions (and including uncaught exceptions in normal forms would be useless because then no Python programs would ever get stuck). The actual guarantee Mypy is supposed to provide sounds kind of wimpy, like “never gets a TypeError that is not explicitly raised in user code”, but would still be useful regardless... Except that soundness is usually a pretty non-trivial theorem, and the lack of a readable specification for Mypy’s type system precludes it from being proven.

While well-typed Haskell (or SML) programs can in fact crash from the user’s perspective, the possible sources of crashes are rare and avoidable enough (for Haskell, only non-exhaustive patterns and explicit use of undefined, error, or throw) that you can call them additional normal forms without making the whole thing trivial. Every other way an untyped program could get stuck is disallowed by the type system, and there is a proof (SML) or at least a proof sketch (Haskell) of that (although of course not every untyped program that can’t get stuck is allowed by the type system, that is impossible by Turing—Gödel). Even the horrendously complicated systems that GHC implements nowadays still have papers that prove their soundness for a good enough toy example that one walks away convinced that the real thing works just as well.

So yes, there is a sense in which Mypy’s system is less “true” than SML’s or Haskell’s, and it is directly caused by (though not completely reducible to) the lack of a complete human-readable spec for both Mypy and Python itself. (I love Python to bits, but its object model is surreal and its only complete description is Objects/object.c together with Objects/typeobject.c.) If a wizard waved his wand and made every copy of the Haskell Report disappear, its type system would technically remain sound, but illegibly so to human mathematicians, thus it would in fact become less “true” in this sense than previously. Multiple implementations help, but I expect that without a prose spec it wouldn’t be easy to tell that GHC, UHC and Hugs implement the same system, the same way I have no idea if Mypy and Pytype do.
Haiku yes, BeOS not so much, if I recall correctly just a small subset was implemented.
I’d also like to point out that for the longest time the Roman and Byzantine states taxed land and not commerce. It is not a new idea. In some ways it is an ancient idea. Land value and use is dependent on the climate and success of farming. It can be volatile, and while land may have an intrinsic value, the earnings to pay the tax can be highly variable (I.e. a drought).

I don’t think this is the best idea to solve tax issues in the modern world
"In too many engineering teams, sprint planning and daily standup are centered on the sprint board and backlog. Stories (tasks) are the focus of attention; discussions are focused on achieving pointing targets, the mechanics of how to achieve a particular task, or dependencies and sequencing. The problem is that teams lose sight of the forest for the trees. We forget that stories are only a crude approximation of the work needed to finish an initiative; and more importantly, that the work only matters when it has delivered end value."

I disagree with the author on the point of standups - they're not big-picture strategic sessions; they're about short-term, tactical planning. What work are you going to do today? Are you blocked by anything?

That's not to say that the big picture should be forgotten, but it's wildly impractical to do an initiative-level review every single day.
I'd be interested in hearing what you think is a problem in async Rust.
It seems pretty unlikely. For all whale specious the numbers are far lower than historical numbers. There is a huge amount of krill and there are a lot of other species that have been doing this for a very long time.
IIRC HVIF is designed to render in one pass as well targeting to be both small and fast. It also use non-standard floating point, to be even more compact. And has more than two level of details. So guessing HVIF is a lot better except for tooling outside Haiku :)

Here is an article from 2006 about HVIF: https://www.haiku-os.org/news/2006-11-06_icon_facts/
If anything it was more common - the term “yellow journalism” comes from that era.

Most of what we are looking back is the stuff with value that survived.
Families and households, too. If your home includes pets, they stretch the overlap out into the surroundings a bit more, kids mingle with other families pools of life, etc.

There's another layer of mites, molds, and so on that's multicellular and participates in our health but isn't counted here. The things that we don't see or think about, the things that fleas count as annoying little bugs.

Vicious jungles, full of life, red in tooth and claw, all the way down.
> doing exactly the same thing only via css instead of a html attribute

Yes! What's wrong with this approach? We have a lot of old HTML attributes that were used for styling that have been replaced by CSS.

> Yes, I know there are workarounds using flexbox, grid, etc

It's not a "workaround!" You're controlling the appearance using the styling language. What's wrong with this example?

https://jsbin.com/wexisiyamo

> "responsive" as in hide rows of table cells on some resolutions to make things fit better

HTML attributes (like colspan) don't do this! CSS does.

> it does not manipulate the amount of table rows a table-cell-display element takes up

I know, I mentioned it before :) it's related though.

With HTML attributes the layout is tied to your markup. Like you said it's more than table {display:grid;} but is adding .colspan-2 a lot more cruft than adding [colspan=2]?
So did you or didn’t you instruct people to lie about their profession in order to get vaccinated? I’m not making an accusation here, but I’m genuinely curious if that point is a blatant lie or something you feel is ok to omit in your description of events?
I upvoted it because:

1. HN, in my experience, is an extension of ycombinator. Since it's this guy's entrepreneurial thing, I think that's relevant.

2. I'm interested in Rust, though I've never used it.

3. I'm the target demographic for this.

edit: formatting
As far as I know, after Node.js/V8 the only reasonable performance gain comes from switching to Rust/C/C++. Everything else is just a few % faster, not a magnitude.
Huh, and here I was thinking competitive FPS was a thing way before CS was even a mod, let alone mature and popular for tournaments
Amazon is weird that way. It's a multi-billion dollar global corporation that's run like a mafia front. They'll spend who knows how many millions of dollars on video game kiosks[0] to incentivize productivity through addictive feedback loops but won't spend a dime updating or replacing the equipment their employees actually use.

[0]https://www.theverge.com/2021/3/15/22331502/amazon-warehouse...
Unfortunately this is a very common refrain in climate science. Everything is always worse than previously thought.
The phrase "tall poppy" was used recently in another posted article:

https://brendangregg.com/blog/2021-06-04/an-unbelievable-dem...

It's an interesting cultural rule that's incompatible with the part of SV/startup culture that celebrates striving and visible success.
Here is my take on R as a guy who does stats as well as some software engineering in more mainstream languages like Python.

R is a fantastic DSL for data manipulation and statistical analysis, with both traditional and modern tools, on datasets up to the gigabyte scale. It has great, easy-to-use data structures and unparalleled APIs in the tidyverse. It is not the thing for the latest deep learning implementation on petascale data, but most data science work doesn't need or benefit from that. Surprisingly, some machine learning methods have their nicest APIs in R, because that's where the users of those methods are.

It has its warts, but so do JavaScript and SQL, and I think few people dispute that these are very powerful DSLs. Statistical analysis is just as legitimate a computing task as building webpages or querying databases. It is not the same as general-purpose programming, and it needs a good DSL.
Using Photography in Digital Marketing to Build Your Brand
Tesla bug – showing constant traffic lights whilst going 130km/h on the highway
The parent post by greggyb wasn’t arguing against the fact that many areas only have one Internet provider, but was specifically focused on the Grandparents, use of the word “oligarchy” instead of the more appropriate “oligopoly” to refer to situations where people have their choice of two or three ISPs.
I was completely taken in; and astonished. It's a tale well-told.
Parsing with Lambda Expressions
That's good information.

"Also, Bermuda is unlikely to agree to this."

Will it matter whether or not Bermuda agrees to it? It seems like their buy-in will be irrelevant, since if the company wants to keep serving US customers then they'll have to go along with the rules the US is setting up?
If you think that's stupid, wait until you see how to Bunnyhop in Half Life 2:

https://www.youtube.com/watch?v=EfRIMwWbyrQ
I think you have to be pretty far on the right for the Economist to be at all left of you. They're very much liberal yes, in the old school sense Milton Friedman used when he described himself as a liberal. Nowadays in American political discourse liberal is a code word for socialist, and that's not the Economist at all.

Not that I have any particular hostility to socialism either. I think it's generally wrong and misguided, but mostly in a well meaning, bumbling Sir Kier Starmer sort of way. Occasionally in a pernicious, righteous, nasty minded Jeremy Corbyn sort of way. I can often work with socialists though, but I'm European so you get used to it.

I think Graeber is most likely a Marxist, and I've commented on that and what I think of it elsewhere in the thread. Spoiler - not much.
I think it goes the other way - Target and Home Depot are beginning to leverage the fact that hey have warehouses across the country (their stores) - AND they provide quality control that Amazon seems unwilling to do.

Which will be what sinks Amazon- becoming an fancy US storefront for Alibaba.
Are all of these hoaxes as Udo of Aachen was? Or are you mixing real discoveries with the hoax? I’ve always despised April Fools jokes of this sort because they tend to outlive the joke.
yes. untended for 150 years, planted possibly 2000 years ago.
The United African Republic – Nigeria's proposed new name
Do tell more! I would be curious of any details on the development of commandos2, I used to play that game a lot.
If price collapses cause the exchanges to fail and disappear with their customer's assets then I suppose you'd be better off having held your own keys. But you still have an asset who's price has collapsed.
Thank you!

I agree, the syntax is much clearer than C++. The very first prototype was in C++, but I found myself frequently frustrated with the language. I find D's features make me more productive.
FastoCloud Media Services API
The dog, in this instance, is not sufficiently subject to the master-pet power relation for your comfort?
What web framework do you use? This to me seems like the part that's least-baked at this stage. Iron doesn't support async if I recall correctly, actix supposedly has a complicated mental model and was mired in drama last I checked, and Rocket looks promising but is still in the somewhat-early stages.
A game mechanic is only broken if it isn't fun. Otherwise, the issue is with the player.
DOJ will no longer seize reporters records for leak investigations
I can't resist to comment: this is either you being condesending (maybe the women would be fine watching tutorials by men too, I can't believe all the men would be turn offs), or these women actually need to be coddled, which then the maybe term snowflake would be appropriate.

I think I'm pretty sane, but wahey, what an odd odd world I've grown old in if your request is deemed normal.

Well your post got flagged to death (wasn't me!), I guess if you had made it clearer it was marketing not "culture war" in the first place it would've worked better.
Are you saying that the act of building affordable housing impacts wildlife/that affordable housing is built in locations disruptive to wildlife?
To write custom futures? Yes, you need to understand Pin and some advanced stuff.

To use? Eh - I just turn on async_std with the Tokio flag and write go-like code with async tasks. No issues thus far.
I believe actual cash hoards on hand is considered bad business. Apple having cash on hand is seen as okay, at present, because investors trust them to spend it well on expansion. Remember share price doesn’t indicate how well a company is doing today, it indicates how well people believe it will do In the future.

If you have piles of cash and don’t plan on spending it, somehow, on your business then you can’t expect your stock to rise and in fact if you’re so inept that you don’t know how to spend your billions your stock price may actually drop.
>Bad news for farmers, great news for the business running a 1000-person operation out of a skyscraper.

Not especially. The skyscraper land is probably 10000x more valuable per square foot so the tax will be 100x higher.

If you assume every square foot is taxed the same then you've kind of missed the point of a land value tax.

It won't fix the inherent problems with intellectual property though.
And furthermore, I'd say however they harmonize the taxation shouldn't even matter, because the the G7 countries (or at least the euro ones acting zone wide) have no structural constraints preventing the money printer.

The real important thing here is establishing the importance in preventing the race-to-the-bottom, so more important things like multinational carbon taxes, developing country capital controls, etc. are newly inside the Overton Window.
I'm pretty interested in learning rust to build APIs, but I'm already productive with Java and Node/Typescript and wonder if it would be worth it, aside from being interesting.

Anyone up for giving me an elevator pitch that it would be? Or, also interested in confirmation that it wouldn't!
See how to Submit your YouTube videos to other search engines
Not seven centuries ahead, but who comes to my mind is:

https://en.wikipedia.org/wiki/Athanasius_Kircher (1602–1680)

> One of the first people to observe microbes through a microscope, Kircher was ahead of his time in proposing that the plague was caused by an infectious microorganism and in suggesting effective measures to prevent the spread of the disease.
I find your response interesting b/c my instinct was in the opposite direction. Are cities the best way to understand variation or are there hyperlocal differences based on how much runoff, foot traffic, grass-watering etc happens in a place? Are residential neighborhoods where people mostly drive in temperate coastal climates more similar to each other than to their closer urban centers with lots of foot traffic?
> Wouldn't that make companies pay taxes in countries they are based in (as opposed to where they make money)?

If an American SaaS company sells a product hosted in Ireland to a company in Britain, where was that money "made"?
April 1st 1999 in the footer had me thinking.
> I look forward to the day that we punish corporations by removing their freedom (ability to operate) instead of fining them laughably small percentages of their yearly revenue for serious violations of laws and regulations.

I agree, but like you mentioned, the externalities on innocent parties would be too great. Also a lot of companies do not issue dividends, so focusing on them would do no good in a lot of cases. I think a threefold strategy would need to be implemented:

1. Direct action against executives in the board (e.g. heavy fines amounting to a large fraction of their total compensation and/or jail).

2. Confiscation of dividends for a period of time.

3. Forced issuance of new shares to dilute existing shareholders, with sale proceeds going to the government.

One issue is that shares can be traded, so it's possible for a shareholder to benefit from some bad action, then avoid any punishment by selling the shares before the punishment is implemented. Maybe such people could be shared a per-share fine based on shares held at a particular date?
Even in US, they spend more on welfare than warfare.
https://en.wikipedia.org/wiki/United_States_federal_budget#/...
Yeah there’s a distinction between inventing and popularizing. Heck, there’s a detective story in the Bible - Susanna and the Elders in the Book of Daniel.

But you can certainly become identified with a genre by being famous for it - and Poe arguably was that.
I just have to laugh when I see "cis" used.

That's like using the term "Black Crow" to describe the vast majority of crows, simply because a "Blue Crow" [1] exists, yet consists of a very tiny fraction of all crows.

Let's say 99% of crows are black. Then there's no need to call them "Black Crows" as there's a very low probability you'll need to point out the color of the crow.

Just say "Crow". Or "male" / "female". No need to throw in "cis" unless you're simply trying to demonstrate your conformity to the new fad of wokeism.

In which case, ya lost me as someone who will take you seriously.

[1] https://en.wikipedia.org/wiki/Blue_Crow
Middle class families in single family homes are hoarding a scarce and essential resource. Billionaires in high rises aren’t. The idea is to punish bad behavior and reward good behavior, not to cut down the tall poppies.
I understand that it's nothing to do with curl specifically, you understand it, good chunk of HN users do understand it. But general public doesn't really
These improvements sound good to me too, but they are not cheap. Paid time in security lines would increase worker’s paychecks. It’s effectively another way of raising wages. As is more breaks.

(Amazon doesn’t have a space program.)
Looks incredibly good.
I love the animated spinners and the graphs.
Yes, that's a definite possibility. I feel like it's less of a risk with a videogame that's got scope limitations, especially in relations to the system it has to run on, but it happens regularly with all sorts of books, more so the ones published on a regular tight schedule (think weekly comic books or webnovels). But even publications without deadlines can get impacted if the author isn't disciplined. George R. R. Martin famously wrote himself into a corner around the time of A Dance with Dragons and nobody has any hope left he'll get around to finishing ASOIAF. He tried to get away with it by using a cathedral and bazaar metaphor.
Groceries are exempt from sales tax.
No Design is the Best Design
How about just starting to check papers in the streets and immediately detain and deport the illegals? What's hard about it? It's done here in Europe - you have very few illegals (some legal refugees who at times get annoying, but yet, they are all accounted for).
I did read a substantial portion of the discussion before posting. I just don't believe that it's true that less than 10% goes to operating Wikipedia.

Paying for legal staff who defend lawsuits and advocate for legal reforms that matter is part of "operating Wikipedia."

Paying SREs to be on-call for incident response, plus routine upgrades of servers and racking new hardware is all part of "operating Wikipedia."

Absolutely essential parts of operating Wikipedia certainly account for a lot more than 10% of the budget. Sure there is a lot of overhead and I'm sure some expenditures are non-essential. I just can't agree with your assessment. The overhead and excesses are quite certainly nowhere near 90%.
It is to discourage unlawful activity on the part of law enforcement.
My comment is a joke as well. If you frame Buffon's needle game as a Martingale, playing until you get an answer that agrees with Fibonacci's previous work does not meet the preconditions for the optional stopping theorem. Intuitively, it's equivalent to starting with $1 and making fair bets with infinite credit until you have $2. Sure, it's possible, but it's not a "fair" betting game.

I just thought the quote from the article was unbelievably good -- "choosing his stopping point judiciously" is such a well-done understatement.