skysight-inc/HackerNews huggingface dataset:
> But when it comes to cars in very dense areas, there is a significant discontinuity in social cost between zero cars (pedestrians can freely use the streets, no traffic lights, etc) and a few cars (like in congestion pricing schemes).

In my experience that's not quite the case. I lived in Barcelona's old town for about a year, and while it was technically legal to drive on many of the narrow, medieval-era streets, in practice it was enough of a pain that drivers rarely did.

Because of the high volume of pedestrians, the few cars that did come through were forced to travel very slowly and the burden was on them to avoid hitting anyone, not the other way around. So I don't think you have to go all the way down to 0 cars to get most of the safety benefits – there's a tipping point somewhere earlier.
Can’t believe this article missed the most delightful factoid regarding wombats’ cubic poo.
Much as I enjoy the Scots accent, it's just that: an accent.

I know: "the difference between a language and a dialect is an army and a navy." (meaning: there is no difference)

But insisting Scots is a separate language feels like a nationalist thing. As the article mentions, it's not that Scotland doesn't have a real language all its own, Scottish Gaelic. But that would take time to study and master, and it's easier to really dive into your local pronunciation up to a point where no one understands it as English, write it down phonetically, and claim it's a language.

From the article:

"Ye may gang faur an fare waur" apparently meaning: "You may go further and do a lot worse",

or,

"you may go farther and fare worse", if you pronounce it in dialect and just write it down like that.
API Economy: Adam Smith would be proud
It has never ceased to amaze me the abuse MS customers continue to tolerate.

Edit: Not that I'm suggesting Apple is any better. Proprietary software in general tends to exploit its users in various ways, if not initially, eventually.
Ah yes, the great economic minds of the current administration.
As an ex-"small business owner" in Eastern Europe, i can't relate. Credit card arrives in few days(via mail or on-site pickup) and for larger payments, you can use a credit calculator(provided by the bank), which generates a unique code which you must enter in your e-bank. This is only necessary for payments larger than 10k+(if i remember correctly).
http://www.sothebys.com/en/auctions/ecatalogue/2018/contempo...

Sotheby's posts lot details on their site for all auctions. The provenance on this one is quite direct. Banksy -> "Current Owner" -> Whoever won the auction

Banksy himself made the frame.

However, rumor that I've seen among the art world is that Banksy was the "Current Owner" as well as the bidder. The piece sold for the exact same amount (to the pound) as his previous record Sotheby's auction. People are also not buying that Sotheby's wasn't in on it - wooden frames like this have to be verified to be free of pests like termites, etc., which the lot details report was done. It seems unlikely that in verifying the frame to be pest free they would have missed a motorized shredder in it. Especially since the shredded pieces had to go out somewhere...
This isn't even a Euro thing. Many elderly people ride the bus here in the US in my city. The divide is between the rich and the poor. If you're wealthy, of course they drive because society is built to benefit drivers, but many people, old, not able bodied, not seeing, not hearing, etc., ride the bus.
Slight downside: apparently Office 365 won't support LTSC soon: https://techcommunity.microsoft.com/t5/Windows-IT-Pro-Blog/C...
Which cannot be said for software engineers.
Perhaps I'd have better phrased it as no more priority for vehicles first, but it's the ideal or the vision. Every country will have the more spaced rural communities where eliminating personal transport probably won't work. As a human I'd like the vision to be humans first.

Sticking with cities, all of your points can be achieved designing roads for no cars and pedestrians everywhere. We already do it to a limited degree in the pedestrianised urban centres - which still permit emergency services. Deliveries to shops and tradesmen are often restricted to specific time ranges only. Barriers at the periphery enforce time or permit access. More space for pavement cafes, planting, but keep a single lane for the few trucks, emergency, even taxis in some places.

