skysight-inc/HackerNews huggingface dataset:
Sure, I guess "record type" makes sense? Basically a record type is a "struct" or a series of values with particular names (the "field names"). A tuple is the same thing, but by convention the "names" are by position (so you have the "0th field", the "1th field", etc).

A variant can be _one of_ a series of values (where a record is _all of_ a series of values), and each of the things can have a particular name (the "constructor names"). As with tuples to records, a sum type is just a variant where you don't care to name the constructors (so you have the "0th constructor", the "1th constructor", etc).

A common example of a variant is an "enum" type, where here the payload types are trivial (just the unit type) and only the constructor names matter. In hobbes we might write the type "|red:(),green:(),blue:()|" or the shorter syntax "|red,green,blue|" for an enum that we might write in C as "enum { red, green, blue }". You could also represent this same type as the sum "()+()+()" but that looks a little weird/profane and maybe not clear to other programmers.

Tuples are sometimes called "product types" and that connects well with sum types and the general logical/combinatorial interpretation of types. If you see the type "bool * bool" (or perhaps "2 * 2"?) then it means "a bool AND a bool" and there are four such values. Similarly if you see the type "bool + bool" then it means "a bool OR a bool" and it's either the first or the second one.

If you're interested in the general area of type theory, you might like the book "Types and Programming Languages" by Ben Pierce.
Century: Spice Road would be an obvious match for Splendor.
WTF! Spoilers!
It's a bash script. Execute it and it shows a dancing woman.

Edit: ok the bash thing is a red herring. It works if you just "cat lady".
This comes up every time somebody complains about Monopoly but even with auctions the game is still far too long and ends well after the winner is apparent.
Thanks for the write-up! I think building projects like this also cements the concepts in preparation for more complicated CI/CD systems.

One small correction: In the sentence "When copying over the config file, make sure to remove all breakpoints from the certificates. Otherwise this will cause a base64 decoding error in the build." I think you meant line breaks instead of breakpoints.
Seems to me that cash back is a way for card companies to compete on transaction costs. Directly adjusting the transaction costs wouldn't do it, because merchants won't pass the difference on to the buyer. By rebating part of the transaction cost to the cardholder, they effectively reduce the transaction cost, without having to get merchants to pass on savings.

The beneficiary of this scheme, as with most schemes to lower prices to undercut the competition, is me.
Programmers contemplating the automation of programming:

"To lift some of these limitations and start competing with human brains, we need to move away from straightforward input-to-output mappings, and on to reasoning and abstraction. A likely appropriate substrate for abstract modeling of various situations and concepts is that of computer programs. We have said before (Note: in Deep Learning with Python) that machine learning models could be defined as "learnable programs"; currently we can only learn programs that belong to a very narrow and specific subset of all possible programs. But what if we could learn any program, in a modular and reusable way? Let's see in the next post what the road ahead may look like."
If OpenACC worked as well as OpenMP (or OpenMP offloads worked as simply) it'd be huge, I would think
The stupidity of not raising the block side and pushing for segwit and side chains (or LN) as a way of scaling has been debunked so many time that still believing in it is like believing the earth is still flat. Come on, even a newcomer seeing full blocks, skyrocketing fees, growing transactions backlog will understand how brain dead it is to not increase the block size...

I know there are still people believing in Blockstream because of the intense censure and (paid?) trolls in /r/bitcoin and bitcointalk.org. But this bullshit show is going for more than 3 years now, if you still can't see through that, I'm sorry, but you deserve to be called a "pro-Blockstream troll". If calling things the way they are is incivility, then I'm happy to be incivil!
Here in the US, we might get a visit from the IRS and our account frozen. https://www.forbes.com/sites/robertwood/2017/04/05/91-of-irs...
as opposed to what? An app? A website is accessible from the largest number of places - my phone, any computer, etc.

