skysight-inc/HackerNews huggingface dataset:
I've been a lifelong runner and a great psychological trick I've shared with people to help get you into your shoes and out the door is this:

"Have you ever regretted going on a run?"

Invariably, the answer is no. It's amazing how effective this is at getting you to just suck it up, no matter how cold it is outside, and get running. You'll be glad you did.
I'll take it as 'probably not'
I didn’t claim that it was not legal in Ireland, as that’s not the point. Google (and others like Apple) are multi-national companies which means they might not be following the letter, let alone the intent, of the law in other jurisdictions in which they do business by using this loophole. It’s definitively a legal grey area and everyone skilled in international tax law I’ve read on the topic agree. So saying it’s flat out legal everywhere is glossing over important considerations, and at best comes off naive.
Add in 1099s, and it would probably cover 99% of the population.

I'm happy to pay my taxes. I'm very much NOT happy to collect all of my information and carry it to my accountant. And then be afraid that I forgot something.

In fact, if its the accountant's lobbying against this, I'd be happy to pay $400 (what I pay for tax prep) into an accountant retirement fund or something, just don't make me collect all the information that the IRS already has.
It's honestly not that bad in my opinion. Most apps work fine, and those that don't are usually old games or something like that.

I've found an easy fix for them: Right click the executable and click "Properties" then go to the "Compatibility" tab you click the checkbox next to "Override high DPI scaling behavior". Then select the "System" option.

This way Windows 10 does the scaling itself. The app will just look a little less sharp because it will use a larger virtual pixel instead of the real display pixel size but the app will work normally and all text and interface elements will be a reasonable size.
I used to have anti-aliasing issues with linux. But since Debian/jessie it hasn't been a problem.
6 years later you don't just get to pay what you owed. There is interest to be paid as well. You can negotiate sure, but they could have just sent a pre-filled form saying "based on W-2 and what we already took out, here is how much you owe us, if you agree, sign, send the check and return it" or even better do it online.
The university is a ticking time bomb
The vexing question: Why does there seem to be no space in the market for an honest, quality vendor? As in Fastmail, Costco, or the pre-Amazon Whole Foods?

Are there so few customers willing to pay a truthful, higher sticker price that such a business cannot be sustained?
Windows 10 has virtualization based security which requires Hyper-V to function, sounds like that is being leveraged.
Edbee: Cross-Platform Editor with Multi Caret, TextMate Grammar/Themes Support
:-) #3 is me complaining about the Ribbon and I figured that discussion has been done to death so I left it out and forgot to renumber.
Precisely. But what we always tell users is that intent doesn't communicate itself on the internet, so the burden is on the commenter to disambiguate.
Nice tips ! I have been running for a couple of years now averaging 1000km / year.

I have a problem with keeping motivated though. I can prepare for a race for 3 months, then right after, I rest for 2 months, basically losing all progress. Anyone dealt with this successfully ?
It is still relatively simple because the conversion between Pathlib<->str is literally one method call (from pathlib, just call `str(pathlib_object)`, from string, just call `pathlib.Path(str_object)`.

I know this because I started a project using only strings and `os.path`, however when testing it started to become complicate to mock the correct paths so in tests I use `pathlib` (with conversions back to string when I finish path manipulation) and the code still works.
> updates mean nothing for security because over 90% of infections happen due to the user's actions

That’s mixing up cause and effect.
It’s a bit like saying vaccines are useless because 90% of people die from cancer and heart conditions.
Well good thing there is plenty of enough space to build 400 of them in a small area! ;)
IT costs money yes, but it's not like there is ZERO ROI. Just because the value isn't immediately obvious doesn't mean it's not helping the business and it's bottom line. I agree that certain aspects of IT you should try to minimize cost because the value add is minimal, or because throwing more money at that aspect of IT does not help the business. But other aspects of IT that improve efficiency of the organization or even multiply the capabilities of the business will give you a significant ROI. Just to put it into perspective, is Marketing your business exclusively lose you money? Obviously not. There is an ROI, but it's not always immediately measurable.

