skysight-inc/HackerNews huggingface dataset:
And what about the ones we convinced to learn to code after losing their job mining coal?

Probably just deafening silence.
"Well that's impossible (see also the halting problem) so that's pretty clearly not good security practice."

No it's not. It's been done many times. The halting problem applies to a more general issue than the constrained proofs you need for specific, computer programs. If you were right, tools like RV-Match and Astree Analyzer wouldn't be finding piles of vulnerabilities with mathematical analyses. SPARK Ada code would be as buggy as similar C. Clearly, the analyses are working as intended despite not being perfect.

"Security is about identifying and mitigating specific risks. "

Computer security, when it was invented in the 1970's, was about proving that a system followed a specific, security policy (the security goals) in all circumstances or failed safe. The policy was usually isolation. There's others, such as guaranteed ordering or forms of type safety. High-assurance security's basic approach was turned into certification criteria applied to production systems as early as 1985 with SCOMP being first certified. NSA spent five years analyzing and trying to hack that thing. Most get about two years with minimal problems. I describe some of the prescribed activities here in my own framework from way back when:

https://pastebin.com/y3PufJ0V

I eventually made a summary of all the assurance techniques I learned from studying these commercial/government products and academic projects:

https://pastebin.com/uyNfvqcp

Note that projects in the 1960's were hitting lower defect rates than projects achieve today. For higher cost-benefit, I identified the combination of Design-by-Contract, Cleanroom (optional), multiple rounds of static analysis by tools with lower false positives, test generators (esp considering the contracts), and fuzzing w/ contracts in as runtime checks (think asserts). That with a memory-safe language should knock out most major problems with minimal effort on developers' part (some annotations). Most of it would run in background or on build servers.

https://www.win.tue.nl/~wstomv/edu/2ip30/references/design-b...

https://web.archive.org/web/20190428052851/http://infohost.n...

Meanwhile, the state of development for a major OS leads to about 10,000 bugs that even a fuzzer can find:

https://events.linuxfoundation.org/wp-content/uploads/2017/1...