Also, 1 intention of this is to streamline my browser use. So that instead of just opening up a new tab and getting distracted with social media/article aggregators, I can organize my time online. I open a new tab to this website and see my todos, things Im interested in, projects Im working on, etc. And thus I have a starting point to go from.

Im also considering adding Kanban board type functionality to it so that I can prioritize my personal tasks/notes/todos and then move them to in progress and done. This needs a lot of screen real estate.
The reality of it is the recruiter is working for the employer. The recruiter just wants to fill the vacancy as fast as possible and get their paycheck. They don't care about what salary they place you at because they get much more money by finding good candidates quickly, and they are unlikely to ever work with you again. But they will probably work with the same businesses over and over. The recruiter getting paid more because you get a higher salary only aligns your interests weakly. It can still make sense to work with recruiters for all the parties involved, but you need to make sure you are negotiating on your own behalf and plan that the recruiter will negotiate more strongly for the employer.
he works for a16z, you'll see it reflected in their investments - or not.

overall this is content marketing for a16z, right along their great podcasts, etc. attracting start-ups and good candidates to work for them.

being a visible, renowned think tank is not a bad place to be, if you have the money and patience to execute along that line. it is amazingly hard work to churn out quality content throughout the year.
I saw the same presentation. You're right, they could use a penetration team in the release development cycle.

I was referring to the access control model that's built in to Mainframes. They were pioneers of mandatory access control's and fine grained security.

Having fewer people working on them is a definite issue, though, when it comes to the kinds of exposures that Mainframe integration to a corporate environment entail.
turns out it's very hard to model a thing that we don't know how it actually works
Just chiming in to second the praise of Tichu: the rules just feel so well designed with their careful blend of systematic regularity (everything adding up to easy 100s, no asymmetry between the for colors) and convention (most new players already know the combinations from poker) that is balanced by just the right amount of occasional chaos (when too man hands align into "bombs") and arbitrary detail (the bird and the dog, two of those specially marked jokers) to spice things up. Everything seems to have a purpose, whereas the arbitrary elements of evolved rulesets of traditional card games often seem somewhat random to me.
I'm starting to see a bit clearer on how a fork would pan out:

Miners: Hashing power has little influence. As long as there are miners, and two chains rejecting each other transactions will be processed. At first, transactions processing might take a while, but difficulty will adapt. This will create two legitimate currencies. Now everybody in possession of 1 BTC would have 1 BTCa + 1 BTCb.

Exchanges: Little power. They will trade both BTCa and BTCb, and accept commissions.

Trader of goods, in embedded devices: They might have to modify their client to accept both currencies, but they would have to follow the market rates. Otherwise they would have to suffer income loss from people using them to profit from arbitrating the markets.

BTC-rich individuals: They have now 1 BTCa + 1 BTCb. But there is transaction replayability. If they spend 1 BTCa, their BTCb can also get spend the same way. And they lose their BTCb. Chains have a strategic advantage to replay transactions getting to the other one because: 1) they get to keep the commission, 2) they ascertain themselves as more encompassing economically (not sure on this one maybe, they want to stay neutral).

Now, if BTC-holders can wallet-emptying-double-spend them to 2 different addresses they control on the 2 chains. And, compared to the ones who got their transaction replayed, they have kept both their BTCa and BTCb.

TL;DR: IMHO, come the technical fork, some BTC-holders will be tumbling until they irrevocably acquire their BTCa + BTCb, and use them to make runs on the markets, effectively materializing the economic fork.

----

I'd love the opinion of someone who lived through the ETH-ETC split, especially about the transaction replayability part.
We may not be able to do this automatically, but you can use a kind of refinement calculus to accomplish this.

Start off with vague requirements from your client:

We need a machine which can wash clothes at various
temperatures and speeds. The user should have options
to control the temperature and speed since they'll have
different types of materials. Maybe we can give them
some preset options?

Conversation:

What are the temperature options?
Hot, warm and cold; but it's in two cycles and each can
have a different temperature.
How long should it wash the clothes for?
That depends on the material and how dirty it is.
What if it's really dirty?
They should be able to do an extra rinse cycle.
How fast should it spin?
That depends on the material and how dirty it is.

Refined (control panel only):

Dial presenting options for:
Sanitary
Normal
Sensitive
Bulky
Buttons allowing further refinement:
Water: Hot/Cold, Warm/Warm, Warm/Cold, Cold/Cold
Extra Rinse: (yes or no)
"Dirtiness": light, normal, heavy (impacts wash duration)

If you use a proper requirements management tool, you can trace every one of those final system requirements back to some (slightly editorialized) conversation or initial (ambiguous, plain language) requirement description. Of course, this will, in reality, be an iterative process as you discover ambiguities in the specification and code and go back to the client for feedback and clarification.
This is what the ENS (Ethereum Name System) will be doing. In face, if you see an ICO on the Ethereum platform that doesn't use the ENS, avoid it. The ENS is actually really cool.

Although, you should probably avoid all ICO's =p
Explain Why
Isn't plastic basically a byproduct of oil production? I'm not super familiar with the market, but my understanding was that gasoline was the main drivers of drilling, not the market for plastic.

It seems to me that recycling would just drop the price of plastic and encourage use elsewhere, but burying it underground would remove the byproduct.
If they hadn't built such a moat it would surely be irony but wouldn't have unusual to do what they preach
You could potentially have a compiler that would infer meaning & only fail compilation if the fuzzy natural language terms were ambiguous in context — just like languages like Scala currently infer types when unambiguous.

Also, feels like Inform7 should be mentioned in any discussion on NLP and programming: http://inform7.com

First thing to mind based on the article's premise and hits a lot of the article's desired points already.
gnome-internet-radio-locator 0.5.1 is now available
>As far as I'm concerned I still haven't found a satisfactory answer to this question.

Me too. What's better: people are now trying to take advantage of this uselessness beyond money using ETH. every idea for an etherium-based app I've come across seems better served by a real institutional intermediary.
Run SQL in Excel
I don't have ML or deep learning background (no Masters or PhD), adding comment from experience with backtesting trading systems. We will collect market data and design algorithms that seem to produce the kind of outcomes we want. Then test on some other data sets which the algorithms have never been applied on. Many iterations later, you can get a decent profitable algorithm. And if the 'holy grail' algo is run in market long enough, eventually there will be severe drawdown and going bust. The quality of the algo and I assume the deep learning model lies in the quality (breadth and depth) of the data, and how honest with himself the person choose to model it. There will be time and again new 'black swan' or edge events happening (remember LTCM), because using machine learning is like using the past to predict the future.

I guess as long as the users' expectations are correct it can be useful in some very specific areas. Referencing the AlphaGo game last year, I was a Go player for more than a decade. But yet AlphaGo's weird move inspires new insights that break the conventional structure / thinking-framework of a Go player. From that angle, I do think that even though DL is somewhat a blackbox, humans can pick up new insights because it explores areas which are normally ridiculous to a human with 'common sense' to explore.
So the latter? People need to have a stripe API key to use it to donate?
Tips for Data Science Success
Completely illogical...

> You call that cronyism. I claim it's the logical conclusion of human nature unfolding within an unabashed free market.

A free-market is reliant on government power to protect/enforce property rights. You claiming a system which strictly enforces property rights always leads to a system which disregards property rights is absurd.

Are you arguing that in order to keep people from wielding governmental power against others, we need to strengthen government? Really? Why not make it so government power being wielded is a non-issue?

> It's like claiming that sugary/fatty foods can't cause coronary artery disease because heart disease is caused by plaque. Technically true, but literally everyone's response is going to be an eye-roll.

