skysight-inc/HackerNews huggingface dataset:
This is an extremely unusual conception of epistemology, even for mathematics. This knowledge that is contingent on axioms isn't at all convincing. At the beginning of the 20th century, this was a raging debate. It wasn't quite resolved, it just didn't quite matter to practicing mathematicians so it kind of faded into the background.

There is a massive gap between 3 and the cardinality of the continuum. 3 is directly examinable. If I count some collection of objects, my fingers say, I will immediately grasp 3.

On the other hand, the set of real numbers is a highly pathological, abstract concept. Everything we know about the reals suffers from two severe deficiencies: One, it depends on infinitary axioms which presuppose facts about the phenomenon we would like to investigate. Two, even what we can infer from such axioms is always indirect evidence. That's not surprising: All reasoning about infinity is indirect.

In certain mathematical settings it is even true that the Cauchy sequence definition of real numbers and the Dedekind cut definition do not agree. At the very least, the reals isn't even a thing: there are many reals. That you say that "we know the cardinality of the reals" because we know CH is independent of ZFC is... preposterous to say the least. "If you assume you know the cardinality of the reals, then you know the cardinality of the reals; therefore we know the cardinality of the reals" is basically what such axiomatic acrobatics boils down to. Axioms are not knowledge.
What's probably more accurate to say is that a child's lemonade stand always required the same license, but the law was never enforced (as you point out the enforcement disparity that has always existed.)
I love Sugru, it works great. I don't care that it expires because I only buy it when I need. I know people that buy it in bulk because they use it very often. The loan out audio/video equipment and use it to reinforce cables and fix things. I've also found that it lasts well past the expiry, it is definitely a conservative date.
$166/week before taxes.

We consider that “employed”?

How can anybody live like that? I can’t imagine.

Housing would be out of the question, but not having housing would be every bit as unsustainable.

Considering the variablility in different prison or slavery experiences, I cannot help but wonder about the overlap in quality of life provided by one of these vs. $12,000/yr wage earnings in the contemporary US. While slavery won’t guarantee shelter, it does incentivize providing it. Prison even guarantees it. A $12,000/yr wage makes both food and shelter into a critical compromise.
The bloating is caused by the production of gas by the bacteria in your gut. If you add a lot of fiber at once, the bacteria will overpopulate, and produce too much gas, causing bloating/distension. One way to avoid this is to gradually increase the amount of fiber, so your microbiome will adjust slowly, allowing you to avoid the excess gas/bloating. Not sure what to say about the constipation, though it could be a similar issue.

These things are not simple, are they?

One strategy is to focus on the healthy veggies that your genetic ancestors likely ate; your body is more likely to be adapted to those foods.
Yes, US law, I am ignorant of Canadian IP law as it relates to employees and contractors.
I started reading this link and this sentence popped out at me:

> It’s a phenomenon that’s been used to explain atrocities from the Holocaust to the Vietnam War’s My Lai massacre to the abuse of prisoners at Abu Ghraib.

This sounds an awful like the sentence in the Lifespan of a Lie:

> It has been invoked to explain the massacre at My Lai during the Vietnam War, the Armenian genocide, and the horrors of the Holocaust.

We seem to be using a lot of these experiments to explain the same things ...
Medisas (YC W13) is hiring BDRs to make hospitals safer
Medisas (YC W13) is using software to make hospitals safer and clinicians more effective. Technology in hospitals is outdated, slow, and difficult to use -- most clinicians use paper, pagers, and hallway conversations to stay organized and on the same page. We are on a mission to change this and improve patient care.

Our product helps doctors and nurses effectively manage all their tasks and transfer crucial patient information, a workflow that is currently responsible for 80% of all serious medical errors. This equates to more than 350,000 deaths per year in the United States.

We are hiring mission-driven, ambitious, smart individuals for entry level sales roles. We are also hiring in marketing, customer success, and engineering. If you are ready for a big challenge, come join us!

--

