skysight-inc/HackerNews huggingface dataset:
Yeah this guy is pretty crazy with the automation and keyboard shortcut apps, I mean 3 different apps for automating keyboard shortcuts or other automation ?

I mean it's a good idea, but I prefer simplifying my own workflow so I can perform it without any external apps. I used like the idea of automating setting up a workspace, but now I like just to open up and close whatever I need at that moment, it really goes into your muscle memory after a while.

Only thing I really customize is my programming environment, my vim setup is highly customized, also shell functions. But each to his own :)
Well, what are your thoughts on the 'Write fewer tests, faster' section of the article?
Well, I do run a content blocker on macos/IOS which turns off all comments on all websites, but that's a trifle limiting.

What annoys me about reddit comments are the pun "trains," endless reruns of old reddit jokes. Every conversation is swamped with these comments, perhaps deliberately, to drown out unpopular opinions. No wait, the Pao era introduced mass deletions instead.
I like leaving some RAM for my browser to chew through.
There is no fraud, people running the websites have zero say in how I choose to browse the Internet, even if it means automating ad clicks as a means of protest. I could be doing the same manually, but why bother?
Looks like a trash bin, haha.
Restore one-click certificate viewing in Chrome
Although car rental is well overdue for some disruption, I don't really see how Uber overlaps with it. I typically rent a car if I need to go long distances for multiple days, typically to remote areas where Uber doesn't serve (I currently write this from the Piedmonte mountain region of Italy).
Android Oreo vs iOS 11: Comparison you should know about this
Not to "umm actually" your excellent story, but rock climbing is not that dangerous. It's about as dangerous as driving, which people do all the time without even thinking about it. Mountaineering is where the danger is there, primarily.
Lady Gaga doesn't wear a meat dress just to stay warm. Just think about the craftsmanship behind the dress. It's art that is elevated, transcended beyond mere mortal concerns of food.
Firefox: https://addons.mozilla.org/de/firefox/addon/adnauseam/
> Though several I may pick, like the Focus app and maybe a few others.

And when you're used to those apps, you might pick up a few more here and there. And a few more. And in a while you'll have a list just like the one linked.
No, I don't think that can happen.

He's far too controversial. To say the company isn't profitable is understating things: it's a money fire. If you brought back Travis now, the VCs would walk away and stop putting money into the fire. New VCs might show up, but the terms for getting more money would start to get exorbitant, and Uber's spiral to bankruptcy would be a slightly shorter one.
That is partially what I was referring to.

The other part, which might not be visible on that video is the integration of debugger into the REPL, and the ability to redo a piece of code after breaking into the debugger and fixing it.

So you can do something like, REPL => error (ask to start debugger) => track down and fix error => restart error expression => finish the execution of the original REPL expression with the respective result.
It's absolutely correct to draw an hard line between VR and AR.
The first one is just a limited technology that has seen some attention just because AR is still not ready today.
AR is the bright future, VR is just a gloomy present.
Why isn't eating cheeseburgers or watching television banned?
Is this anecdotal or does research saying this exist? I know this is conventional wisdom but I've wondered about how true it actually is after seeing a few counterexamples.
There are significantly different levels of bioluminescence. You see some regularly. Occasionally it's truly glowing. Once I saw it at incredible levels. I was fortunate to be with friends and a spot we could swim. We were diving from about 3m above the water and watching our bodies go through the water leaving these tunnels of glow. If you were the diver and looked back your skin was glowing. Very cool and I can suggest everyone getting this experience assuming usual safety is covered.
I made a thing to play around with it online (it uses dasm) http://requirebin.com/?gist=348a0d28a6ee1c2907106b40f7d19d99

Or you can just view the output directly: http://requirebin.com/embed?gist=348a0d28a6ee1c2907106b40f7d...
Not to be confused with "controlled flight into terrain".
Bosch is still the best after 130 years.