A terrible analogy... What you're arguing is that a diet that avoids sugary/fatty foods will cause heart disease because people end up ignoring diets. That's not a good argument against dieting...
It won't get rid of everything but I think it would help a lot. You'll max out a $2K limit way quicker than a $20K and you have a chance of recovering from that. I liken it to parenting. You can't take a stance that your kids make no mistakes as teenagers, the best lessons are learned the hard way. What you do want to do is make sure they make small mistakes so they can learn without ending up in jail, pregnant or on heroin.
Now do that to a bank account in Canada and to exchange GBP to CAD.
Back around the end of February Khronos announced a "3D Portability" initiative [1], which would abstract over Vulkan/DX12/Metal. As I understood it, this could be a pure library solution which wouldn't require support from the platform and so would be less vulnerable to blockage by the usual walled-garden merchants. It was also mooted as a possible basis for WebGL-TNG.

Unfortunately I've seen nothing but tumbleweed ever since, which makes me suspect that this is one of those Khronos initiatives that never makes it out of the hangar, much less off the ground.

[1] https://www.khronos.org/3dportability
I want to know this as well
From an article describing their technology:

> Deep Learning 2.0 with redesigned neurons has the potential of realizing true intelligence as it is optimal for spatiotemporal pattern recognition and action selection, and it is developed from a rebuilt foundation of mathematics, physics, neuroscience and computer science. Deep Learning 2.0 in this context refers to the general physical mechanism of sensory information processing in biological neural networks.
Over the weekend, Elon came out with this:

"I've gone on the record several times that the stock price is higher than we have the right to deserve and that's for sure true based on where we are today," - Elon Musk

Probably had more impact?
Agreed, one of the most impressive games I have played is Terra Mystica, but only within our group when we are looking for something heavy. Phenomenal game mechanics.
If someone can MITM your download, in many scenarios they could MITM twitter as well.
> SegWit2x is an attempt to remove control from the core dev team

I disagree. SegWit2x is a misguided attempt to make Bitcoin "more efficient" without realizing that it puts at risk the core value proposition of Bitcoin: censorship resistance.

At the root of this debate is a disagreement about what the blockchain is for. On one side, you have all the developers working on the Core project and activists like Amir Taaki or "crypto-economists" like Paul Sztorc (creator of the decentralized prediction market which Augur is trying to re-implement), who believe the blockchain is for financial sovereignty. Bitcoin mining is a way to decentralize transaction validation, after all, such that no central authority can tell you which transaction is valid or not. Therefore, if you cannot run a full node and validate the mined blockchain yourself, Bitcoin is basically pointless because you have lost your ability to transact with censorship resistance. Increasing the size of blocks makes full blockchain validation more difficult. The risk then is miners mining a blockchain and you are not being able to contest it. The miners can decide not to include your transaction, they can require KYC for you to submit a transaction, etc., and you will have little leverage against this because you won't be able to validate the work they are doing.

On the other side, you have businesses and corporations (BitPay, BitMain, etc.) who believe that the blockchain can replace VISA, essentially, so they will do anything to make the system more efficient. This includes sacrificing decentralization and making it more difficult for users to validate the blockchain. They believe that being a full node doesn't matter and all that matters is replacing whatever current financial institutions are running with a blockchain.

What the second side of the debate is missing, however, is that the blockchain will never be as efficient as VISA. There is a reason why when over 70 of the world's largest banks got together at R3 and assessed how Bitcoin can help them transact, they came up with a distributed database called Corda and not a blockchain: blockchains are not efficient [1]. They are inefficient but they are useful because they are decentralized and enable permissionless transactions.

[1] https://www.corda.net/2016/10/r3-corda-makes-different/
How Google Wants to Rewire the Internet
They fixed the transaction replay ability I believe. I still have all my ETC, seems like it's not going anywhere.
You seem to be missing my point.

I can fork Linux right now, make some random changes and I have a fully functioning equivalent system with those minor changes.

I can fork Bitcoin right now, make some random changes to the consensus code, and I have a useless token that has absolutely no value.