I'm sorry whatever education or experience had failed you in seeing this. The successful business will recognize the value of every department and attempt to maximize the return where it makes sense.

I agree with your other points. The entire business industry is on Windows. Almost all applications work on Windows or integrate with Windows. Most employees are experienced with Windows. the cost of retraining, the loss of potential talent, the cost of not being able to integrate fully with other businesses that are on Windows are some of the reasons why they are entrenched.

I have a finance degree, business degree, comp sci degree, and run my own business plus have worked IN IT at successful multi-million dollar orgs and the most successful focus on IT as well as other departments to push value add investment in those departments.
Just an FYI, for those of use in Europe that page just displays a message that they don't deal with the European Economic Area. It doesn't show the product.
In tech we talk about automation like it’s an inevitable thing but for as long as the cost of developing robots to do all of these jobs is much more than hiring humans it’s not happening. Even that stupid pizza oven Zune is all about won’t replace workers anytime soon.
Intent understood! It's a classic turning point in Internet history, and I think the massive rise in traffic to 400,000 queries per day is the perfect example of how much bigger things are today and how all those old paradigms are even more alive now than they were then.
Yeah there's no reason that in 2019 we should even have to file. Everything should be automated for 85% of the population and they just receive the bill. Only a small percent would actually need to file due to certain circumstances mostly by people that are using special business structures to minimize taxes.
Domain name records checker with IP info
The consequence of this means rights for union organizers to be on the job sites and access to other workers. There is a thin edge of the wedge strategy at play here. It's not just the cafeteria workers.

The opposition I have to unions at companies like Google is that the companies themselves are too politically powerful to have staff who in effect must to behave criminally to be terminated. When you look at the impact of unions in law enforcement and national security, they are almost universally recognized as the main enabler for the social problems bad individuals in these fields cause.

The amount of social harm a malicious Google (twitter, facebook, reddit, pornhub, etc) employee can cause is astronomical and the main thing keeping the worst %10 in check is the likelihood of losing their job. Literally thousands of people who can divert or sabotage the lives of others without accountability.

They already have enough privacy and political problems, but I would predict unionization spreading to their tech workforce would trigger divestment and a general market reduction of risk exposure to their businesses.

These companies are different, and a political artifact of the industrial revolution will have disproportionate unintended consequences.
Unfortunately, the IRS includes ignorance in their definition of deliberately.
can confirm but I use latex or nitrile disposable gloves. they def stay warm but also your fingers will wrinkle from the sweat.
That may be so for passionate and experienced runners.

I have certainly regretted going for a run (and broken off the run after a few hundred meters). Not often, but at least twice. It's no surprise that I stopped running some time after that.
favourite algorithm is left as an exercise to the reader. ;-)
LTSC sounds nice, but licensing it is not simple or inexpensive if you're just a normal person with a few computers at home.
He is. Today is actually his birthday, funnily enough :)

I would get super annoyed at his doing that when I was a kid and felt that he was hard on me for no reason, but man do I really appreciate that now. I still have lots to learn from that man.
> The "penalties" are just what you owed plus interest

Sure, interest after 6 years can accumulate into a nice penalty sum on top of what is owed. If IRS ends up owing you, and they discover it 6 years later, would they send you the refund with an interest as well? I am guessing they won't.
From: http://www.zo.utexas.edu/courses/THOC/land.html

(Apologies for miles instead of kilometers.)

> The total land surface area of Earth is about 57,308,738 square miles, of which about 33% is desert and about 24% is mountainous.

In [1]: total_land_surface_area_square_miles = 57308738
...: total_land_surface_acres = total_land_surface_area_square_miles / 0.0015625
...: non_desert_non_mountain_acres = total_land_surface_acres * (1.0 - (0.33 + 0.24))
...: acres_per_human = non_desert_non_mountain_acres / 7000000000.0
...: print '%f' % acres_per_human
...:
2.253052