You can also see it with "shared space" becoming more common in residential areas. I think it was a Dutch idea, sometimes called "naked streets" depending where in the world you are. That's removal of all lights and markings from junctions and streets, sometimes combined with calming features to ruin line of sight, maybe by planting trees, or insert slaloms. That results in kids able to play out, or pedestrians walking in the middle of the street, and crossing wherever they like. The driver becomes no more important than the foot traffic, and they have to pay far more attention, especially at junctions. Still lets all traffic in, just vehicles no longer get to come first in a set lane that pedestrians feel excluded from.

Comes down to where we place priority. Seems pretty clear the 60s post-war ideal of Brutalism, walkways in the sky and expressways of cars, but no buses and trams, while gaining longer commuting distances everywhere was absurdly anti-human.
Is this incompetence the result of Microsoft being unable to retain decent engineers? I mean, who actually would want to work on the next Windows release? You’d have to be a masochist.
> When are Adobe and Autodesk going to support Linux properly?

When there will be a business case. That means, when there will be people willing to purchase Linux versions of Adobe/Autodesk/whatever apps, but not their Windows or Mac versions.

Normally, when people need Adobe/whatever, they will purchase also whatever OS is needed to run them - if you are getting expensive pro apps, 130 EUR/OS license (pro/oem/before VAT) is a rounding error. To Adobe this signals, that the porting effort would be a wasted effort, which they can save and earn the same revenue anyway.

So it is more realistic that some competitor appears, fills that demand and grows somewhat, before established vendors notice.
Can you give an example/link of how they commute?
I'm still on the April update. Skipped July update after all the issues there - thinking I'll just wait for the October issue where they will surely not make another mess of it.

Oh well, there's always 2019...
And this is why most people should just get a high paying engineering job and invest whatever excess into an angel fund.
I hear this sentiment a lot (in all contexts, not just novels), but it's always unclear to me what the intention is. Novels should never have a political message? As rarely as possible? Who is arguing that novels should forgo telling a "good" story in addition to whatever else they're doing? I appreciate that there are certainly interesting points to make here, but unfortunately, it always seems like the majority of people making this case are just saying "I stick to my camp and hate hearing the opinions of the other camp" (not accusing you of this without more context).
Thanks. I haven't seen that show.
> the final version of this exact proof is not human readable any more:

In general, Coq proofs are meant to be read using tools, not as plain text. You start out with the theorem you want to prove, and you apply a rule to it. Then Coq shows two new things to prove. You apply a rule to each of these, and so on.

Without seeing the list of active "proof goals" at each step, there's no way to guess what "apply sym_not_equal" means. But if you step through the proof line-by-line in the editor, then you can examine how each step updates your "proof goals". (I have an old blog post that shows what this looks like: http://www.randomhacks.net/2015/07/19/proving-sorted-lists-c...)

I admit, it can still be pretty arcane. But with the right tools and a bit of experience, it does get a lot easier.

The real head-scratcher are advanced "proof tactics" like "auto", which automatically apply a long lists of possible transformations until they find an answer:

Theorem basic_conj' : forall (A B : Prop),
A -> B -> A /\ B.
Proof. auto. Qed.

This is the Coq version of "the proof is left as a exercise for the computer."

It's pretty cool technology if you like math, well worth some time to puzzle it out. But expect to have to read some tutorials and think about them.
Am not a pilot, but why would they need takeoff speed, rather than to just stay above the minimum speed before stalling? That $V_s0$ speed is more like 65Km/h.
PayPal has their Payments Pro product if you want to accept credit cards without the PayPal branding on your site.
I find it amazing how people can make so many assumptions from this Ask HN post and already assume how the CEO is, what the start up needs, if OP is right or wrong and whatnot.

DevOps is much about culture and it's not a one solution fits-it-all that you can grab from your past 7 years and readily apply to a company you just joined. I was responsible for a very big devops transformation in a medium company (3k employees, 80 devs), took around a year and a half to go from ssh to server to deploy to everyone being on Ansible and automated deploys with CI/dev/staging/prod.

I would say to chill :), you just joined the company, 3w is not a lot of time to understand the culture, the devs, what they should optimize for, what is causing them pain, what is taking them time, what is making them money and etc.