Our product is currently being used in hospitals around the country, and we are backed by YC, Khosla Ventures, SV Angel, Andreessen Horowitz, and a number of prominent angels.

Visit medisas.com/careers or send us an email at careers [@] medisas.com; include a brief resume and tell us why you want to work at Medisas. We're looking forward to hearing from you!
+10 to Krav Maga. From a second person perspective:

My partner has been doing KM for 2-3 times a week for over a year now and since then I see clearer thinking, responding instead of reacting, better sleep quality, losing weight as her gains. I am inspired, while I play badminton 3-4 times a week for 3/4 to an hour to stay sane, needless to say she finds time to play with me!

@jnsaff, I would say stick to KM and kudos for cultivating such a habit.
I wonder if the rotary abrasion tool could be used to do double duty by putting the arm in the right position and spinning the tool at the right speed for harmonics to shake the panels enough to clear them off (provided the rover is on an incline).
If you follow the "normal" schedule of sleeping (i.e. you don't work nights or something), then this probably has more to do with the deeper stages of sleep being more common at the beginning of the sleeping session and REM sleep more common as sleep duration continues.

As a person who induces lucid dreams as a hobby, I sometimes manage to make use of those long lazy mornings on weekends to lucid dream. I've found it's very difficult to have a lucid dream in the first two or three sleep cycles. After that, it's much easier because the REM stage of sleep is longer. Not that I've found that having lucid dreams is easy, I get one day like that every month or two and a spontaneous one here or there in between.
If you don't mind can you share how your contacts damaged your eyes? I wear daily disposables almost everyday and sometimes forget to remove them at night... is that how you damaged your eyes?
I've started keeping a spreadsheet of things that slow me down or waste time at work. Each time I sense I've wasted time I add an entry describing what the time-suck was and how much time it cost me.

It's been very eye-opening, and a good source of guidance for corrective action.
I prepare close to 100% of my food from scratch, though not for health reasons, I just enjoy cooking. If you're cooking for taste, I find myself adding sugar/honey to compensate for produce not being up to snuff (hard with supermarket produce sometimes) with some frequency (maybe a couple times a week.) Most often I'm adding sugar to fix sauces made from fresh produce that turn out bitter or sour just because of the produce.

I can't imagine most packaged food companies are using amazing produce. I would bet that most packaged meals would taste terrible without some added sugar.
Less intensity, longer duration. Start by going for a walk each day and build off that. Walking uses your largest muscle groups and internally massages your spine.

Consistency over time is what will get you there. Exercise need not be exhausting nor even cardio intensive to be highly beneficial.

Take it slow. It will take 1 year+ for your joints to adapt to a new regimen. If you injure yourself you’ll erase any gains.

My bona fides are as a 10 year Brazilian jiu jitsu coach, 39 years old, shredded, feeling great.
Follow That Page, Uptime Robot
>im not saying this system is justified, im saying it skews our statistics. the US is like south africa-- a deliberately created class distinction between the rich and the poor which heavily skews along racial lines, but not always.

Well, at least we're openly admitting the US is a caste society by design now.
Many are moving towards entertainment. Restaurants, games, that sort of thing. It's a bit hard, though, as those typically don't need as much space as retail, and if they do they can't afford the rates retail could.
I was speaking from a US perspective.

What jurisdiction do you work in?
In fairness, plume discounts the hardware with a subscription, so the pricing is fairly competitive. However, I cannot see bothering with a subscription when the competition is at $85/access point and works without an account.
A great deal of waste? 25 years ago we thought that genomics would boost drug discovery and development. It didn't pan out quite like that but thanks to the Human Genome Project costs for sequencing have dropped to almost nothing, and we have learned a great deal about protein evolution. Talk about waste!
> What is the cardinality of the powerset of the naturals?

That question is better than almost every other question!
One of the worst things in terms of sugar is Coke and sodas in general, one can of 330ml has 7 teaspoons in it.

The only thing that prevents us from throwing it up immediately is the ascorbic acid.

This is an epidemic that needs strong legislation. The use of sugar, salt, and fat in food needs to be regulated otherwise it's an arms race for brands that just keep adding all 3 to their products.
Yea, I got a ton of warnings and had to straight up sign a paper saying I knew it could cause permanent damage. This makes me wonder if he just didn't pay any attention, or if he went to really dodgy surgeons.
Cisco Meraki came to mind for me as well, and the commercial benefits of security patching, a built-in Snort/Anti-Virus/IPS subscription, overnight shipping for replacement gear when we had a failure, etc. all add up to being a good subscription buy. I agree that home users would be foolish to go this route.

Subscriptions make sense when the cumulative value of the service offered increases over time. Where is the accumulation of value in Plume's offering?
If you're on HN, you should know that Google results are tailored to the person, not the search query.

The first Google result I got for the same query was the previously mentioned $19 dongle.
In addition to "pack" and "struct", for prior art (or inspiration), look at any number of structured fuzzing frameworks (Peach might be a good example); constructing arbitrary binary formats from a recipe is how you build a structured fuzzer. I built one a few years ago that pursued a sort of DOM model, with id's and classes and path strings.

In the other direction, given the ability to spit out one binary character from the shell, you can bootstrap all the rest of this in pure shell script. I cheated and gave myself int{8..64} and did a whole ASN.1/DER in shell script. The shell has better control flow than custom language (but the custom language is a little simpler).
Zoning can be an issue - there's an abandoned mall in Cupertino that's probably half a mile from the new Apple HQ. And to say it's prime land is an understatement - the entire area is desperate for new housing. Current proposal is for 2,400 housing units on the land.

But previous zoning proposal that were ballot initiatives got defeated (hurray democracy) and it's required a state bill to force the city's hand for zoning. (https://www.mercurynews.com/2018/04/02/community-reacts-to-d...) But still no agreement between the city and the developers.

I'm sure most malls will be trivial to rezone as cities would rather have something paying taxes rather than nothing but that's not the case everywhere.
Was there ever a stage in your development where you might have done something like that? This is a rhetorical question because we were all there at some point - even if it was age 8 with a first computer.

If people are displaying good intentions, and not wildly ignoring a load of clear instructions, then engaging with them will have a much greater chance of producing an educated, productive member of the community, and the more of those the better.
I second this. Fresh coffee tastes awesome. I've been using a $100 roaster for a while now, only recently having got into the habit of roasting all the time (previously I'd get lazy and buy a bag at the store pretty often, which would break the habit). I need to roast every 3 or 4 days, but it only takes about 10 minutes. I don't think my roast quality is quite on par with the $17/12oz (aka $1.42/oz) bags from the store, but it's still damn good, and only like $5/16oz (aka $0.31/oz, 77% cheaper).
One another imp factor I would suggest is to try experimenting with your sleep hours. Sometimes an extra half an hour of sleep can make a great difference.
If they didn't understand the implications (read: unintended consequences) then they couldn't know this could cause harm. What were they supposed to do, research shells for 2 weeks? Become expert Linux packagers in two sprints? Just to make an R installer?

And by the way, it isn't even that wrong. /bin/sh is the POSIX Shell Scripting standard and points to an interpreter thereof, of which /bin/bash is one. If a user pointed their system's /bin/sh at a non-POSIX-compatible shell, that's just a broken system. And scripts expecting /bin/sh to use non-POSIX semantics are broken scripts.

The only problem here is you don't know if the system has bash, but any sane person should assume bash exists on a Linux system.
Not sure if I will use it, but I like it. This is as close to raw bytes as it gets despite some HLL like features.

This to me is real hacking, saying what the heck and writing a tool for oneself instead of looking around and getting lost in the multitude of 'mature' options that exist. I am sure hacking this was quicker, and more fun, than browsing all the available options, picking one, installing the tools, learning to use them and getting the desired result.

Now, how long till someone decides to bootstrap this - use it to hack a binary that compiles it?
Federated merge requests are being discussed in this thread: https://framalistes.org/sympa/arc/git-federation/2018-06/msg...

It's way too early for a proposal, but if someone from GitLab wants to give some input, that's more than welcome.

Thanks!
Increasing property tax in general is less bad than this "unused or barely used" tax idea. That sounds like a good way to turn all old malls into flea markets. That is, big messy places where anyone can sell anything she wants out of the back of her van, for $5 a day. "Anything she wants" will include a wide variety of items to which neighbors will object strenuously. In addition to the unsavory sales activity, other unsavory activity will also take place. There's no way any taxation scheme will pay for the required extra policing.

I won't be surprised if we don't see this happen...
"I hate that" people think calories and weight is the primary gauge of health.

It's true weight is very often a negative health indicator because of the toxic nature of the diet that results in weight gain. However, losing weight is not always a sign of being more healthy.

Shutting down your liver, clogging your arteries, and generally filling your soft tissue and fat storage with toxins is not healthy even if you appear to be losing weight.
Failure doesn't mean "bad eye problems", it means any result other than 20/20 vision. So you could have better sight than before, but still be a failed case.
Well the backdrop to the Milgram experiment was actually WW2 and trying to understand what happened. It was a key motivation.

It seems to me that a lot of the seminal social psychology studies happen around this time ...
> This desperately needs to be peer reviewed by people who study the foundations of physics.

So someone like "As a theoretician, Gisin brought deep insights into quantum mechanics." (https://en.wikipedia.org/wiki/Nicolas_Gisin) ?
When the Industrial Revolution came around, society said 'theyre not even doing the work, machines are! The workers don't deserve more pay!' and employers were more than willing to progress to the point where entire families, children included, worked 16 hour days 6 days a week just to be able to feed themselves. Then there was the New Deal which basically forced employers to pay 600% more for their workers practically overnight (rough numbers, reducing number of workers per family from 4 to 1 and hours worked from 96 to 40).

Now with the computer revolution, society says 'theyre not even doing the work, the machines are! The workers don't deserve more pay!' and since 1980, wages have been nearly frozen despite astronomically rising productivity due to technology. It would make sense that this continues until families are starving. There may never be another New Deal, though, because when that originally came around you couldn't shut down any discussion of helping people just by whispering the word 'socialism'.
Coworking space?
???? I assure you, Mark Murcko (and others at Relay) are paid competitively to similar people in pharma.
Getting up 15 minutes earlier and reading during that time every morning. I've always been a big reader but sometimes I find it hard to pick up a book after work.

Even the small amount of reading in the morning allows me to make a little progress every day and more often than not I keep thinking about the book during the day and I'm more likely to pick it up at after work.
Windows 10, Firefox 60.0.2

Search doesn't do anything when I type a term and hit enter.

Gif: https://gfycat.com/ShortNeedyEmeraldtreeskink
All great points!
I think they fixed it since but I recall my last MBP had a wicked sharp edge on it. I used a different trick though, the same one you do when you use tin snips. You can burnish a sharp edge on metal objects. I took a round screwdriver handle and rubbed it on the edge at a 45° angle and it was gone.
The real cost occurs in Phase 2 clinical trials, where 70 % of promising-looking compounds turn out to be no better than placebo. The body is a complex system with a huge number of enzymes and feedback circuits, this outcome isn't much of a surprise then.

You can't blame the FDA. But thanks to Trump's "right-to-try" phase 2 will be a smaller hurdle now. Good luck, let's see how costs develop.
"C is magically fast."

The use of "magic" turns the viewpoint into a strawman position. Who thinks it is "magically" fast. Some, perhaps, but enough to consider it a view held by large numbers of programmers?

My experience is that hand-tuned assembly slows down over time relative to C, because C compilers keep getting more clever in what they optimize, and are able to handle new instruction sets with different timing profiles.

The text after "Line coverage is a measure of test quality" only shows that line coverage is not a perfect measure of test quality. It could still be an approximate measure of test quality.

The author writes "Programmers that comment on Hacker News or Proggit links are not a randomly sampled cross section of the industry. They’re better."

Is there any evidence for that? Or is that a myth as well?

Overall these are misconceptions that some programmers have, and mostly junior programmers at that. I was hoping for something more along the lines of https://www.mjt.me.uk/posts/falsehoods-programmers-believe-a... (for addresses) and https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-... (for names).
No, I'm referring to the US market. They have never been profitable overall but for a very brief period in 2016 they claimed that the US operation was profitable.
In our case the customer was interested in using Lambda as a proxy to handle logging data from a fleet. It involved a billion+ requests a month.
Zoning is a matter of negotiation with the city council. If you are going to bring literally dozens of new employers and hundreds of jobs to a struggling smaller town, and revitalize their old mall, I can just about guarantee they will cooperate, including developing a new zone just for the project if needed.
I can assure you that Microsoft isn't very good at making installers for their own software on their own OS that don't also have a lot of strange side effects.
I'm not sure I'd want to live in an old mall, but I could see them being purposed for office space. Parking is already taken care of, and most have bus routes already in place. The existing food court would be ready for new tenants. Other types of tenants could fill where other retail (e.g. clothing, toys) once occupied, such as a gym/fitness company, FedEx/UPS offices, office supply stores, etc.
Its 3 minutes today. It will be 3m 10s in two weeks. Do the exercises you can and stop when you are done like you do today (this avoids injury which can be the biggest routine breaker). You were out a long time, so give yourself some time to come back (that is, be gentle with your body and mind).

For now, just keep doing it. Don't expect quick results... various parts of your body need to start coordinating to this new change. Muscles that worked independently need to work together. Mind body coordination has to kick in. Repetition will breed familiarity and muscle memory kicks in - things get a little more manageable.
Nothing to regret? If he bought $5k of btc at $90 it would be worth over 300k, even after the crash.

Yall are throwing your conservative investment advice at everyone and backwards validating your risk-adverse behavior.
> Netflix has aspirations to do nightly news

I hope not, that has echos of Yahoo. It's bad enough their streaming library is so thin, I'd rather see more content there than create their own new line of content.
When I was a kid in the 90s, I remember malls being much more of a destination--they had big atriums with fountains and indoor trees.

By the early 2000s, when I was in high school, they were much more utilitarian. This was way before online shopping was killing their profits.

I'm assuming it had something to do with consolidation and the new owners trying to extract maximum short term profits.
I think the point of that is to show an order of magnitude. He could always give his stock away on a restricted basis. Same result, right?
When they game that regulation, then regulate sub-contracting. This is a cat and mouse game. The problem is, currently the mouse (regulators) - are dead.
Love too live in the VC mall, "The Company Town, But Tech!™".
CSS Grid Generator with support for subgrids, named areas and legacy browsers
"But why???" is the question I keep asking myself after reading each entry.
As someone with 4 siblings I'm going to have to disagree with this. Siblings aren't inherently good things to have in life. I know plenty of only children who have never wanted a sibling and plenty of folk who are largely indifferent to their siblings. It depends massively on the personality of the people involved.
Maybe they are part time? It’s “average worker” after all
“Counterfactual: Generalized State Channels” – Ethereum Scaling Solution
Actually there are non-computable numbers known that you can encounter. See https://en.wikipedia.org/wiki/Chaitin%27s_constant.
Social Media Analytical Tool Launching on Product Hunt
You've done really well!

6. Stop looking at HN?
I wonder how much they are buying those scooters from Xiaomi.
The argument of the author is not that the real numbers are poorly named, it's that the mathematical abstraction supposes physically impossible properties of the model. Therefore physics ought to be based on an abstraction that has more physically plausible properties instead of the real numbers.

Not that I necessarily agree with such an argument.