So about two-and-a-quarter acres of "good" land per human. And...

> we have not allowed for any amenities such as highways, schools, hospitals, shopping malls, stadiums, agricultural fields, rivers, lakes, reservoirs, parks, golf courses, etc.
If you're in Canada I can't recommend SimpleTax [1] enough. Donation-based, so free or what you can pay. Was recently acquired by Wealthsimple.

[1] https://simpletax.ca/
You can have the irs figure out how much you owe if your income is simple enough. This is similar to a lot of countries just taxing you at your income sources and not requiring you to file a return. However, the American system has a lot of deductions, exemptions, status modifiers, etc... so you often need to pay less than that, hence the need for everyone to do tax returns.
"In 2007, Eric Cantor (a Republican leader) and Zoe Lofgren (a Democrat from Silicon Valley) had introduced a bill to ban return-free filing. Both received contributions from Inuit."

And Intuit did not lobby Republicans, it lobbied Grover Norquist.
75 days ago: https://news.ycombinator.com/item?id=21281411

6 months ago: https://news.ycombinator.com/item?id=20119916

8 months ago: https://news.ycombinator.com/item?id=19613725

9 months ago: https://news.ycombinator.com/item?id=19392673

2018: https://news.ycombinator.com/item?id=17751383

2017: https://news.ycombinator.com/item?id=13853150

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

https://news.ycombinator.com/item?id=9380232

2014: https://news.ycombinator.com/item?id=7595440

2013: https://news.ycombinator.com/item?id=5443203

I'm sure there are others...

The current submission passes the significant new information test, so we won't count it as a dupe. https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
My version of "run tall" is "pretend you're riding a pony". Your hips and legs are the pony, and your torso is riding it, and it works for me as a cue to remember that my torso should stay tall and upright.

Also when I get really tired, it helps me dissociate myself from the feeling in my legs because instead of thinking "ow my legs hurt", I can think "thank you, pony, for being so strong and working so hard for me!"
If you work in a tech company, you'll quickly realize that the food is something everyone focuses on to a disproportionate degree. This guy knows what he is talking about.
Maybe when republicans stop raising straw man arguments and misrepresenting democratic positions we can have a reasonable conversation about actual issues. Maybe.
> decades of (largely GOP) messaging that the government can't do anything properly

... which requires actively sabotaging anything that is being done properly.
Right? Not to mention the dongles break super easily and also I can't charge my phone and listen to music at the same time :/
I think you're grossing oversimplifying what goes into making each of these everyday decisions -- though they look simple. Misdiagnosing a cold when its ready a (deadly) brain/amoeba infection is easy to do particularly when the patient presents with vague descriptions of how they feel and 'where it hurts'.

The ability of an experienced professional to quickly decide these things comes after many years of hard-won skill building...
I'm gonna try not to focus too much on economics and politics, different schools of programming and all those raging debates, but instead channel that effort into work, friends and family.
And like I said, it's not a concern yet, but like many other things they start as not a huge issue on a small scale and then all of a sudden it's an issue.
Chaire o eschaton!

As per your request:

https://github.com/KedalionDaimon/LispForTandy
Running away is similar to child kidnapping (mostly done by parents and family members without active custody) in that we assume the worst when in reality there are certain circumstances that count but are much less bad than the conclusions you would immediately jump to:

Going to stay at a different relatives house or a friend’s.

Foster kids doing the same.

Going to live with a parent who does not have full custody.
Entertainment unions handle such things like health insurance and retirement funds. Most actors aren't millionaires. Having the few millionaires in the same union is good for the non-millionaires. Because it means that studios only get the in-demand millionaires if they provide okay conditions for everybody else as well.
The foam roller is a tool I wish I had used 20 years ago. Thanks for sharing these tips!
You mean 1040EZ? Because a 1099EZ doesn’t exist, I think.
One idea I though of in the past: if you have a very high income, your income tax rate can approach 50% (state+federal). If you donate appreciated assets to a DAF, and break the effects down by basis+gains, the numbers look like

