skysight-inc/HackerNews huggingface dataset:
Of course it is, where else are we going to get the brains that will solve climate change?
Yes, some are straightforward. Most are not. For example, suppose a student shows that T: V --> W is bijective and linear on the way to proving a solution to an exercise. The textbook solution shows dim(V) = dim(W) and T is injective instead. Another student shows that dim(V) = dim(W) and T is surjective, and still another student simply uses the rank-nullity theorem directly

All of these solutions are equivalent (or at least, may be if there are no other mistakes). There are probably other equivalent formulations that I can't immediately think of. But each of these students may see the solution and not realize that they're equivalent. Or worse, they may understand the equivalence of the foregoing statements but make a critical flaw elsewhere in the proof, and still think they have the correct solution.

I'm not arguing against solutions in textbooks. I'm just saying that for most proof-based mathematics they wouldn't be useful as solution checkers.
Besides being long, I didn't find "The Recognitions" exceedingly difficult. I was occasionally lost as to which character was speaking/being described, but the characters were mostly distinct enough to reason out. Pynchon's penchant for stringing along train-of-thought can be a bit more challenging. But, I definitely felt some proto-Pynchon vibes with Gaddis' writing.
>A single GPU in 10 years might be able to smoke these 512 GPUs.

Firstly, it will not, because there are physical limitations to silicon-based computing and I don't think we will get a different kind in the next 10-20 years. Secondly, unlike commodity programming, AI is an area where improving algorithm/learning efficiency is infinitely more valuable than figuring out how to throw more hardware at the problem. For starters, any algorithmic improvement makes all further research and experimentation easier for everybody as opposed to a handful of agents who have access to ridiculously powerful hardware. I can list many other reasons, like global energy consumption and the need for learning in embedded devices.

I find it highly annoying that deep learning enthusiasts immediately turn into uber-skeptics whenever the conversation touches on other ML approaches. Makes me wonder how difficult it is to get funding for fundamentally new AI research in this climate.
"most commonly", but there is some evidence that SAD is not triggered only by amount of light:

"This model also explains the otherwise confusing tendency of some SAD sufferers to get depressed in the summer. The problem isn’t amount of light, it’s circadian rhythm disruption – which summer can do just as well as winter can."

https://slatestarcodex.com/2018/07/10/melatonin-much-more-th...
Perhaps the music is to keep people from talking on their cell phones.
I am never in a Starbucks for long enough to really notice the music. There usually isn't any place to sit, as the place seems to turn into an office or study space, with Macbooks (rarely something else) taking up nearly every seat.
There's a big difference between personally trying to fund the US government (which doesn't scale) and his saying that people in or near his position should have to pay higher taxes.

If you doubled the amount of taxes Bill has personally paid over his lifetime, it would amount to a few tenths of a percent of a SINGLE YEAR of US government tax revenue.

I suspect Bill is saying that he-- and other very top earners-- should have paid more.
You mean I shouldn't make both a function FooBar and a variable fooBar? Not the worst rule probably. We shouldn't get to clever with casing. Which is why I use mostly lowercase (to avoid decision paralysis).

However, the language problem I see is when I define something as FooBar and reference it as FoOBAr or FOOBAR and that is not a symbol-not-found error.
I’m stunned that you believe those heartwarming traditions common in the UK 20 years ago would still exist today after everything that’s been happening.
Random Procedural Noise Tricks Deep Neural Networks
One of the things that I miss about analog electronics is how the signal degrades nicely. For example, with FM, if I drive under a bridge the radio gets a little fuzzy or switches to mono. With newer digital satellite radio, the playback just stops.

Evan back with old analog TV broadcasts, if there was a signal issue, the picture would just get fuzzy. Now with HDTV, the picture goes away completely.

I know a lot of this has to do with analog formats being highly inefficient and thus having lots of redundancy.
Murphy's Law:

https://en.wikipedia.org/wiki/Murphy%27s_law

and

Muphry's Law:

