skysight-inc/HackerNews huggingface dataset:
With Oracle/Sun it was pretty inverted...the first year was a huge cash infusion, and if anything Sun hardware projects had greater potential than before.

And yet, within 5-6 years the entire hardware division imploded.

And, meta-comment: this site layout is frustrating on mobile, the text runs off the left/right edges slightly and it refuses to allow pinch/zoom. Sites really need to stop writing code to intentionally screw with readers.
Why the hell is this front page of hn? There is nothing special or tech related to this. Nothing to do with a startup or anything related to it.

This is just a shitty promotion. I wonder how much money they paid to get to the front page here?
That's not a realistic goal for geographically constrained cities. Everyone who wants to can't live in New York or San Francisco. There are limits to density while still preserving a reasonable quality of life.
In San Francisco, this problem was "solved," by not subjecting new development to rent control.
A counter point, for those who are interested: https://www.nakedcapitalism.com/2014/03/17-million-reasons-r...
That's quite a leap from saying that certain topics are only relevant for women to saying that it's about freedom. Nobody is preventing women from talking about these topics in any other forum. You're saying that the advantage of perceived intimacy is greater than the disadvantage of losing the broader perspective that includes men. If I was in a bad mood, I'd say it's classic ingroup/outgroup psychology, which is latently ugly.

But I'm in a good mood, so I'll only say that there's nothing intimate about an environment where everyone is anonymous.
That’s a different (rather easier) problem: note that the safe combination can contain the same digit more than once.

The solution to this problem is given by de Bruijn sequences: https://en.wikipedia.org/wiki/De_Bruijn_sequence
>The classic argument you hear, for instance, regarding Texas' often-struck-down-but-still-living-on voting ID requirements, is that a handgun license is considered a sufficient form of voting ID, but a college photo ID is not.

It's a terrible argument to anyone who thinks for a moment:
A handgun license is issued by a state government agency, often with antifraud features. A college photo id, not so much.
This explanation is wrong on several fronts.

1. Your explanation of endofunctor is wrong! You say:

"An endofunctor is just a functor (container that you can implement map on) for which the type you start with is exactly the same as the type you end up with. For example, if you have an array of integers, apply a function to the contents with map, and you end up with an array of integers again, then you have an endofunctor ("endo" just means that it's the same on both ends). If you ended up with an array of strings, then it's not an endofunctor because an array of integers is different than an array of strings, even though they are both arrays."

This doesn't make any sense, you are calling types functors and are saying that what determines whether a functor is an endofunctor or not is what functions you decide to apply fmap to! For example List is functor, List Int is not a functor anymore, it is just a type. And you claim that if xs is of type List Int, and you type fmap (x -> x2) xs then you "have an endofunctor" but if you typed fmap toString xs then you wouldn't have an endofunctor! To repeat xs is just a value, a list, List Int is a type, neither values nor types are functors, and a functor either is an endofunctor or is not an endofunctor it doesn't magically switch allegiance depending on what you use fmap for.

Indeed, when Haskell functors are thought of as mathematical functors they are all endofunctors, functors Hask --> Hask (which makes them endofunctos since the domain and target categories are the same).

2. You misunderstood the sense in which a monad is a type of monoid!

The monoids you mention (strings under concat, integers under addition) are monoids "for products", that is, the domain of the monoid operation is a product type: concatenation is a function String x String --> String, and addition is a function Int x Int --> Int.

Monoids for products are the most important sort of monoids, but are not the only one and are not the sort meant when people say "a monad is a monoid in the monoidal category of endofunctors". There the domain of the monoid operation is not* a product of two types, but is rather the composition of a functor with itself. So a monad has a functor, say M, and comes with an operation M o M --> M (a natural transformation between the functors M o M and M). This natural transformation is the one called "join" in Haskell.