Modern OS's, routers, basic apps, etc aren't as secure as software designed in 1960's-1980's. People are defining secure as mitigates some specific things hackers are doing (they'll do something else) instead of properties the systems must maintain in all executions on all inputs. We have tools and development methods to do this but they're just not applied in general. Some still do, like INTEGRITY-178B and Muen Separation Kernel. Heck, even IRONSIDES DNS and TrustDNS done in SPARK Ada and Rust respectively. Many tools to achieve higher quality/security are free. Don't pretend like it's just genius mathematicians or Fortune 25 companies that can, say, run a fuzzer after developing in a disciplined way with Ada or Rust.
Moes, a texmex chain in the United States, already does this. This firm provides the systems: https://www.nextepsystems.com/products/touchscreen-drive-thr...
in this case the system isn't youtube or the internet, but our broken copyright system.

Many of youtube's problems are caused by their attempts to alleviate increasing pressure from powerful media industry organizations like the RIAA and MPAA who insist that youtube must aggressively enforce their copyrights for them. I think youtube should do better than they have in their efforts, but I also appreciate their position.

The internet as a whole suffers in its own ways because of these company's abuse of copyrights to control our access to our own culture such as the inclusion of DRM in standards like HTML and the pressures placed on ISPs to act as copyright police and ban their customers from having any access to the internet based on nothing more than the unproven accusations that a subscriber has circumvented a corporation's copyrights.
We have those in New Zealand and they were initially awful - slow, hard to navigate/find stuff, actually missing lots of menu items. They seem to have swapped out the system now though and they seem to be relatively usable.
Show HN: Control Freak for Bitbucket Server (git pre-receive hook)
Here it is: http://bit-booster.com/hook/docs/

It's a free Bitbucket plugin. Well, freemium-ish. It requires you have Bitbucket Server running, which is perhaps not the easiest thing to setup, but Atlassian does give out 1-month free trial licenses, or you can use https://developer.atlassian.com/platform/marketplace/timebomb-licenses-for-testing-server-apps/ for a quick 3-hour license.

I would say I'm most proud of this:

remote: -----
remote: Push rejected new branch "release/v1.2.X".
remote: Commits on the new branch MUST arrive via pull-request,
remote: and the starting-point (2e633566324f9087e93c49b9b0c5fc35601d5add)
remote: for this new branch has never passed through a pull-request.
remote: -----
I honestly don't have a problem being persuaded into wanting something and being 'tricked' is either fraud or the wrong word. I don't agree that advertising is somehow a mind control technique. It is very effective, but being persuaded to do and not do things is part of how I want to operate. If someone makes a case that something is a good idea I'll go with it.

It seems to me that if an advertiser can convince me to spend money then I wish they'd done it sooner. I can easily imagine having bought my first smartphone after seeing an ad. It wouldn't be a trick.

Corporations are worth keeping an eye on, but governments are more unreliable, less governable and generally have larger professional military. And if a corporation acts it is usually in concert with a government.
"As in previous polling, the law [to dramatically increase the housing supply] is more popular with Democrats than with Republicans, with 76 and 55 percent support respectively."

https://sf.curbed.com/2019/5/17/18629809/sb-50-housing-trans...
Yet Another PC – Mac Video
Asteroid Discovery – 1970-2015 [video]
I don't think I could get that right, what does "only cheese" mean exactly?
So your point seems to assume that books have a fixed volume of pleasure inside of them, which we extract by reading? In other words, the greater number of books read, the greater pleasure derived.

My own assumptions are quite different, namely I expect that like most other pleasurable activities, you get the pleasure from the time spent doing it, but that doing more of it.

For example, if two people both spend 5 hours hiking, and one person hikes 10 miles and the other 15 miles, I wouldn't then assume the latter had gotten more enjoyment from his or her hiking. Nor would I assume someone that had eaten a meal with 1000 calories got more enjoyment than someone who had merely eaten 500 calories.
Imagine being suprised when big-government pinko democrats do big-government pinko democrat things and then continuing to elect them decade after decade while you hand them your livelihood on a silver platter. Absolutely shocking I say. Enjoy being a "3rd world country" California.

Seriously...are Californians brain damaged or something? What is in the water there?!
>It usually comes from a recession or a depression...

Don't forget crime and violence. Historically speaking those get laws changed quick. That said, I don't think rent control is going to have a very direct effect on crime and violence.
IIUC, AB5 might end up making Uber a monopoly in California (and US if other states follow suit) via regulatory capture.

Currently, most drivers seem to drive for both Uber and Lyft (based on their cars having stickers for both). But if classified as employees, and being guaranteed a minimum wage, then Uber/Lyft might require them to be exclusively available. As a result, the drivers will have to choose either Uber and Lyft and since Uber has more market share, they will likely choose Uber and Lyft will be squeezed out.

What am I missing/misunderstanding above?
Of course everyone told you to get a rent controlled place. The government is mandating your landlord gives you money, so why not take it?

The point still stands that rent control is a terrible way to keep rent down, it causes a ton of problems.
Surprisingly good performance for the C# implementation!
That’s FUD. It works great in other countries and if strict can give equal chances to tenants no matter your background.
It benefits the politicians who buy votes in favor of a one-time lump sum wealth transfer to renters.
I don't want it both ways.

In fact a land value tax could replace property tax in a revenue neutral fashion, and would incentivize development of property and density, rather than disincentivize those like property tax does.
> they are now advising a default annual increase of the maximum allowed (7 percent before inflation).

7 percent is a pretty high allowed increase. I suspect that it really doesn't do much except stop gouging in the case of someone who had really cheap rent in a place that gentrified suddenly.
My son is 11, he has a phone but no SIM card... its used purely for entertainment purposes. (mostly on car trips).

Next year he goes to high-school. I'm considering what he will and wont need in that scenario.
Stop making housing an investment?
Except in practice people can't find affordable places with rent control because nobody is willing to leave their below market rate place. The real problem with it though is that it does not in any way fix the root cause of the problem, which is lack of supply.
Everything outdoors needs to be fairly robust, and the kiosks would be hard to reach and painfully slow compared to any voice system.

I use them most times I go to McDonalds, but they’re always slower than it would be to just order if there’s no line, and worse, they feel much slower than they probably are.
Conflating LineageOS with forum sourced ROMs is FUD, and the vast majority of servers are run on software from the efforts of the "the community".
Do you really think healthcare in the US is a free market?

If you do, you couldn't be more wrong. Healthcare is the most regulated, least free market in the US.
It will take longer that people here have calculated. As you approach c the energy required to accelerate quickly rises. To reach c you need infinite energy.

Maintaining 1g of acceleration for a useful amount of time would require an extraordinary amount of propellant.

All of those estimates are tongue-in-cheek and are accurate if your energy expenditure is actually unlimited.
These are real problems with docker, but do we wanna talk about docker for Mac? A total performance disaster.

https://github.com/docker/for-mac/issues?q=is%3Aissue+is%3Ao...
Please hold on, we'll connect you with our teleoperator.

"Hello this is Lakshmi, how may I help you?"
That's actually a bit confusing to me, not sure if you're doing that deliberately. First of all the "Double Quarter Pounder with cheese" [0] would be the name of the sandwich. Also do you want to remove only 1 bun or both buns? I guess you meant "not the combo", so maybe saying "a la carte" would work here.

[0] https://www.mcdonalds.com/us/en-us/product/double-quarter-po...
Distroless is not non-Docker, it's very much Docker.
That was roughly the accuracy of the WiFi triangulation systems we looked at. And it wasn't accurate enough. The typical US office wall with metal framing studs is not quite 5" (127mm) thick, which would have been our worst-case (with the equipment touching the walls on both sides).
I think you should take your analysis a bit further. Freeing up human time by using machines is amazing, the issue is distributing resources - which is what Presidential candidate Andrew Yang's #1 policy of UBI ("Freedom Dividend" as he's branded it) will do - and paid for via a 10% VAT tax, so companies like Amazon who paid $0 in taxes last year can't avoid taxes. Allowing management, owners, innovators to maximize efficiency - allowing them to still be incentivized to do so, and simply taking a small portion - which is enough - and redistributing it to society will lead to an exponential increase in quality of life; the buying power of "$1,000" / month of UBI Yang wants to give every adult American will increase exponentially as automation replaces everything.
Someone please correct me, because with a planet that is at 111 light years away aren't we technically looking back in time?