https://en.wikipedia.org/wiki/Muphry%27s_law
Some kind of personal anecdote or something that is even remotely specific instead of that generic comment that looks like something that was written by the same people who write apologies for Facebook.
Canadian here and these happen in my neighborhood. YMMY elsewhere, as OP has mentioned.
I always find it a bit disingenuous when someone who has already made tens of billions of dollars on capital gains and wouldn't be affected as much by an increase in the tax calls for it. Would the Bill Gates that had a net worth of $1 million call for increased capital gains taxes?
With enough bongos and weed you can get through anything!

(For the young 'uns out there that don't get the reference: http://www.thesmokinggun.com/documents/crime/actor-mcconaugh...)
>It was a function that returned a function that accepted as a parameter another function and the extra syntax was really taxing to my brain to fully understand what the function was all about. When I removed the extra syntax it was way clearer for me to understand it.

Interesting. Was that your first time reading TS? Higher order functions, specially when combined with optional arguments, in JavaScript are an easy source of bugs for me but never when using TS, since I can simply see what I'm being asked for and getting back.

>Also I am a solo developer in my company

I actually forgot that scenario. Yes, unless you have adapted to the type-driven development way of thinking you will hardly see many of the benefits of maintaining code that has types vs code that does not.

When you're the one that wrote the code, you'll have an unfair advantage at understanding how the author meant the code to be used. When you don't have that luxury, types can be a great aid in most situations. Of course, it's a question of time and codebase size until you break your own preconditions when changing something, but you'll not notice how the type system can save you from that until it you actually learn how to take advantage of it.

It's a catch-22, so if you're curious and want to see what's meant by "taking advantage of the type system", I can only suggest you that you give something like Elm a try. There you'll see many times in the first couple of weeks what types can do for you when changing code.
Ah good, I need to replace the windows in my house, that'll be a great upgrade.

Checks prices

It'll only cost me ~$240,000 for a single room!
Sounds like a software problem to me. Put Debian on them with a Xfce/LXDE/i3wm session, and 2GB should be more than enough. 4GB is outright plentiful.
> Seems like similar-year Thinkpads have been abandoned for 4 or 5 years now.

Hmm? The X230 and T430 (Ivy Bridge era Thinkpads) both had BIOS updates in the past 6 months [0][1]. Lenovo is far from perfect as a vendor, but they are good about firmware updates for Thinkpads.

[0] https://support.lenovo.com/us/en/downloads/ds029187

[1] https://support.lenovo.com/us/en/downloads/ds029252
Funny story, our billing service was also collections. Meaning, the doctor / hospital earned X% of what ever we got, regardless of if you were in collections or not.

So, we had no incentive to really negotiate in that regard.

Arguably a significant percentage of healthcare companies have their billing setup in such a way. Or they handle it entirely in house.
Definitely not a coincidence. Starbucks puts a lot of effort into music curation. Here's a good article that goes into some detail - https://www.fastcompany.com/3067250/meet-the-music-nerds-beh..., and also touches upon what you mentioned.
The music is also a factor of what the manager feels like playing. I know that sometimes they can change to a different station and change the volume, though they'll always claim they can't.

I've had to leave Starbucks on several occasions because the speakers were blaring. Other times the musical selection is the opposite of "easy listening", like you're working in a club or something.
Here is a link to a Google calendar created by the IAmA team. Not sure how often it's updated, I assume as they get arranged

https://calendar.google.com/calendar/embed?src=amaverify@gma...
Programming Interview Questions Are Too Hard and Too Short
AutoIt – BASIC-like scripting language
If he thinks that the government can better allocate the collective amount of additional tax it could obtain from people in similar tax situations, why wouldn't he think the same about just his portion?

Either he has a much higher opinion of his personal judgement in allocating his money (which is likely) than other people who he also thinks should be paying more tax or he should turn over the BMGF to the government.
So, in other words, the machine's still alive, but has no backup CPU?
Sure, I'll email you.
Indeed, I changed my locale to en_US and I got whole other bunch of podcasts. Change your locale to de_DE and it will have all of german podcasts.
Hahaha I’ll replace my demo video on the website with this, cool features
Agreed, duckduckgo ftw.
The monolithic social network model just does not scale, this is exactly what we need federation for.
If you don't like it, don't work there.
Looks great but "Not available in your country". ?!?#@!!?

Shhesh, for a while there we thought we had achieved Cyberspace - now we're moving back to thousands of fuedal kingdoms all guarding their borders....
1) "80% of your body’s signals are sent to the brain from the body and only 20% the other way around."