I like your enthusiasm for explaning things simply, but I cannot let these bad errors go uncorrected. If you want to understand these category theoretical terms from a programmer's perspective, I recommend Bartosz Milewski's writings.
But this is exactly what the market is for. If there's no rent control one of 2 things happen:

1. you are forced to move out and services become unavailable in the high priced area

2. your rates increase and you can stay

If option 1 happens it won't be an expensive area where people want to live anymore so problem solved either way.
Datasets Are Books, Not Houses
I live in a house from 1909, with a heat pump (bergvärme). We probably use 18000 kWh for hearing in a year, 64800 MJ, at 190 m2 plus basement. 30000 MJ wouldn’t be enough for us I guess.
Wouldn't this technically be like the 4th ai bubble? I remember reading these bubbles have been happening since the 60s.

edit: Okay, I'm slightly wrong. I looked it up due to curiosity. This would qualify as the 3rd major ai bubble, but there have been a few minor ones. Also known as "ai winters": https://en.wikipedia.org/wiki/AI_winter

AI winter referring to the lack of funding in ai projects instead of collapse in companies.
That Tesla under reported injuries, which a 4 month OSHA investigation proved wasn't true. Is that enough of a lie to mistrust Reveal?
>Individual people's income taxes cannot be treated this way, because the closest analogy to "business expenses" for a person's lifestyle is their cost of living. If cost of living were deductible it would be highly gameable and ripe for abuse by numerous parties.

That is the thing. Maybe a person could do that if the rules let them, but businesses are already doing it, at scale. I think that either businesses should not be able to do it, or normal people should be able to do it. As for the "low margin business" example, I see no reason for the government to support any particular kind of business over another under a capitalist system.
I believe what this startup does is impressive:

Train a series of neural networks in order to provide buzzwords at a fast enough rate to trick actual people with more money that brain to give them money.

Getting almost 30 millions with just vaporware is always impressive. I won't be capable of doing anything similar myself.
Isn't that little headphone port a combo optical/electrical port that you can plug either headphones or mini-toslink-whatever into ?

Isn't that what it was before ? I swear I had previous mac minis with a combo port like that ... why would they not continue that ?
Rolling..Rolling..Rolling Deploys
What is the benefit of using MemSQL over some other free in memory databases like Apache Ignite ? I see that they have better documentation and support (edit: + competition on Codeforces which winners rarely receive their T-Shirts). What about other things?
Clojure Cheatsheet
I'm terribly unhappy with mine and so is everyone else I know, so i'm pretty pleased with it
so your last sentence contradicts your first. Why would you want the slow PCIe SSD, you would want a better performing one for the technology being offered.

That said, Apple should not be sodering these SSDs to the motherboard.
I wonder what are the reasons opposing countries gave.
I'm very well aware of industry trends.

Your points about hydrogen leaking are not actually accurate. This doesn't negate the advantages at all, and as vehicles get larger, the advantages become even more pronounced. Oxygen-rich is used on Russian engines, which are some of the best engines ever made (although they haven't improved on them much in the last couple decades).

Commonality of stages is more important at lower flight rates since you have to pay for amortization of the greater development costs.

I like methane/oxygen. It is a very good choice. But I also don't buy into the hydrolox phobia that has become popular. Hydrolox is still a very good choice.