Any type of observation was only a period Of time and any type of life used to be there, but may not be there presently?
IRC might be considered broken in a number of ways, but I find that every proposed replacement is broken in much more severe ways.
You are absolutely correct: rent control (1) increases upward pressure, and (2) decreases rental supplies (and therefore drives up the price of rent) , and (3) benefits high-income earners when not coupled with income limits.

(1) Since rent control laws put limits on increases (and not decreases) every landlord understands that he/she should test the upper boundary at all times to avoid renting severly below market rates during boom years. With sufficient landlords undertaking this task, rents should go higher than without this limitation. Moreover, the cost of moving is higher for the tenant (who has to find a home and move his/her property) than the landlord (who has to find a new tenant).

(2) real estate becomes less attractive builders and buyers, given the mandated constraints on charging rent. See https://web.stanford.edu/~diamondr/DMQ.pd. For a counter, see https://www.housinghumanright.org/wp-content/uploads/2018/11... (you'll have to wade through ad hominem attacks).

(3) high-income earners tend to benefit the most on rent control over time. As market rates for rentals increase (i.e., property up for rent), only higher-income individuals can afford to move in. Over time that leads to the displacement of lower-income individuals. Anecdotally, I can attest how some of my high-income earning friends pay very little for housing in SF because they locked in rates before 2011.