This is pretty interesting. The idea of not attempt to "command" the body but work with the body and unconscious process is common in a wide variety of martial arts and healing art modalities (Alexander Technique, Qigong, hypnosis, etc).

2) "When your amygdala is active, you can’t have empathy for others"

Unfortunately, this statement seems to suffer from the weakness of popular psychology expositions - a series of fairly pat cause-and-effect statement when the causes of virtually all behavior is more complex and much less certain.

The human brain is fantastically complex thing. Neurologists and psychologists have done many experiments on it. The "replication crisis" is a good indicator how difficult is to go from experiments on a few particulars to a general understanding of how the brain works. I think the criticism of "functional areas" that Luria made in The Working Brain should be read carefully.

The thing about this is: neurological research is great to add if what you're looking for is "what might be", using methods that possibly have scientific and seem effective. But if you operate in terms of "how things absolutely are", then one risks going into the realm of pseudo-science. And there's a lot of supposedly neurologically based new age quackery out there - much of it based things that "the latest findings" whenever said quack happened to get their start.
oh I assumed they had google data

OK so still same question applies - do we spell differently on mobiles vs keyboards - is spelling an intellectual thing or a cannot be bothered thing?
Your Digital Future Depends on Your Digital Transformation Strategy
Plenty of upper middle class and wealthy people that are nowhere near billionaires derive their income heavily from capital gains. It's a system issue, not a personal issue.

Same thing with your Al Gore example. Leading by example does not make systemic changes to huge, complex systems. That's never going to work.

Al Gore could be living homeless in a tent in a forest and take a vow of poverty. It wouldn't make a dent. Your Gore example is particularly egregious because the No. 1 source of CO2 emissions in the U.S. is from transportation, and the main culprit of that is the sprawl that everyday Americans insist on living in (that the government has subsidized for them).

It doesn't matter if you'll listen or not. Big problems like income inequality and catastrophic climate change need large, systemic changes. There is literally nothing you the individual could do that matters -- except supporting government and system changes that push us forward.
After poking around your page for a while, as someone mentioned, it's a scavenger hunt to actually find out how to use it.

You _really_ need to rework those tutorials.

I'd honestly scrap most of them and write a user guide in narrative form. I know your product is aimed generating, essentially, slideshows, but that's a terrible way to present user documentation.

Some of them are indicative of poor design: under Overview, you write "Finding Toolbars", and we need to know this because they're "At Top and Left, Out of View Initially."

Don't hide the toolbars and you don't need to tell me where to find them.

You have an entire slide "The State of Section Application" explaining how an on-off button works.

If you have to explain it, just explain it in the UI:

App is Off. [Start up.]
App is On. [Shut down.]

"Starting a new site" -- It looks like you just copied random stuff from another page. (Or is someone playing with the app and editing your site?)
I'm simply not interested in where laptops are going. I'm a healthy adult male, so a few hundred grams of weight is not an issue. I also find thin laptops very uncomfortable to use in certain positions where you balance it against your body.

I really should buy a 'clunky', 'heavy' laptop before they all disappear and all that's left are wafer thin machines with soldered-on everything.
I don't know about Starbucks but have you ever been to a Family Mart convenience store in Japan? I'm wondering how the music didn't drive the employees mad.

The Family Mart welcome song is probably the most recognizable but the same goes for stores like Bic Camera and many others.
I was kind of surprised that it didn't already operate on a whitelist. It seems irresponsible to market user generated content to kids without checking that the content is suitable for them.
How does federation solve the problem of underpaid moderators?
Interesting language.