(I think that SpaceX and Blue Origin are completely right for picking methane/oxygen for BFR and New Glenn; I'm speaking even more long-term...)
Most of who's left at IBM are either:

A. "lifers" who are biding their time until retirement and aren't interested in rocking the boat, or doing anything to make noise. They want to come in, do their time, go home and go fishing... lather, rinse, repeat.

B. New grads who have no clue what they have walked into because they haven't worked anywhere else for comparison and haven't been at IBM long enough to realize how dysfunctional they are.

C. contractors who really don't give a f%!# as long as their paychecks clear.

None would be particularly motivated to reach out to the people of an acquisition and offer any guidance.
A closure taking ownership of the closed-over variables doesn't actually imply that it is FnOnce (only callable once). You can perfectly well have a Fn or FnMut closure that owns its captures, as long as you don't try to do any moves inside the closure. If you need to do a move in an FnMut closure, you can also wrap the captured variable in an Option, and use .take()
Wife and I use the Kore app. Less likely to forget where my phone is than a dedicated remote. Handy to have the youtube plugin and share a video to kodi from that app too.
Stepping down as chair but the point still stands.
Because it's not just internal.

The EU allows for free cross boarder trade and movement of assets within the EU. Having a lower corporate tax rate in one country means businesses operating in the EU put their revenue through there. It's an automatic incentive.

There are rules here because otherwise it would be a race to the bottom. Each country wants Amazon, Google, etc for their employees' income tax.

The whole EU loses out from one state giving multinationals preferential treatment.
Out of curiosity, which philosophers have you attempted to read?
ScoreVoting.net/Honesty
That's not my reading. Can you diagram the original question in a way that makes this apparent?
That's kind of the purpose of deductions; it's common for housing (particularly mortgage), education and health costs to be deductible on one's income tax, much like a business deducts its expenses to calculate profit.

Taxing only your disposable income would mean that a person living in a mansion would pay much less than someone living in a small home, which is weird; arguably, the extra niceness of the house is "profit", whereas the shareholders don't usually benefit from paying more for their inputs (some exceptions notwithstanding).
Thanks for the link, I will be checking it out.

I evaluate this issue with a Bayesian + max entropy approach. We have two hypotheses:

1. humans are TMs

2. humans are PHOs

Max entropy weights these hypotheses equally. What humans do is given the highest expectation with #2. Thus, Bayesian hypothesis selection says #2 is the most likely explanation of the evidence. Inference to the best explanation says humans are PHOs.
I think - the general guidance is, as long as his blog post does not include any information that isn't already public he is free to share his thoughts.
"How would you get a mortgage on a house, or save for your kids' education if any wealth you accrue risks getting re-allocated?"

I think that's a legitimately interesting question.

Maybe the actors in that situation would attempt to build systems that don't rely on having outcomes based on individuals accruing wealth for themselves, but instead on collective assets that everyone has access to at all times.

Pragmatically, yeah, there are all kinds of problems with this concept, but for me your question does more to make radical, frequent, and random wealth reallocation interesting than it does to point out a flaw with the idea.
I have the 5i5 (Skylake) NUC running as a HTPC, and it's pretty nice. At the time I think I paid about $600 with the RAM and an SSD. I use it for the typical things, playing music and movies, but also for some lean-back computing on the couch when I don't want to sit at my desk to do email or whatever.

A quick glance at Amazon (US) says that a 7i5 NUC with 8GB of RAM and a 250GB SSD is $540.
> As someone who has tried to maintain a blue collar job in a large city (im an engine mechanic)

What about the new blue collars who enter this city later than you? Rent control doesn't help lower rent for them, but arguably increases it by depressing supply.
There is a huge difference between not optimizing (say, purge formatting white space from HTML) and putting out five megabyte of JavaScript junk for static website.
Token Generation Events and why they’re important
From the announcement:

> You can do almost anything with MemSQL, using the free tier, that you can do if you have an Enterprise license, including capabilities and production use. The differences are that you can only configure the free tier of MemSQL to use up to 128GB of RAM usage, and support is only community support; for paid MemSQL support, you need an Enterprise license.
ReformFargo.org

StarLane.us
Again, That Tesla under reported injuries, which a 4 month OSHA investigation proved wasn't true. Is that enough of a lie to mistrust Reveal? You must surely know this.
Red Hat was probably my top company that I ever wanted to work in, but this time around couldn't find good open positions so joined another company (only a few months ago). I feel blessed because I'd probably feel really bad if I joined RedHat and then it suddenly became IBM. Now, next time around (in a few years) I'll know more about this whole IBM acquisition deal, and if RedHat is still a good company to work in, I can make an informed decision.
> It is illegal for “ride shares” to provide medical transport.

Really? A couple years ago I brought my buddy to the hospital in an Uber and he was pretty close to dying, nobody at the hospital seemed to have any issues with it. I later emailed Uber to praise the driver and they thanked me for the writeup of what happened and said they distributed it on their internal listserv. Definitely did not feel like anything illegal was happening throughout process.
I thought the same. I guess he reached the stage of bargaining around that time.
In context, it appears like you're stating that "yes of course it's a hypothesis, here is the definition". But the post you're replying to suggested it wasn't because he/she did not see any way to effectively test it (the falsifiable comment), which would exclude it from the definition.
Very interested in what the future holds for this!! Ways to explain the falling stock price is manipulation to drop it further to rebuy then cheap, lowering the price for a coming company sale and lowering the value to force the company to consider a sale. Possibility one could be appended with the intent to rebuy so much that you will have influence on the further way of this and in the worst case blocking further science of that department. Maybe check who is responsible for that stock value drop. Just ideas everything else is also possible.
Thinking (Functionally) in RamdaJS
I read Diaspora last year and Permutation City this year. They both blew me away. Some of the most original, thought provoking science fiction I've ever read.
You don’t want to wreck individual lives just because you want efficient price-finding. Rent control that protects tenants from super-nominal price increases works fine in the presence of abundant supply and liquidity. You can see how successful this can be in places like Belgium where standard lease is rent controlled for nine years with an option for additional nine years. This is enough time for a family to become established and raise children without being sacrificed on the alter of market signals. It is the kind of policy you get when you view tenants as people rather than revenue sources.
Make your mind up HN, one minute it's "I hate all advertising and would be more than willing to pay for content if only I had the option" and the next it's "ban anything that's behind a paywall". ;)
If think people put way too much importance into clock time. It doesn't really matter what number the clock shows when you wake up. The problem is to sleep early enough to be able to wake up. If you sleep too late you will have a hard time waking up, whether you are trying to wake up at 6am or at 11am. Unless you are particularly sensitive to sunlight, in which case you will wake up with the sun... so certainly quite a bit earlier than most teens would like to.