Lastly, pro-rent-control reports/papers I read highlighted the need for a comprehensive housing strategy beyond rent control, like increasing rental supply by making it easier to build ("It is also critical to recognize that the need for reforms extends beyond rent control and housing policy more broadly ... This includes developing new funding sources for affordable housing development and addressing exclusionary zoning policies at the root of the displacement crisis, https://haasinstitute.berkeley.edu/opening-door-rent-control). As the article already mentions, Scott Wiener's bill to override local zoning laws was shelved. The CA legislature did not have the stomach to address the underlying cause.

A far more sensible solution (IMO) is: (1) override zoning laws / ordinances that prohibit building more homes (2) tie rent control to income.
I live in the EU, and as such am pretty much nameless for any Google employee. It's not like they would disrupt my personal life. Automated reading however, scales. The damage to any individual is lowered, but it is also multiplied by the number of users. Reliably so.

And now they have a mighty powerful pattern matching machine, they can easily ask more than where I could possibly spend money. They could ask for my political affiliations, or my sexual orientation, my social network (who knows, I may be related to the second or third degree to some nefarious terrorist?).

That last one is very worrying. Especially since recently, my country (France) is being eerily harsh with political opponents. I've just read a story about a journalist (whose income happens to come from YouTube & donations), who is being judged for… gang theft (the pun also works in French), risking up to 75.000€ in fines and 5 years of imprisonment, just because he covered the unhooking of a 8€ portrait of our current president in a Town Office (which usually have president's portraits, but this is not mandatory). Unhooking, they reportedly did not even take the portrait.

So yeah, I'm more and more worried about giving our governments the means to apply their increasing insanity. Sure, having an individual reading my private email is unacceptable, but that risk is getting smaller and smaller, in comparison, to the mass surveillance that automation enables.
Gives me money? What?

So arbitrary rent is a much better way to keep rent down? Come on...
To me the danger sign is that, if you’re doing anonymous donations properly, it would be impossible to solicit them. I mean, you wouldn’t know who to talk to! If the donor visits the institution, it’s just some random person with no reason for special treatment.

If there was an arms-length “anonymous fund” that people could donate to without even the development department knowing who they are, that would be the only way to have truly anonymous donations. And then I think the moral argument would make perfect sense.
Sorry, yeah, definitely was very poorly worded. I meant to say:

From what I know from reading on Helios-A and Helios-B, we already have a probe which can go over twice the speed of what I thought I saw the comet is traveling at. So couldn’t the probe match its velocity (dunno why I said Delta V before) to the comet, if even just for long enough to land without total destruction?
The only existential threat to Uber is how long it takes self driving cars to become a reality. Human drivers are a speed bump in their business model. It only affects the length of their runway and thus when they intersect with self driving cars.
Not really: indexing out of bounds without this check would invoke undefined behaviour. A compile time flag would not be able to distinguish the cases where a bounds check is required for the program to be correct, from the cases where the index is provably within bounds and so is unnecessary.

Who wants a compile-time flag that makes valid programs have undefined behaviour? Nobody, especially when you consider that UB in any language really does mean undefined: in the best case the program crashes, in the worst it deletes all your files.

What's wanted is a way to tell the compiler "no, in this specific case which I have determined to be a bottleneck in my program, I want to omit bounds checking because due to XYZ it's impossible for the index to ever be out of bounds" and that's exactly what this method provides.
Of course you contradict yourself, the Celts cannot be Britain's indigenous people according to the article itself.

There were movements of people, and movements of culture, which could be separate, but Celts are late Indo-European arrivals to the British Isles, either directly from the Celtic heartland in Germany, or indirectly along the western coasts from Spain.

The Celts just happened to be the culture in place when the first accounts were written by the Greeks and Romans. So they have self-appointed themselves to be poor down-trodden invaded brutalized indigenous people - but they were just the previous wave of ruthless invaders!

There were people in the British Isles 10s and 100s of thousands of years ago. Britain was wiped clean by ice ages and repopulated. Britain was connected to Europe by a land bridge, etc. etc. All this long before the Celts turned up.