Also, have some real 1:1s with the CEO (or whoever you report to) and be very direct about how you are feeling and what the expectations are.

Case in point, I really recommend the two books in this link:

- https://landing.google.com/sre/book.html

I don't believe any of that can be applied blindly to a company that isn't google size.
Fedora Silverblue (previously Fedora Atomic Workstation) provides some interesting solutions[0] for the issue you mention in the first paragraph.

[0] https://docs.fedoraproject.org/en-US/fedora-silverblue/#_wha...
Wow...I never actually knew the significance of secant and cosecant, or how tangent/cotangents' lengths were related to the unit circle and right triangle. I knew the formulas to calculate them, but not really what they truly meant.

(Also, my username is relevant)
>That is misleading.

I'm not sure how that post is misleading. And your responses are either evasive or does not contradict what is originally being claimed.

>Brave blocks third-party ads and trackers (which are not only harmful to users, but often make up more than 50% of all data loaded).

Considering "replacing" ads involve removing the original ones, I'm not sure how this this disproves mswift42's post

>Brave is testing an optional digital advertising model which operates via local (on the user's device) machine-learning to match ads. If a user opts into this component, they will earn up to 70% of the ad revenue.

>In the future we will offer publishers (websites) the ability to partner, permitting Brave to display ads on their pages. In this arrangement, publishers will receive 70% of the ad-revenue (far better deal than what most see today), and users will receive 15% for their attention.

There's still 30% and 15% left, respectively in those examples. Is brave taking any % of that? if so, they're making money off of replaced ads.

>In either model, the user must first consent to see ads.

I fail to see how consent is relevant to a post about what Brave's business model is, especially one that's making a statement without any moral judgement.
I don't hope Microsoft dies, I just hope they realize how unreasonably stubborn they are being in forcefully shoving every new update of Windows down users' throats, and and that they then stop doing it.
>but that would take time to study and master, and it's easier to really dive into your local pronunciation up to a point where no one understands it as English, write it down phonetically, and claim it's a language.

It's more political than that, there is a protestant/catholic aspect to it too, although that is more pronounces in Ulster.
"Undefined" bytes in this context does not equate to "invalid" bytes; they were more like don't-cares. Say, let's assume that they were invalid per se, then ISO/IEC 8859-1 would not allow a newline and tab that are not defined in ISO/IEC 8859-1 but a part of ISO/IEC 6429 C0 control codes. But a character set without a newline sounds... absurd?

It should be pointed out that the historical model of character sets is much different from today. First, recap:

* A (coded) character set is a partial function from an integer to a defined character meaning.

* A character encoding is a total function from a stream of bytes to either a stream of characters or an error.

ISO/IEC 8859-1 is a coded character set, but not a character encoding. It was possible to treat character sets as character encodings, and in fact this separation became apparent only after the rise of Unicode. But as you see 8859-1 does not have a newline, therefore there should be something else to provide them. Thus there had been "adapter" character encodings that makes use of desired character sets: most prominently ISO/IEC 2022 and ISO/IEC 4873. In most practical implementations of both 6429 is a default building block, so as a character encoding 8859-1 contains 6429, although 8859-1 itself was not really a proper encoding.

One more point: 2022 and 4873 were not only character encodings available at that time. One may simply define character encodings by turning a partial function to a total function or defining a total function from the beginning, and that's what IANA did [1]. IANA's version of 8859-1 ("ISO-8859-1") [2] is a proper character encoding with all control codes defined. And I believe the alias "latin1" actually came from this registration!

[1] https://www.iana.org/assignments/character-sets/character-se...

[2] https://tools.ietf.org/html/rfc1345#page-63
Testing something like Windows/Windows updates at scale is hard. So bugs will happen. But deleting docs is gross.

I can imagine there was tense meeting somewhere in MS where the choice was made to stop the update. I would have liked to have been there...
Great Library. Available in most of the popular languages. I use it all the time to keep track of node ids instead of using sets of Longs. http://roaringbitmap.org/
Mobile ordering has never made sense. It’s easier to just tell a person what you want when you actually get to the drive-thru, not to mention fresher. You don’t have to make an account or input payment information or download an app. Just speak and then hand a small plastic rectangle to them.

This AI BS is just a scam designed to dupe clueless executives out of their money. It’s just window dressing. The real problem? Constant delays in the drive thru. People can order just fine already, what pisses them off is sitting in the drive thru for 10 minutes waiting for “fast food”. Not to mention the price increases and a lack of new novel menu items.
There's the closely related Ullans, practically unheard of pre-1998.
One doesn’t have to go far in Embra to hear about the dreich days nor the harr coming off the firth, and it’s the least Scottish city in the country.

The vocab is distinct from English, and that puts it beyond an accent to a full dialect and language of its own.

Also shite is northern English, Scots would call it a load a bawls pal
Show HN: Identibyte – Identify disposable and free emails in your forms
You could argue HN being an advertising platform for YC and certain YC posts being inserted early on like hiring posts are ads. So using HN isn’t a good example at all.
Good article. I've only read The Metamorphosis but I think this makes sense. Looking back on it, the 'three lodgers' in that book present a funny, absurd scenario.

I prefer reading relatively short and simple classics like The Metamorphosis - if anyone has some recommendations I'd be interested.
Let me see your anecdote with another, growing up in Scotland I had the exact opposite experience.

Depending on the area and interaction, you'll find Scots. Formal encounters are most certainly conducted in English with the odd Scots word thrown in however in my experience, particularly when concerned with community work, Scots was more common than not. On a lighter note, I recall visiting a comic theatre production in Arbroath which to my surprise was mostly spoken in Doric, and found myself odd one out and missing many of the jokes.

Regarding education, in high school we had entire units where we read and wrote Scots, and the majority of classroom discourse took place in Scots. This was not a special language nor otherwise remarkable school in any sense, it just seemed to be par of the curriculum in Angus at the very least.
When Autodesk bought Alias|Wavefront, it was already running on Linux, with their customers running Linux. Killing it would damage their business, so they continue with the development.

Meanwhile their original product, 3ds max, is pretty locked into Windows.
How do you define "web" and "centralized" here? The internet (not necessarily the world wide web) was created to be decentralized

Web as the world wide web of HTML pages served over the HTTP protocol. And centralised as served by the handful of biggest players in each market.

Even early on big centralised portals were attracting users. Internet started to attract common folks as soon as some services grew big enough to become "go to sites" at which point word of mouth was crushing smaller players. People didn't use Neighbour Joe's Web Crawler for searching, people used something like Alta Vista. The market for shopping on the internet increased directly as a function of big commerce sites gaining popularity. The small players never enjoyed more than a fraction of the number of users the big players had.

It seems to me that this suggests common people who do not have an interest in technology want to rely on a single (or at most few) brand(s) of service providers which basically leads to a winner-takes-all market and that just adds into centralised nature. If your mother wants to buy something on the internet isn't the only clue she has called "Amazon" ? (Or some applicable local market leader, depending on the country.)

Even if internet itself was completely decentralised and people were using RFC 1149 to reach the net I'm pretty sure they would still be connecting to Amazon, Ebay, Google, and other centralised hubs.
I invest some karma to point out how I'd love for str to just use UTF-8 by default, and print as UTF-8 by default:

print(b'DONT b"EVERYTHING!"')

print(str(b'SAME!'))

print(str(b'I DONT WANT TO add ,"UTF-8" everywhere!','UTF-8'))

line="ום עולם"

output.write(line) # TypeError: a bytes-like object is required, not 'str'

fp.write(output.getvalue()) # TypeError: write() argument must be str, not bytes

Please at least allow us to set a global option via
sys.setdefaultencoding('UTF8')
as before to automatically encode/decode as UTF-8 by default!
I honestly don't know why anyone at the auction, who was interested in that piece, thought there would be no trick or strings attached, or why Sotheby's didn't suspect anything after investigating Banksy. The wiki excerpt shown by Google says "Banksy is an anonymous England-based street artist, vandal, political activist, and film director." It then goes on to call his works satirical and focused on dark humour.

Anyone willing to spend £1,000,000 on a piece of art by Banksy should know enough about him to imagine that he'd hate auctioning his work to the rich at an elite establishment like Sotheby's.
This post barely scratches the tip of the iceberg.

For a more comprehensive discussion of unicode issues and how to solve them in Python, "Let’s talk about usernames" does this issue more justice than I could write in a comment: https://news.ycombinator.com/item?id=16356397
Hey all! We created Identibyte because it seems like every time we build a new product, we have to add a little code to make sure we're handling disposable email address accounts.

I love disposable emails, and I think it's great people use them to try out a service. We want to help companies (and anyone running a site with a signup form really), manage these better.

A lot of times users signing up with disposable emails don't need the time and attention that other users do - they just want to try out the product with little interruption. We encourage that!

Identibyte aims to helps the companies manage these accounts better. By pointing out information like this, you can focus your resources on the users who WANT and NEED it - instead of spreading everything evenly.

We've implemented this in our products by deleting disposable accounts after a certain time of inactivity. This helps us, and doesn't block people who just want to try out a product! Users who like the product almost always change their email to a real one.

I'd love to hear if this is something you would do, as opposed to completely blocking these signups?
> stepped into the hall with Katie's husband, Pat. "I wasn't prepared for this," she told him. "I don't know if I can handle it."

Be suspicious of people who you don't know that well, but all of the sudden they pop up in a moment of crisis. Sometimes they want to be part of it and go around and brag to others how their friend / relative is suffering. It's just a source of gossip for them. Then they get the sympathy-by-proxy and they get others to pity them and so on.

As a general rule I find that people who want to celebrate with you when something good happens and are happy for you are more likely to be a better friend than the ones who show up when you're in trouble.

> "Can I bring you a pot roast?"

Also don't say "what can I do to help?". People as a rule will just say, "Sure, thank you" but the understanding is you're not serious and you just said it because you're expected to say. You might have meant it, but they don't know that. Like the article mentions, say something like "Would you like a pot roast?".
The 1.5 million figure is from 2011 Scottish Census data. [1]

[1] http://www.scotlandscensus.gov.uk/documents/censusresults/re...
I think what you're describing is already present as of SQL 2003 in the form of multisets:

http://farrago.sourceforge.net/design/CollectionTypes.html

However, good luck finding a database engine that necessarily supports such features. Some support array types, but I haven't seen too many that support multisets.
If you're a company the size of Microsoft, "hard" just means "expensive." There is certianly no question that Microsoft is able to produce Windows updates that do not have these problems. Apple has been doing automatic updates for years - but we don't hear similar stories coming from that camp, because they put in the necessary QA effort.
I love hearing about how people changed their minds.
Sometimes I have fantasies of modifying my headphones with two small flags.

A green flag means it's safe to approach me for a code question/office banter/TPS sheet.

A red flag means do not disturb
I hope they get it fixed quickly and I hope they listen to user feedback more... I just hope we don't go back into old ways of years between service packs. I for one enjoy the frequent fixes - much better than those "Service pack" years of having to deal with crap for so long.
I wouldn't say you're happy about said problems. I would say you sound content with them, since you are refusing a policy that would directly address them. After all, restricting car usage in certain areas is the best way to eliminate the related externalities (congestion, pollution, accidents) in those areas.
Even then, it'd probably be fine if the passenger was (for example) a flight instructor.
For what it's worth, this is the problem GitLab Pages solves. A simple "git push" to a properly to figured repo will rebuild and redeploy your static site, the actual html output doesnt go into the repo.
So does that mean no one should ever dump into the very center of the circle (even if you're the husband)?
D-Wave offers the first public access to a quantum computer