- 50ish% back after deducting the given unappreciated basis,

- Selling the short-term gains would cost you half the profit, so the charitable deduction gets you roughly 100% of the after-tax profit from the trade back in your pocket.

(Plus the upside of sending money to charity.)

The math doesn't work out for long-term gains though, and obviously works best when the asset has appreciated strongly. Not sure about the legal treatment of partially-donated options spreads or other complex hedging tricks to manufacture these gains and offset them against a loss.

Not tax advice etc, all just guesswork.
> much less biodiversity, more pollution

There's not more pollution, it just seems so because it's more concentrated. The pollution per capita in major US cities is quite a bit lower than the US average.

Similarly, there's plenty of biodiversity in the spaces that people are leaving free by spreading less.
>will wrinkle from the sweat

that's true but benefits far outweigh that cost; primarily that you don't need to constantly wash your mittens.
Doctors, Nurses and the Paperwork Crisis That Could Unite Them
Care to mention any of these better options?
Until you want the latest version of some package like PostgreSQL that isn’t in the yum/apt repos, and then some time after that you have to upgrade the base os to plug new security holes.
> one of the proudest moments in my life was when I finally did outbox the heavy bag. I put a hole in the side where I my left hooks to the body hit. It probably took me 10 years to make that hole, and even though I needed to buy a new bag. I can't make myself throw away the old one.

Not going to lie: that's pretty badass!
> but being bought by Intuit seems to be a majority Republican thing.

That's not what the article says though. It says Intuit bought Grover Norquist, who then caused Republicans to vote against it (but not because of money they got).

And it says: "In 2007, Eric Cantor (a Republican leader) and Zoe Lofgren (a Democrat from Silicon Valley) had introduced a bill to ban return-free filing. Both received contributions from Inuit."
Wow! Not good for TurboTax
This is awesome. Would love to see some performance benchmarks on this tool.
Julian Assange – I’m slowly dying here
Along the same lines, there used to be three different tax forms: the standard 1040 form, then two progressively more simplified forms for people who didn't want to do itemized deductions.

Well, the GOP takes power in 2016, and declares that they will "reduce" paperwork by removing... the two simplified forms! Now everyone has to fill out the complete 1040, which is also now strangely cramped and calls out to a dozen different worksheets, since the GOP also wanted to brag about how the form "fits on a postcard", and it has to contort itself to use every square inch of paper. A miserable experience! I miss the 1040-EZ.
https://news.ycombinator.com/item?id=21384573
> Have more than one pair of running shoes with different drops.

I am skeptical of this claim. Most of us have heard about running in different shoes though.
Wouldn’t go so far as never. I’m going to go out on a limb and say Fusion power on a space ship will be viable one day if humanity survives long enough.
Perpetual motion is not hard at all. Satellites are in perpetual motion around globe for decades. It doesn't violate anything. Universe is infinitely old and still moving.

Perpetual motion _engines_ violate law of energy conservation, because perpetual source of energy can create infinite amount of energy, thus they are impossible, like perpetual source of water, or perpetual source of anything.
A running watch and strava keeps me honest.
Lack of punishment for bad requests make me wonder if a valid business strategy is DMCAing competition at every turn.

Also makes me wonder if people could DDOS an entire company with DMCA takedown requests.
I actually remember myself having to fiddle more with Windows than with Linux, in the Windows XP days. Windows would always invent some reason to require some reboot, or get random corrupted system files, or vcredist incompatibilities, or failed attempts at auto updates, or reinstall drivers for the mouse you just unplugged and plugged in a different USB port, or I don't remember what else it was with it all the time.

Linux (at least Archlinux) doesn't require much once you install it, are happy with the set-up and regularly update it.