These two things, are not the same. How can you possibly refute that?
Could you use an external GPU along with Windows?
When it comes to base images, I'd much rather trust Canonical, Docker Inc, Redhat, etc than Some Dude.
There are several reasons to want to reduce the number and size of landfills. First, landfills are very oxygen-poor, which promotes the growth of anaerobic bacteria. The bacteria produce methane, rather than CO2 when breaking down waste. Methane is a much more potent greenhouse gas than CO2 (though it doesn't stay in the atmosphere as long). Second, greenhouse gases are released in the extraction of petrochemicals. Reducing the new plastic created would reduce this effect. Lastly, landfills can have an immediate negative effect on the environment surrounding them if solvents and heavy metals leach out of the landfill.
Disclaimer: I don't know anything about bitcoin or if segwit2x is even the same as segwit...But a quick google for "coinbase segwit" shows this tweet from the Coinbase CEO - https://twitter.com/brian_armstrong/status/81725801561932185...
If the deep learning network has enough layers, then can't it start incorporating "abstract" ideas common to any learning task? E.g. could we re-use some layers for image/speech recognition & NLP?
Just the project owner.

1. Project maintainer add `npm-donate`;
2. Creates stripe account;
3. Add API Key;
4. Release;

Users that wants to donate to the project, doesn't need an API key.
> You are absolutely satisfied with all aspects of your job, including your salary... right up until the moment you hand your boss a letter of resignation.

Would you give this advice in reverse too? Ignoring lawsuits for a minute, as a manager - should you always tell your employees that they are doing fine, even if they aren't, right up until the moment you fire them for poor performance?
Ask HN: How do you get that dream job you want?
I'm in a position where I decided that I want to work for a certain company. The whole "dream job" thing. The thing is, they don't have any position open that I can fill at the moment, and though they solicit queries from people who "may not see a position right for you", they have not responded to me. Either generally or when I email individuals ("hey we live in the same city and I want to work for your company, can I pick your brain?").

Unfortunately, google doesn't really give good advice on how to track down a company and convince them to give you a job. And so I turn to HN. Have any of you pursued a specific company and succeeded in getting the job you wanted? What tips do you have? To avoid survivorship bias, what techniques have you found to not work?
Do any of these optimizations even get close to a 10x improvement? The network needs a 10000x improvement.
You can ask for a credit limit increase.
I am sure he does.
If it helps anyone, the FiveThirtyEight article describes a scenario where people take a survey about immigration status and voting. Most legal citizens will correctly identify themselves, but some will accidentally check the wrong box and say they are an illegal immigrant. If you have a billion citizens and 10 illegal immigrants truly taking the survey, and people check the wrong box 1 in 1000 times, your "percentage of illegal immigrants who vote" statistic will be about the same as for citizens (because almost all reported illegals will be citizens). Collecting more data won't help.

It's a very good article, though in the context of deciding how many variables should be in a model of some complex phenomenon, this example is a little tougher to wrap your head around. It's not quite a predictive model, but there were some variables left out. A naive model I suppose is "this data is generated by infallible respondents", whereas a better model would incorporate that error rate. There isn't as much of a question about which pieces of information are relevant, though, like you might encounter when trying to predict future drug use from household income, race, age, number of books read as a child, number of pets, and so on.
Not extrapolating isn't really an option in cases like this. You have to give some prediction for earthquakes of magnitude 9. Ultimately you must make a decision on whether to design for such an event.

But a sensible thing to do would be to draw many samples from the posterior distribution, instead of just using the maximum likelyhood estimate. That way the prediction accurately represents the uncertainty resulting from not having any data above magnitude 8 as well as, perhaps, your background knowledge that earthquakes of magnitude 15 never happen.
Add API key where? I don't get how this authenticates to Stripe without distributing the API key.
Okoli connects you with tour guides around the world
Are you interested in any side work? I'm always looking for good freelancers. My email is in my profile if you want to get in touch.
So where do you live?