(I worked for the world #2 supplier that's been trying to catch them for 50 years)

https://en.wikipedia.org/wiki/Robert_Bosch_GmbH
Not Shinjuku, but a few months ago I was in Odaiba and had plans to book in for this place on short notice - sadly it was all booked out.
https://project-ican.com/en/vr-zone/

Thirdhand, but my friends have told me it is really worth it. Odaiba is known as a popular dating spot - so it isn't hard to believe that they regularly get fully booked out for something new like that.
Installing Kubernetes on Ubuntu
Teleport to move" is horrible, and sucks the feeling of immersion right out of the VR experience

But consider the old 8-bit game Sentinel. https://en.m.wikipedia.org/wiki/The_Sentinel_(video_game)
Yeah. I've started doing this. Warning though, make sure to use a private repo. It keeps two my macs and Linux systems all in sync.

I knew someone who accidentally uploaded their AWS credentials to a public repo; that was a huge shitshow.
Logic is mostly not about the semantics of natural languages, because even very simple sentences depend on a large amount of implicit information. Consider the case of computer vision, and how no one gives a formal definition of objects that should be recognized. Instead, they throw lots of data at a neural network and hope it learns the right thing.

If you really want to apply formal reasoning to philosophical issues, you will need an understanding not only of elementary propositional logic, but also of higher order quantification, formal language semantics and probably modal logics and probability theory.

If that doesn't discourage you, let me try to help you over the bump that is material implication.

Consider the statement "If it's raining, the sky is cloudy." (And ignore any counterexamples that come to mind.) Everyone seems to get stuck on the case where it's not raining, and the statement is true regardless of the presence of clouds.

Now treat the statement as a general rule instead, and make it's time-dependence explicit: "If it's raining on a certain day, the sky is cloudy on that day."

On Monday, it rains and the sky is cloudy. You look at the rule and see that it agrees with reality. The opposite rule "If it's raining on a given day, the sky is not cloudy on that day." is wrong. (Hopefully that's obvious.)

On Tuesday, it doesn't rain and the sky is still cloudy. You look at the rule and realize that it doesn't have anything to say about your situation. That means it can't be wrong, so the rule must be true in this instance. The opposite rule is also right in this instance, because it doesn't say anything either (but it has been wrong before).

On Wednesday, it doesn't rain and the sky is not cloudy. Both rules are also right about this day.

Now, when we state a rule, we usually mean that it always holds. (This is called universal quantification and you will learn about it when you continue studying.) Since the first rule has been correct in every instance so far, it is simply called true. The second rule has been wrong once, so it is disqualified forever, since a rule that's sometimes right and sometimes wrong doesn't give you any certainty.

And what about rules like "If [something impossible], then [something ridiculous]."? Since their conditions are impossible, they never tell you anything. They are the same as saying "". That's useless, but not wrong.

EDIT: If something I wrote is incorrect, or you think it's not helpful, or not expressed clearly, please tell me! I really want to get better at writing explanations.
Yeah... or the owner just appreciates horology and the cost is less meaningful to them because they are wealthy. I own a cheap mass produced mechanical watch. Its about ten times more expensive than the cheapest Casio with date and time. But that's not a lot of money to me compared to the pleasure of seeing the mechanism work as I drink a coffee and start my day. Mechanical time is a good remi der time is passing in the real world. The abstraction is closer to your own existence because of the motion. There is more to the experience of owning a thing than the thing itself. Computers are wholly uninteresting devices for calculating flips in bits, pushed and marketed by the dreggs of capitalist society. No normal person needs enough computation to model nuclear explosions in their pocket. Obviously.
No systemd and dwm as the default window manager? I’m sold!
It's not a "myth". Germany holds a disproportionate market share in heavy industrial equipment and their higher end cars are second to none as far as ICE cars are concerned. Every time I pop the hood on my BMW to top up the windshield fluid, I can't help but admire just how "right" and uncompromising the engineering is. You can tell no corners were cut. That is a very rare commodity in this day and age.
Yeah, not human-powered at all. Gravity powered, like any other glider.
Ripple Surged 70% to Become the Third Most Valuable Digital Currency
Just don't try and change anything on the flight after booking. I had to cancel a flight and although Ryanair won't refund you the ticket price, they will refund the taxes. However interestingly their administration fee for the refund was exactly the same as the amount of taxes I was due to be refunded, so I got nothing.
Thx! Feel free to create a PR if you found models not on the list!
Precisely. They are both art and engineering -- that's the point. Generally, the art aspect consists of the aesthetic restrictions you've placed on your engineering efforts.
OTOH it's pretty rare that I have a load of 4.6kW in my flat at any given time. Event 1kW seems a lot as a constant load - that would require me to run the hoover, washing maschine or the stove at full power and I rarely do that for hours on end. I haven't run the numbers, but I would guesstimate that 18kWh of electric energy get me a days worth or even longer.
Yeah. I've started doing this. Warning though, make sure to use a private repo.

I knew someone who accidentally uploaded their AWS credentials to a public repo; that was a huge shitshow.(btw, don't put cress in repos at all, but at least a private repowill give you a buffer)
He's recommending Clean My Mac. I am a bit out of my medium on Mac, even though I use it 8hrs a day, but I was under the impression Clean My Mac is little more than bullshit, albeit with very effective and somewhat shady marketing practices.

Do the more expert Mac users in HN recommend it?
Not sure what you mean about YNAB "getting away with it" - if you check the forums/reddit etc. you'll find a lot of their users are very unhappy about it.
If you're taking about the EU "cookie law" then it is neither about cookies nor about third party data. The summary is you can store data if they support the primary function of your site without the popup. E.g. you have a shop so you can place a cookie to track the cart but not cookies related to tracking what your user looks at. Despite the name the law is generic about data stored on users computer so cookies, local storage, etags, all are covered by that.
> Why should it be?

Because someone one has to clean up the mess. And it wastes the coroners time.

I'm not saying I agree that it should be banned, but those seem like two obvious angles.
(PD: I meant "in the original paper".)
It's Okay to “Forget” What You Read
is 1080×1200 per eye just not high enough (considering the wide FOV)?

But that's more pixels than your retina has photoreceptors when you consider full colour (6M but it takes several of them working together to form a "pixel" equivalent)
Junest is so useful if your project requires recent compilers or libs and your contributors are under some old Debian Stable or Ubuntu.
Six hours late on this thread and I can't see anyone calling out GoPro and friends:

>Five days earlier, the GoPro star Uli Emanuele, 29, died when he crashed in the Dolomites of his native country, Italy.

Freedom for these people (mostly young men) to die is one thing.

But part of GoPro's profits are knowingly built up by a quasi-suicide cult.

That's not that different from dealing heroin.
First of all, logic is a game. A game in the same sense that algebra is a game. Allow me to give you a very simple analogy.

AC circuit theory and quantum mechanics require the use of complex numbers -- that is, the square root of negative one. In a very real sense, taking the square root of negative one sounds incredibly stupid. In fact, imaginary numbers were a very divisive issue when introduced (not unlike negative numbers before them). What does it really mean to use i? What does i map to in the real world? We're trying to calculate voltages here.. does it make any sense?

Well, probably not. I could start talking about how i sort of extends the number line in the second dimension, and so forth, but that would only move the goal post (what about hypercomplex units j or k or l ... ? ). So that's why the best way to see sqrt(-1) = i is as a rule.

Second of all, material implication is also a rule. There's nothing to connect to the real world. The problem with logic students is that they often don't understand the differences between abductive, deductive, and inductive logic.

You mention atheism vs. religion (I assume you mean theism vs. atheism, as you can presumably have some kind of religion without a deity). When trying to win this kind of debate, you first need to pinpoint what kind of argument you're dealing with. If, for example, you're dealing with an inductive argument, the rules of deduction will not hold -- especially a rule like material implication[1]. I think that your problem is trying to apply formalisms built for one kind of game to another kind of game. Natural language is not logic. Just how Chess is not Checkers.

Going back to material implication for a second, what really made material implication "click" for me was studying the Deduction Theorem[2]. This is, of course, a bit more advanced, but understanding MI from a "provability" perspective really clarifies why it's so obviously true.

[1] http://ac.els-cdn.com/0888613X94900027/1-s2.0-0888613X949000...

[2] https://www3.nd.edu/~cfranks/dt.pdf
Subscription pricing requires the app to be so crucial you can‘t live without it.

Photoshop, IntelliJ, MS Office — these apps can charge whatever they want, people just really need them to get their work done.

But if your app is a simple news reader or a markdown editor or an activity viewer — you‘re gonna have a hard time convincing people to pay for it every month.
As one of the issues with VR has been (still is to an extent) the "screen door effect" which means being able to see the gaps between the individual pixels of the displays I think it's safe to say it's the low resolution.
I find it quite sad that Apple was one of the leading companies selling ergonomic keyboards, and what they sell currently is anything but ergonomic.
And how are they to 'go pro' if there is no business model to be a professional journalist / researcher / reporter / documentarian?

I think you believe we can get all our content from local, interested bloggers. We can't. There is no filtering and no curation. There are no stakes in telling the truth because no one has a business to defend. Pulling information together and filtering out the rubbish is long and arduous and it's work. That's what journalism actually entails, not the writing part, which is fairly trivial.

But yours seems to be a typical HN response. "People feel this is important to do without being paid, therefore we should not support them as a society". It is an attitude I cannot comprehend. Something is important to our civil society - why not make doing it a viable living?
I think you might enjoy "In Search of Memory" by Nobel Laureate Eric Kandel (pdf linked below). He provides an entertaining and informative narrative documenting the history of neuroscience (a history Kandel himself heavily influenced). Kandel also wrote 'Principles of Neural Science', a 1400 page tome that some regard as the neuroscience bible. If you are more interested in the latest happenings, run a google scholar search for articles by Huganir, R.Nicoll, or R.Malinow (Malinow had an interesting paper recently called 'Engineering a Memory'). Or if you are interested in neuro methods look up whats been done in the Karl Deisseroth lab.

http://evolbiol.ru/docs/docs/large_files/kandel.pdf
YNAB 4 is also a pay-once desktop app. The subscription service is usually referred to as "New YNAB". It's kind of YNAB 5.
> I'm not being alarmist at all. Just repeating what the experts are saying. Regardless of whether your bayous and drainage are working as intended, they weren't designed for this magnitude of disaster. Downtown Houston is underwater as I type this.

You are being alarmist, and this kind of armchair disaster cheerleading is infuriating. Stop it.

There are no "experts" saying buildings are going to start collapsing, or bridges, or major roadways.

Downtown Houston has flooded many, many, many times. It always has. It is built to flood.

Almost no one, aside from actual civil engineers who work there, has an accurate understanding of how floodwaters in Houston arrive, accumulate, and leave. Long-time residents have an intuitive understanding of how things behave. They've seen all this before, just not everywhere it is happening today and all at once.

You, and everyone else, should STOP REPEATING INTERNET "facts". It is misinformation, and misinformation can kill people.

Thanks for your attention.
Powerwall is very expensive too. It would cost well over 10k to install 2 modules that their website says would be adequate for my house. I pay something like $100/mo for electricity. Do the math. Solar is way too expensive as well, even with subsidies.

I don't know who their target market is. Is it only for people who can't count?
He seems to be a student, so he's still in the tinkering phase :)
It's fun because directly above the Textexpander comment is Day One, and directly below it are 1Password and Ulysses (all 4 apps have almost same subscription model).
I can also vouch for Miele appliances. Though they've lasted for over 20 years, which means the company might be producing crap by now for all I know :)
Agreed. I prefer being more minimalistic. For example, he uses VS Code, a separate markdown editor, a separate markdown previewer, and a LaTeX editor - but VS Code has a markdown mode built-in and can show markdown previews, and I'm pretty sure there are LaTeX plugins for it too.
I follow a similar procedure for an open source community project in Ruby on Rails. There are a fair amount of rare things that need to get done where it's just easier to do them in a reply on the web server. One of the admins of the community actually learnt enough about the rails DSL to write basic queries through the reply and do some of the things I usually would.
That makes sense. My app[1] is currently priced at $20. The way it's used, it can't be right to limit users with pro features.

I can either increase the price or go the subscription way. If I do increase the price, I'm afraid, it might put people off.

Maybe I can try a hybrid approach. $60 for lifetime or $20 a year.

[1] https://thehorcrux.com/
Best Linux Apps for Advanced Users and Hackers
WordPress Maintenance Services and Companies Roundup and Comparison
For uninstalling applications it is quite useful. By default macOS applications still do not have a good way of defining which files belong to which application and when you simply remove the .app file a lot of crap stays on your computer. It has also handy tools to remove developer cruft one accumulates.

MacPaw is actually quite respected as a developer. Enough so other developers trust them to steward the "Netflix for apps" Setapp.
Definitely. Waiting for those experiences that you can _only_ create in VR, not something that tries to replicate the previous things just in VR.

This will take some time, but once we get there, I will feel we will find some exciting things .. working on one such experience myself :)
http://www.guninski.com/qmailcrash.html

http://www.guninski.com/where_do_you_want_billg_to_go_today_...
They have rather aggressive marketing tactics for sure, but I've installed it the other day, ran it, and it freed up almost 70GB on 512GB driven to 90% capacity. App looks and works professionally.
This reminds me of Freeman Dyson's research on British Bombers during WWII -- the data showed experienced crews didn't fair better than novices, but they didn't figure out why till after the war.

> Bomber Command told the crews that their chances of survival would increase with experience, and the crews believed it. They were told, After you have got through the first few operations, things will get better. This idea was important for morale at a time when the fraction of crews surviving to the end of a 30-­operation tour was only about 25 percent. I subdivided the experienced and inexperienced crews on each operation and did the analysis, and again, the result was clear. Experience did not reduce loss rates. The cause of losses, whatever it was, killed novice and expert crews impartially. This result contradicted the official dogma, and the Command never accepted it. I blame the ORS, and I blame myself in particular, for not taking this result seriously enough. The evidence showed that the main cause of losses was an attack that gave experienced crews no chance either to escape or to defend themselves. If we had taken the evidence more seriously, we might have discovered Schräge Musik in time to respond with effective countermeasures.

...

> the German pilots were highly skilled, and they hardly ever got shot down. They carried a firing system called Schräge Musik, or “crooked music,” which allowed them to fly underneath a bomber and fire guns upward at a 60-degree angle. The fighter could see the bomber clearly silhouetted against the night sky, while the bomber could not see the fighter. This system efficiently destroyed thousands of bombers, and we did not even know that it existed. This was the greatest failure of the ORS. We learned about Schräge Musik too late to do anything to counter it.

https://www.technologyreview.com/s/406789/a-failure-of-intel...

The wingsuit jumpers consider possible dangers to lie with complacency of experts on easy flights, experts envelope pushing, or novices jumping unprepared. But these factors are all so contradictory that I'm left wondering if there is a hidden risk that affects novices and experts alike.
My parents house loses power often when it rains. They just bought one as a house-scale UPS.
I still like it, but I'm starting to see a lot of things that are obviously incorrect. For example, facebook.com uses Google Analytics? Hacker News uses React? Most sites I check out have obviously incorrect technologies, so I don't know which ones I can trust. Unfortunately that makes this tool pretty much useless.

Once you've fixed this I'll be sure to use it regulary.
I personally prefer to develop by writing small functions and pairing them with a small test. Hacking in a REPL environment, saving the result and calling it source code has not worked out well for me, I end up producing spaghetti :)

I do however find REPL to be invaluable when experimenting/doing research. When you don't even know what the end result is, or when exploring data, you need to iterate over many ideas as quickly as possible and REPL is the fastest way to do that.
The Nazi prisoners bugged by Germans (2013)
There are a lot cheaper options for a house scale UPS if they have natural gas. Fully automatic, and can run for days on end.
Uber Chooses Expedia Boss Dara Khosrowshahi as New CEO
Andrew Wolfson: ‘Great vision can make success of a bad business’