skysight-inc/HackerNews huggingface dataset:
The key to reading a math textbook is learning to be generative. In other words, it is not enough to be able to verify a proof, but to be able to construct the proof yourself. One of the most common failure modes is reading a textbook and nodding along as the author presents proof after proof. Most theorems, proofs, and definitions will sound similar to each other or give a tautological "why is this even a theorem" vibe [1], and reading by verifying is how to fall into this trap. (Cue a metaphor about NP-complete algorithms being able to verify a proof but (probably) not able to construct a proof in polynomial time.)

This is why, like other comments have noted, doing exercises is so important. However, this is not the only way to train "generativity". I read textbooks very slowly by reading theorems and constructing the proof myself. (Hard mode: don't read the theorems and try to guess the next theorems and lemmas.) I like this approach because you can get feedback afterwards by reading the solution, while most textbooks don't have solutions for their exercises.

It sounds like OP's strategy is another approach for being generative that I've yet to try myself. I like his approach because it seems to be more effective at filtering out a lot of the noise from linear reading and, instead, focusing only on the results and definitions that end up being used later. But no matter the technique, it seems that the common theme is to spend more time staring at your scratch paper than at the book.

[1] https://xkcd.com/2042/
I loved this video by Ray Dalio. Really gives a great macro economic view and explains how he timed 2008.

https://www.youtube.com/watch?v=PHe0bXAIuk0
lol -- would likely want to include "A.D." to be clear it's a date!
They might mean YouTube red? Which is the premium version of YouTube where videos keep playing in the background on your phone and no ads so it’s mainly used for music. It’s just the YouTube app itself however.
The cost of living adjustment doesn't include things like savings rate and is at best an apples-and-oranges comparison for housing. In my target city I could easily buy a house 50% larger than I currently rent: but the schools, parks and such would be worse. Think of it like social classes: to get access to equivalent schools and other county provided services (parks, libraries) I'd have to live a level (or two) above my Bay Area lifestyle, negating a lot of the base COLA adjustment. Also my savings rate would plummet: to save the same amount at typical incomes in my target city I'd have to increase my 401k rate by a factor of 1.5 or more, use more of my post-tax income for diversification, etc.
And that is perfect for almost every single one of the cases they will ever see.
I don't quite follow your line of reasoning. Accessible food reinforces behavioral habits, so of course the cage with the food would quickly become their home. How then, exactly, can you quantify that they "love" their cage, as opposed to a large aviary or even freedom to roam in the wild? And I'm not going to make assumptions about your home decor, but most modern homes are neither furnished nor accessibly to birds, posing an immediate danger more than anything. The familiarity and safety of a cage may then be more enticing than flying around a home, and I certainly noticed this behavior in my birds (e.g. loud sounds would send them flying back to their cage in a fright, and in general a reluctance to come out).

The fact that captive animals can adapt to their cages, like a man does to prison, doesn't mean this is good for them nor that it's justifiable. And unlike a man, a captive-raised animal cannot comprehend anything else. You have chosen that life for them and are justifying it.

As for my singular budgie: one outlived the other by many years.
They did it for a reason -- to sell ads. If they truly wanted it so people could afford it, they'd not be making billions of profits each year. They give you things for free at the cost of your privacy. Apple otoh is upfront about it.
Why was the title of my post changed? It's not an entirely big deal and the new title is fine, but it's somewhat annoying that this was done for me without any indication on my end.
Kanade Sato with Andromeda, Guest Minoru Mukaiya
Google is much less adept at avoiding the ire of antitrust agencies, particularly under the current administration. Google is considerably more evil in the popular imagination at this point.
What does that have to do with "why spacex was founded"? The only person who would know why spacex was founded was the guy would founded it. Elon Musk. The guy said why he founded spacex. What more is there? If you have issues with the progress of achieving the goal. Fine. But that has nothing to do with the founding of the company.
I’ve been researching Traveling Ruby quite a bit recently and, while disappointed in its lack of updates, am also not convinced it’s the correct solution for easily distributable Ruby apps. The main reason is that each required gem with a native extension needs to be compiled by hand with the irregular/nonstandard flags for it to work with the specially compiled Ruby. While this works, it’s an unsustainable development model that creates a somewhat parallel maintenance track for each gem. I wish Ruby had a better story on this front, but I’m not sure what that looks like. Maybe something could be built with the new JIT functionality in 2.6?

Either way, foobarwidget deserves props for releasing this at the time as it’s gotten some great use!
Sure, that's a solution if you think that running their binary is unacceptable. But that's begging the question.

Most people running macOS (as vemv at least is) run a lot of random binaries from various types of strangers – mostly proprietary applications, although there's also things like Homebrew cached binaries, 'curl | sh' installers, etc. Now, in this case downloading a binary isn't necessary, since there's the option of building it yourself. That's great, and it's definitely (somewhat) safer to build it yourself... but that doesn't make the binary less trustworthy than if that weren't an option. If building sounds like too much effort, you shouldn't automatically give up on using the program, but just fall back to your personal baseline policy for running binaries. And for a lot of people, for better or worse, I think that policy is fairly trusting.
Blocking the top 100 most popular porn sites would make it harder for users to reach those sites. It would harm he porn sites that they were morally fighting against by rendering their valuable domain names useless for a lot of users. It's not silly just because it's not 100% effective.

If they were emphatically against you using your device to your own ends, they would do something in the browser.
Interesting regarding the mirror test! There’s so much about these dinosaurs we don’t know yet.

I’ve never clipped but I totally understand. I just cover them up and remove swings but driving with a spooked budgie isn’t fun.

Fresh fruit and veg are always there, shouldn’t have omitted that. Millet OD is only if I’m leaving them unsupervised for a weekend which is very rare, but they are very sensible with how much they eat.
>as long as they didn't see a hawk

Last year we lived in a rental with a decent beach view. One afternoon our parrot spotted a kite surfer near the beach, and full-on froze rigid for 10 minutes until it went away.

We guessed that she thought it was some kind of massive hawk. Poor girl, must have been terrifying. Haast Eagle has been gone for a long time, but she doesn't know that.
Why would anybody define themselves as different from someone else? That’s just giving that person control over yourself. Identifying yourself with your own positive affirmation is difficult and scary and maybe the most important thing you’ll ever do.
You could even consider using more than one browser... one for dev tools, one for everything else.
Microsoft got smacked down by the DoJ hard.

Here's hoping that Trump in his second term hits the digital monopolies with the anti-trust legislation they have been flaunting for the last 10 years.

Just because they are somewhat closer to me socially doesn't mean I want to sell out my freedoms to them.
Unless you specified how to do so in your operating agreement (in which case you wouldn't be asking us) you can't fire a co-founder. Either he can leave of his own volition, or you can. I'm going to assume what you mean is "how do I convince my cofounder to leave?"

While you say that your co-founder lacks the skills you need right now, you also say he has skills that will be valuable in the future, plus the fact that you are worried about losing his contribution during the busy season implies that he does make some contribution right now significant enough to worry about losing. You clearly need to bring someone else on so that you have the skills you need (no sense in trying to fit a square peg into a round hole), but that doesn't automatically mean you need to get rid of your current cofounder. It sounds like the startup is generally healthy and you are just reaching the point where you need to expand. This expansion may require raising more money or tightening your belts, but I would not throw away a proven good partner if there were another viable option. It's not necessarily unfair to ask him to tighten his belt more than you, though I would hesitate to adopt the mindset that it's his fault you need to expand.

Now if the problem isn't that your co-founder lacks the ability to do what the startup needs but rather is refusing to do what the startup needs, that's a different situation. I imagine this isn't a personality issue if you've worked together well before, more likely you just have different visions for what the startup needs. In such cases, it's good to have some third party to talk to, such as your investors or any advisors your company may have. It's easy to disagree with someone, it's very tough to disagree with everyone. At the same time though, instead of going in with the intention of forcing him to see things your way, look to understand his vision and consider modifying your own to an acceptable compromise between the two.
Reports: Kavanaugh Has Found 1982 Calendar, Detailed Entries Help Clear His Name
What about when 99pc of the banks will only offer iOS and Android.

No or os will be able to compete with them because the backing apps don't work.

Now OSes can stagnate and become worse because they know you'll sick to them because you have no choice.

A new player would need to create a OS and a bank to compete. And probably more stuff.
"Community before legal fetishism."

This "legal fetishism", otherwise known as the rule of law, is what allows business deals to be made between strangers instead of the traditional "community" limitation of having to share a friend in common who will vouch for you.

The main problem with the rule of law is having too little of it, when the traditional worldwide norm you speak of partially subverts it, and the powerful scratch each other's backs.
I’ll be curious to see what happens to the people who do have advanced degrees if a lot of the “traditional” jobs that require them today suddenly don’t. Will they be the next generation of PHB’s? Or will they just keep working the same jobs that they used to do? Will their pay go down as they do? Or will an entirely new sort of job emerge?
That's valid.
How to Make Your Small Apartment/Space Look BIG
“The LHC hasn’t seen anything new besides the Higgs. This means the laws of nature aren’t “natural” in the way that particle physicists would have wanted them to be. The consequence is not only that there are no new particles at the LHC. The consequence is also that we have no reason to think there will be new particles at the next higher energies – not until you go up a full 15 orders of magnitude, far beyond what even futuristic technologies may reach.

“So what now? What if there are no more new particles? What if we’ve caught them all and that’s it, game over? What will happen to particle physics or, more to the point, to particle physicists?”

http://backreaction.blogspot.com/2018/03/the-multiworse-is-c...
Comprehensive resource list for cryptocurrency investors
You're making a sweeping, laughably-false assertion. Clearly you don't understand how compilers work. C compilers are not miraculous magic boxes. They have limited information and limited optimizations. It's very likely an obscure implementation of an algorithm will more-or-less translate one-to-one to nearly equivalent assembly because the compiler can't analyze it.
If you want Chromium based browser - Opera or Brave seems the way to go.
I don't know what title you gave it, but perhaps the HN guidelines can answer your question

https://news.ycombinator.com/newsguidelines.html

"…please use the original title, unless it is misleading or linkbait; don't editorialize…"
My computer isn't a mac.
Neuroscientist here. The study shows no such thing. Maybe you refer to this: ”for the first time, identifies brain tissue macrophages proximal to neurons in over 40% of individuals with schizophrenia who are in a high inflammatory state.”

But first, the authors are confused. All brains (100%) contain macrophages in proximity to neurons. Specifically microglia (which are macrophages) and perivascular macrophages.

Second, note that they studied cases already selected to be in a high inflammatory state.

Third, they do not show the direction of causality. It’s easy to imagine how a life lived with schizophrenia could substantially increase your risk of inflammation.
No. Regardless if the outputs for cat/dog are [0.03, 0.01] or [0.75, 0.25], the network is still three times more confident it's a cat. The uncertainty (entropy) of the outputs is exactly the same in both cases.

In other words, if you only have two object classes, the magnitude of the outputs does not matter, the uncertainty is measured by the relative difference of the outputs.

The only way to measure the confidence of the model that the output is "cat OR dog", is to have another class (e.g. "chair"), only then, looking at all three outputs you can estimate the confidence of the model regarding "cat OR dog" predictions (vs 'NOT (cat OR dog)"). For example, if [cat, dog, chair] outputs are [0.03, 0.01, 0.05] then we know the model is not confident that it's either a cat or a dog, but if the outputs are [0.75, 0.25, 0.05], then it's clear it is.
Amazon sets traps for drivers
Has anyone ever looked at his 2000 page tome?
I know this will be downvoted into oblivion but this isn't evil. 99% of users want this feature. They want their passwords synced and they don't want to have to log in multiple times. With a data point of one I want this feature. I'm sure if I poller my non tech friends they'd almost universally want this feature.

An option to opt out might be good but most people are helped not hindered by this.
+1 for Brave
IMHO, Opera suffers from a dearth of good marketing.

Thinking about the topic, I can think of at least a couple of cool resources that could be used to plug opera to wider audiences:

- 'The Doctor' from Star Trek Voyager

- Bohemian Rhapsody, of course

- Just about all of 'Bat Out of Hell'

Those 3 sell me on opera.
I don't have crazy debt or people to support, so it's very easy for me to say this, but it's sad to see the smartest people in my generation putting so much effort into getting people to click on stuff :/
The article mentions that Stranger Things didnt have any sexual content or anything really edgy.
My point was that the human experience, all throughout history, hinges on a willingness to identify with deities, so it must be a reasonably effective evolutionary strategy. A deity is the ultimate expression of an applied ethics system, and it seems that in evolving consciousness we tend to unify around cosmological explanations for our behaviors.

Perhaps schizophrenia is a functional mutation that introduces cosmological insight to a group of people; the witch doctor/seer archetype, for instance.

It's obvious that deities are (as of yet) born of un-falsifiable hypotheses, although thank you for pointing that out...
I imagine some people feel like you do (I don’t). But I also wonder how many people feel like they have to _say_ they feel like you do in order to avoid being judged harshly... which is how censorship starts to get its way.
I've been considering getting a budgie for a long time. Is it ok to keep a single one? How much attention to they need every day? I'm out all day for work, but I could give it attention for hours in the evening and early morning. Also, what is an appropriate cage size? I live in a small condo.
Why would he have to wait for a second term? Why couldn't he start on this tomorrow?
Pardon I think it’s called YouTube premium here in the US now. It was YouTube Red.
> "prescribed drug for ADHD or anxiety"

I think you intended to imply "without a prescription" in grouping such people with daytime cocaine users.
Firefox and Chrome use the same extension system. Any chrome extension should pretty much just work for firefox.
Is it though? Security is a fickle thing. Unless there's a a big enough community behind it with security experts examining the changes, I'm not sure I'd trust some random person's changes to not introduce any exploits.
The author does not like Hacker News, and has set her blog to redirect requests with a Referer header from HN back to HN.
My landlady's son is schizophrenic. Could a diet of alcohol, pot, and sugar and carbs make the condition worse?
does anyone know if this affects Vivaldi?
This was the title I posted with: "Interview with Jeff Dean on Google AI - GCP Podcast Episode 146"

The Episode 146 portion is irrelevant I guess.
If you think the coverage of him is bad now, wait till you see what happens when the digital monopolies are fighting for their lives.

One only has to look at what the Murdoch paper monopolies did to any politician who dared stand against him: https://www.smh.com.au/politics/federal/cancer-eating-the-he...
Literally the same as Chrome re: dev tools.

Example: https://i.imgur.com/ZfHnNmX.png
I think you've misrepresented what I said, which was that the compiler is good enough to pick between a register or XOR-swap (in the comment I was replying to), based on the architecture and calling sites.
Sometimes there are blocks new accounts to reduce the risk of spam.

But as gus_massa pointed out, this question was asked a few weeks ago (by another account of yours?).

And, for what it's worth, it's not a great discussion topic for HN anyway, as it's a question that is fairly easily answered with a couple of Google searches.

Good Ask HN topics are those that prompt people to share their unique personal experiences.
Prison analogies. You obviously have a strong opinion about this, which I respect - but I don’t have the time or energy to enter into a debate.
Google already bullies hardware vendors that don't package Google services with Android devices...which is what Microsoft did in the 90s. They also bundle all their services...which is essentially the very thing that Microsoft ended up getting slapped for. Google gets a way with a lot. Apple does too, but Apple's reach is limited to when you leave their hardware, Google's is always with you. You can't escape unless you are just a very very savvy user, and even then they can still get your data at the most basic level using GCS.

I really really wish Microsoft or someone outside of the duopoly, were more powerful in the mobile and search space so people had a choice. I do have an Android phone, but only because Apple is so locked down that I essentially have to use their services, and I don't use Google services outside of their store...but I know just by having an Android phone Google is tracking me.

As for advertisers, I know for a fact that some SMBs/agencies don't serve on Bing, not because the traffic isn't there...but because it's hard to manage so many bids and pacing in so many different platforms. Google makes it so simple, even if the ROI is slightly lower by not using Bing, etc. It's maddening, it is certainly a very monopolistic company.
How to Hack Tommy Hilfiger's E-Fashion Line for Fun and Profit [video]
Ask HN: Smartphone for privacy-consious users
I'm having a really hard time figuring out what's the best way to obtain a privacy-friendly smartphone.

1. Android with unlocked bootloader and AOSP + F-Droid apps: this looks like it would work but it's really hard to find up-to date info about what manufacturers/models allow to easily unlock the bootloader, and what are the best alternatives in terms of AOSP distributions, what's the best source of information?

2. iOS: is it possible to run iOS while preventing Apple from gathering personal data? Does the above require jailbreaking? Is jailbreaking still commonplace/viable as of 2018? And even then, does iOS have an equivalent of F-Droid?

3. custom OS, such as the Librem by Purism, however these are either very expensive or yet to be available on the market. Or is there any alternative that I haven't heard of?

4. just use a dumb phone. Has anyone here tried it? How did it work for you?
And in this forum, I would guess the OS being proprietary is a deal braker for many, including me.
The 123 on the bottom makes some sense for calculators because calculator keypads, unlike telephone keypads, are often used to enter data, physical constants, and mathematical constants.

Those quite often follow Benford's Law [1]. That means if you are using scientific notation, where numbers consist of one digit to the left of the decimal point, the decimal point, and then a fractional part, then an exponent for the power of 10 the number is to be multiplied by, then you are much more likely to be entering a small digit before the decimal point than a large digit.

123, therefore, arguably belongs near the decimal point on the keypad on calculators.

[1] https://en.wikipedia.org/wiki/Benford%27s_law
Pewdiepie has the #1 spot on fairtrending and is no where on Youtube's trending.
Ellen Degeneres and Jimmy Falon are you Youtube trending but nowhere on fairtrending.
"Elitist corperate control over mass media is great because I don't like what normal people do." -people in this hackernews thread

What about those of us who would rather stick a fork in our eye than watch PewDiePie, Degeneres, or Fallon? I’m not seeing the praise for what you’re calling “elitist corporate control,” so much as despair that the supposedly fair option is at least as hideous as the rigged option. Beyond that if we define normal as in Normal Distribution, then who’s fault is it if you expected to find the middle of that distribution on a site called Hacker News? Most people would be bored out of their skin on this site and that’s fine, just as it’s fine for a subset of the population with shared interests to enjoy it.

If you want normal as in average, you’re barking up the wrong tree, and FaceBook, Instagram, and the rest have you covered. If you’re seeing a lot of praise for the YT algorithm, rather than dislike of both algorithm and lack of curation, I must be missing it and you could maybe point it out?
> Luckily agencies act as a middle man, if not for that, the abuse would be so much more widespread

I ran such an agency. As someone who is proficient in PPC, the AdSense sales team was inexcusably poor at their jobs. They'd offer to setup campaigns for free with thousands of barely relevant keywords and would push upping the budget past what was reasonable.

Their tactics were so bad for my clients that I stopped accepting their "free" help and did the campaigns in house. I hate to think how many agencies simply went along with their advice to the detriment of their clients.
What performance issues have you experienced? Chrome and Firefox run the same on my machine. The only time I switch to Chrome is when some Javascript developer has for some reason disabled click functionality in browsers besides Chrome. Most recently Bank of America has prevented click functionality on their cash back merchants.