Unless you're the kind of person who likes tweaking their Linux and trying out many distros, but if you do that means you like fidding with your system :) I personally just like an Archlinux installation that stays stable for 5+ years and actually use it.
But it's not open source. Why even bother to call it open source if it's not? Since the Solo is open source hardware if you don't like it, you can change the design and get your own boards cut on OSH Park.
Hi everybody,

I put it also here as per eschaton's request:

https://github.com/KedalionDaimon/LispForTandy
Like Tesla's decision to employ a door system that can't be operated in the event of electrics failure?

Or how the extra strong glass they use prevents emergency responders from quickly getting through in case of emergency?

Or unintended consequences created by instability and regression in Neural Network based self-driving systems after an OTA update?

It's happening every day; to not overly pick on Tesla, Volkswagen, Nissan, and BMW were caught cheating in one way or another on emissions. Takata using substandard materials in airbags.

Don't have the links on-hand, but these have just been a handful of what I recall over the last 10 or so years.

The problem I can't figure out is how to get people as in an uproar over something less dramatic than an aircraft crash to properly signal to industry that inferior quality is not acceptable.

This is all business as usual apparently. I never felt comfortable or like I was even a good fit in an environment where apparently success is gated by how much you can get away with not having to disclose, and how much scrutiny you can avoid.

It's actually caused me quite the crisis of faith as a contributor to industry in general. At some point, no matter what level I'm at, someone is going to make a decision to abuse something I put in place for them.

What exactly does that leave the responsible course of action as for someone who is opposed to furthering unethical business by facilitating it via automation? How does one effectively conduct themselves so as not to become an unwitting accomplice via obfuscating skeevy business practices through automating them? I'm not satisfied with the answer of "just do your part, and get paid, the chip is on someone else's shoulder". I've spent too long watching industry do what it does to be able to realistically anticipate any company doing things the "right" way by default. I simply can't entertain Hanlon's Razor anymore. Not when 2nd and third order effects of decisions are so rarely taken into account by those around me.

I sure hope I figure something out, or the new year is not going to be fun... Sorry for the digression... Your question has just been related to something that has been weighing heavily on my mind recently.
This book and the Coq proof assistant are what pushed me to learn Emacs. The 'coqide' application my class (CSE 505 at UW) used was not a good text editing experience. Emacs + Proof General by contrast were incredible.

It's important to have a solid on-ramp for beginners. I tried using Emacs for a Java project in my next class, but I never managed to set up anything as nice as the IntelliJ IDE. I'm sure setting up something nicer is possible, but first impressions matter.
I think a lot of people don't really want to download a piece of software made by the government.
Julian Assange – I’m slowly dying here…: https://news.ycombinator.com/item?id=21924081
> I've also been rewarded with unexpected large dollar figure checks in the mail.

But did they also send any interest? Notice if you owe them, you also owe interest, unless you negotiate. If they owe you, you don't usually get the interest sent do you.
Planck/Lumo for actual projects are really slow and I don't know why (0.5s of startup time). For some reason, the REPL is fast, and I didn't investigate why REPL is fast and an actual project is slow.
This is known as Airprox and I tried to report one a few years ago only to find only a pilot or air traffic are able to.
There's interestingly no correlation between reduction in injuries and stretching. Unless you have a training incident that leads to an injury, 'wear and tear' injuries likely come from muscle imbalances and activation dysfunction than lack of stretching.

A decent warm up routine may happen to involve some active stretching but that's through necessity of moving in a good range.

An example being people that flair their lower leg outward from the knee as they run being correlated to acl problems. People talk about tight calves, tight quads etc but ultimately its caused by a dysfunction of glute control which can't be improved via stretching.

Also a related side note, you should almost never stretch your hamstrings, especially if you are sat a lot. That compounds the issue you'll (and most of us) likely already have with long loose hams. Couch stretch hip flexors and strength hams instead.
Totally agree.

I just figured out the other day that if I turn the POE off at our offices from 12am to 5am, it saves us $500 a year and a little durability on the switches. It's not processing, but I guarantee it's a larger difference for us than dropping rounds out of encryption.