Maybe I'm completely wrong, but it certainly wouldn't have helped me. At my very worst (around 19 or 20) I had a hard time waking up to attend classes at 1:30pm... Which makes sense given that I was going to sleep at 5~6am (CS, Warcraft III, etc.) and I'm a big sleeper (still need a solid 8 to 8:30 hours per night at 35).
Contract  Simply (YC S17) is hiring full-stack developers in Austin
Contract Simply (https://contractsimply.com) is looking for full-stack engineers in Austin (junior and senior).

ABOUT US

Contract Simply is building the first A.I., machine learning platform for the $900B US construction lending market. We help banks manage their large and complex construction loan portfolio using intelligent automation and integrated payments. Unlike a typical loan, a construction loan isn’t a single payment. Instead, it’s broken up into monthly payments called draws. That monthly draw process is complicated, with many stakeholders and hundreds or thousands of documents. Currently, all of this is managed with excel spreadsheets, PDFs, emails, and paper checks.

Our software helps lenders, developers, and other stakeholders produce and process this documentation automatically, leading to fewer errors, faster payments, and more profitable loans.

We’re currently small (10 employees), YC-backed, and are already working with several of the largest lenders in the industry. You’d be working directly with the founders in a company that values being purposeful, efficient, authentic, transparent, curious, and agile.

STACK

Experience in one/all of the following is appreciated, but we believe tool-specific knowledge is considerably less important than the fundamentals:

Elixir, Phoenix, GraphQL, React, Apollo, Python, sklearn, Kubernetes, Docker, and more!

MORE INFO / GET IN TOUCH

Junior Devs (1-3 years of experience): https://hire.withgoogle.com/public/jobs/contractsimplycom/vi...

Senior Devs (4+ years of experience): https://hire.withgoogle.com/public/jobs/contractsimplycom/vi...

Other positions: https://hire.withgoogle.com/public/jobs/contractsimplycom
It is different because a safe combination may contain the same digit more than once, so the intended solution is a de Bruijn sequence: https://en.wikipedia.org/wiki/De_Bruijn_sequence
Are you suggesting that indigenous and/or small businesses are taxed at a higher rate than the published standard 12.5%, or that they don't qualify for even better exemptions and thus lower effective rates than 12.5%?

GP was indicating that Ireland has one of the lowest standard corporation taxes at 12.5% available to everyone, not that there aren't even better effective rates offered to larger corps & multinationals.
The concept in databases that you’re looking for is called group commit. Transactions running concurrently batch writes together before flushing to disk. This means the minimum latency for committing a transaction is the speed of fsync, but the throughput can be as high as the disk bandwidth.

There are other reasons why an in memory database can run faster than a disk based database, such as not having a buffer pool manager, but I don’t think that’s what you were worried about.
I doubt that some data centers make much of a difference. Those tend to be employ maybe two cleaners, one depressed robot and one or two jaded administrators, plus their pot dealer.

They also don't buy anything locally, except electricity at negotiated prices close to or below the costs of production. Maybe they lead to some earnings/profits to be at their location? Considering the issue discussed here, I doubt that.
I love your theory about how “N” got in there. Thanks for sharing.
That's simply false. The current EU membership terms don't grant it oversight of member state corporate tax rates.
A term for this is "Shadow Work," unpaid labor in the form of self service.

https://en.wikipedia.org/wiki/Shadow_work
You are mostly right. Haskell Functors, when thought of as mathematical functors do go from Hask to Hask and thus are endofunctors.

But you also say that "Hask is the only category". That needs some qualification, since the type class Control.Category is also in common use and models mathematical categories. Notice that the standard Functor class doesn't use Control.Category to specify the domain and target, so what you said about Haskell Functors modelling functors Hask -> Hask is correct.
Please help me understand why is it okay to tax people on income but not corporations?
Yelp for Algorithms
This guy got serious anxiety and had to drug himself because some people bought the company he works for. People seriously need perspective in life. What a fucking lunatic.
Your observation is anecdotal, based on a sample size of two, up against what appears to be the scientific consensus.
My favorite part of that episode is that P. Diddy's "vote or die" campaign is literal.
For parents wondering what the right amount is, the right amount is simply how many hours your children wants to sleep. People on a schedule just don't oversleep. The research only really matters if you have medical concerns about your child, for example, you can't get them on any schedule, they're sleepy when they seem to be getting enough sleep, or there's some other issue.

Make your schedule malleable for your kids and within a few days you'll pretty much know exactly how much sleep they need.
That's a non sequitur. One matter has nothing to do with the other.
> Ambulance = immediate admittance

This is not true. Patients arriving in ambulances are triaged and helped according to need, just like anyone else.
Wow, empathy much?
70M views, 9M visitors & 6M downloads: Data from a website with free photos
Further discussion here: https://news.ycombinator.com/item?id=18381723
Agrep – approximate GREP for fast fuzzy string searching
Why would you write code using AI? If the AI is able to figure out requirements, why not just let it do it directly, simply speaking?

I always have a hard time to see the benefit of code-generation tools in general. If you can generate the code for a piece of functionality, you may as well abstract away primitives for that and make it a one-liner operation in the code you're writing. If that's not possible, it's probably a shortcoming of the language, framework or whatever system you're using (which is admittedly the case sometimes in the real world, because things evolve slowly).
Object may have been an alien probe, Harvard paper claims
Missing what I think is the most important quote:

"Show me your flowcharts and conceal your tables, and I shall continue to be mystified. Show me your tables, and I won't usually need your flowcharts; they'll be obvious."

- Fred Brooks