https://en.wikipedia.org/wiki/Prehistoric_Britain

There is no Celtic presence in Britain before about 500 BC. Stonehenge and Guadalperal are much, much too old to have been built by the Celts. Celtic druids did not build Stonehenge.

https://en.wikipedia.org/wiki/Celts
I mean, we're already talking about getting humans to another star 111 lightyears away; I'd assume by the time we're ready to do that we'll have figured out how to mass-produced nanotubes or something.
Have you looked at the rents in SF? It is pretty insane.
Yea! My next prospective smartphone is doubling down on Matrix: https://matrix.org/blog/2017/08/24/the-librem-5-from-purism-...
Ask HN: What are things I can learn within 1 hour that will make me a better SE?
I'm a self taught developer that has been working in the industry for a couple years now. I was pursing a part time master in CS but decided to take time off from the program due to the time commitment. I have about a solid hour each day that I want to allocate to learning new things that will make me a better developer. What should I learn? Also how can I break down larger concepts into chunks so I can digest them an hour a day.
Just get a Google phone number. My Google phone number is secret and non-port-able.
Flash developers were fine since the tech market was still expanding rapidly, so they could learn new skills. What happens when the market is no longer growing, and workers become obsolete since their job is automated away?
Late 90’s? More like late 80’s. I think my first IRC session was in 1991.
I just want to be able to save a container binary to a USB drive and then run it from a different computer without having to install anything.
Astonished to see it perform so much faster than Ocaml. I had to double-check to see that they compiled a native binary (ocamlopt)

https://github.com/ixy-languages/ixy.ml/blob/master/app/dune...
The local Mickey D's put in a couple of tall touch-screen systems that I found surprisingly difficult to figure out. The touch screen was slow to respond -- nothing more frustrating than tapping a glass screen and wondering why nothing happened -- and the decision path didn't make sense. I suspect whoever designed it had one kind of user experience in mind, then it was modified by a different group to change the UX, leaving it worse than before. Anyway, I notice that no one uses it, and I visit frequently (it's so close that I often drop by to get the $0.99 coffee, and now my 14-year-old has started working there).
We're already at unsustainable YoY rent increase levels in many places IMO. I for one have no problems moving if my LL decides to increase my rent ANY percentage. I know that over the course of my next lease I will always be able to come out ahead by hundreds if not thousands of dollars for the same price I'm currently paying and for sometimes better place.
This is one of the parts of Apple's Human Interface Guidelines that I appreciate the most when I use other operating systems, in particular Windows.

> Give alert buttons succinct, logical titles. The best button titles consist of one or two words that describe the result of clicking the button. [...] To the extent possible, use verbs and verb phrases that relate directly to the alert title and message—for example, View All, Reply, or Ignore. Use OK for simple acceptance. Avoid using Yes and No.

Suppose opening a document gives me an alert that says, "This document contains macros. Macros may contain viruses that could be harmful to your computer. Do you want to disable macros before opening the file?"

With simple Yes/No buttons, I might hastily jump ahead after reading the first sentence and think that affirming the dialog means, "Yes, I know it contains macros."

Or I might hastily jump ahead after reading the second sentence and click, "No, I'm scared, don't let this malware infect me."

Or I might mistake it for another pop up that happens all the time and also has Yes/No buttons, and not realize until it's too late that I've accidentally enabled macros.

Yes, users should read dialogs, but good UI design can help.

https://developer.apple.com/design/human-interface-guideline...
There's some weird legal implications that I know that I don't understand.

I see this all the time where a large ownership company will leave apartments or commercial real estate totally unoccupied rather than allow a cheaper rent.

I don't understand what they gain.
The McDs touch screen location in Union Square is the most annoying thing ever, it's very slow, oddly hard to understand, and if you want mostly diet coke with a little root beer on top, you can't order it.
Hear this? These are the tenants that would have had to move out because they made the mistake of not moving in a rent-controlled place.
Panera has a great touchscreen experience.