Some observations.

1. Great startup time. Hello world took 0.015 seconds.

2. To get readline on REPL use: rlwrap ./janet -s

3. (os.exit) did not exit the REPL, but (os/exit) did. Looks like doc bug in GitHub README.md.

4. Syntax of for is different from Clojure and not as general. Instead of (for [x (range 10)] (print x) use (for x 1 10 (print x)).

5. Core API docs are at https://janet-lang.org/doc.html. Useful reference. Examples with each one (e.g. for) would be great.
It'd be great if people in low wage jobs had the privileged of being picky.
I tried to use GNOME 3 after Ubuntu dropped Unity, and it never performed like Unity, hence I am now using XFCE.

The latest updates, show there is still work left to do in this area,

https://discourse.ubuntu.com/t/monday-25th-february-2019/995...
The Amazon proposal explicitly came with half a billion in funding for transportation in Queens.

And it's also ignoring the fact that a lot of people already live in Queens, and that LIC specifically is connected to Brooklyn via the G.

It's not an ideal situation, but it's a chicken & egg problem, there's no reason to build commuter transit there without employers and employers don't want to be there without that transit, so the Amazon deal would have done a good amount to break that stalemate.
> universal compatibility

Afaik all operating systems read and write UDF formatted sticks and UDF is quite simple as well, and has none of the limitations FAT has. Also no patents.
Conspiracy isn't the right word. It's a societal bias. "Implicit collusion" as in nobody ever has to talk to one-another for the "collusion" to happen—everyone just ends up thinking the same way as one-another, as if there was collusion.
Well, obviously I've been gone for 20 years, so I can't speak to whether they still happen but growing up in the village I did, they happened every year without fail. Some years we'd go with them, other years we'd stay home and have hot mulled wine to offer them when they came around.

Another thing I struggled to find this year in my local area was midnight mass. This just doesn't seem to be a big thing here either. The best I could find was a 10pm mass, which just doesn't seem to cut the mustard... plus what's with the singing carols to the wrong tunes?
The practical difference between “findBy” and “getBy” in repositories (OOP)
Just want to let you know you can delete your payment method by visiting the "Payments" tab within the Settings of your account.

Also, Bridge is receiving a lot of attention internally. Your v1.1.1 experience will continue to improve.

Appreciate your feedback.
There's nothing worse than quirky alternative music.
Chase. Of the nationals, and local credit unions, they offer the best SMB products, and seem to have the most access/knowledge of navigating available SBA programs to help us.
What an odd complaint to an otherwise enjoyable experience that Bill absolutely did not have to participate in.
I got the same mail two years ago, I think (haven't kept it, but the "reasoning" sounds familiar).

See, that's just half-truths that amount to lies.

They claim they need to store personal information about you when you're using your personal domain.

That's untrue. Only if you registered the domain with them they would need to know about you.

It's also untrue, because unlike .de, many other TLDs don't require full names and addresses in WHOIS, or there are "privacy shield" services like the one nearlyfreespeech.net is operating.

Security reasons.

Also untrue (although it's a reasonable business decision that they don't want to handle customers calling their support with the customer's own domain set up problems).

I continue to claim that there is exactly one reason they are refusing: A customer with a *@posteo.de address will pretty much never leave.

I wouldn't mind very much if they admitted that, it's certainly a geeky niche to serve, but this security-and-privacy bullshit really makes me mad.

Do you want to trust your privacy with a company that's lying, even if you wanted to argue that it's
a white lie?
I used an old SGI Fuel (700Mhz, 2GB Ram) as my daily driver @ work until 2013. I would rdesktop to use heavy websites, but other than that it rocked.

Stopped using it because I graduated and I didn’t want to pay the electricity bill or keep a jet engine running at night (light sleeper)

If anyone here had successfully converted an SGI to a fanless SSD unit, let me know!
Twenty-five ways in which MIT has transformed computing
The alternative in this case would be for Gates to use a part of his resources and influence to maybe advocate for such laws, instead of just talking.
Something that helps me remember how to spell words is to memorize the pronunciation in German (which I studied a bit years ago). Not translating the word, actually pronouncing the English (or whatever) word as if it were German. So bureau would be "burr-eh-ah-oo" (probably not perfect but good enough). This would work in any language with consistent pronunciation.
Since money is fungible, you can imagine it paying for whatever aspect of government you fancy.
Oh god. This. I work out of starbucks(prefer the white noise than my office) and the music is becoming so irritating now. The same small number of tracks on repeat the whole day.. everyday.
My X220 does the exact same thing. Usually pretty fine though, but definitely noticeable, multiple times a week. I keep my display timeout pretty low and have a blank screen for the lock screen (slock, i3lock, swaylock).
There are still Power chips (based on PowerPC 750) on Curiosity; it's just POWER1 that's dead:

> That's not the end of Power ISA chips on Mars, though: Curiosity, which is running a pair of RAD750s (one main and one backup, plus two SPARC accessory CPUs), is still in operation at 2,319 Mars solar days and ticking.
I think you're right.

It's not as if they personally manage every penny— and they tend to optimize for the highest return as a default.

Seems like he's saying the default should change. Makes sense to me.
That would be many times worse than all the chans combined, imagine a chan exclusively used by middle aged mothers where anyone you talk to is doxable at the click of a button.
That's the whole idea of Starbucks - it's the third place.
I hate the omnipresent Christmas music in stores around the holidays, but had never linked that to the fact that I worked in a store through college that repeatedly played the same music. Now that I'm thinking about it, I probably had the same experience as you. Thanks for the insight!
It's really, really simple, to the point where I suspect that most people that make the argument you are making are being disingenuous.

Bill Gates is willing to pay more taxes if other billionaires pay more taxes. If they don't, he isn't.

Just like I think my taxes should be higher, but I'm not going to voluntarily pay higher taxes, unless others in my tax bracket also pay them.

Even chimpanzees would probably understand and disagree with you [1].

1. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4451566/
That sounds like my childhood. We had an 8 track with Mamas and the Papas California Dreaming and Random MARCHING MUSIC. The radio was broken.

It was Russian Roulette with the revolver loaded when mom ask what music you want to listen to. You want audio arsenic or audio cyanide?
You're making a lot of assumptions about how people use MySQL. For a lot of use-cases MySQL is that caching layer. E.g. when it's used to serve up flattened materialized data as essentially a glorified memcached implementation.
There was a Jewish community in Afghanistan but most of them already immigrated. One thing is certain though, bagel was not part of their menu. Here are some chit chat that a youtuber did with Afghani Jews in Israel: https://www.youtube.com/watch?v=1Xq0VEwrSr8
That's why I prefer to listen to podcasts when taking walks etc, rather than full-on audiobooks - if my mind wanders and I start thinking about something else, it's not a big deal if I missed an episode of some tech podcast. With an audiobook, I have to try and find where my mind left off! (which is usually a lot more cumbersome than when the same thing happens while eye-reading)
Founder here. It's a probabilistic problem from the perspective of solving personalization. If you tend to want something different after trying the same thing a bunch of times, the algorithm should learn that as well-- that's also personalization.

There's also been a ton of research done that most consumers do want personalized experiences, will pay more for them, and will be more likely to churn if they don't have them. There's a pretty good list at https://venturebeat.com/2017/08/18/hyper-personalization-mar....

Some examples from that article:

>>> Forrester uncovered the fact that 77 percent of consumers have chosen, recommended, or even paid more for a brand that provides a personalized service or experience.

Accenture found that 75 percent of consumers are more likely to buy when you show you recognize them as an individual and provide recommendations based on their unique wants and needs.
I worked at a particular RadioShack store where the manager played the movie "Top Gun" over and over to demo the surround sound system.
Knowing something is a problem and understanding that problem are two quite different things.
I am guessing you also have an issue with people being on unemployment?
OSHA? That should go straight to The Hague as a crime against humanity.
CRT settlement: Courts approve $49.8M payout in electronics class action (2018)