skysight-inc/HackerNews huggingface dataset:
> Some aspects, as in: not possible to describe state machines by types.

I really don't understand this, I mean:

data TrafficLight = Red Int
| Green Int
| Yellow

(let's assume that you have a flexible traffic control system which permits chaning the duration of Red/Green due to live traffic data, but Yellow must always be, say, 5 seconds because the safety requirements say so.)

Add a function

nextState :: Input -> State -> State
nextState = ...

and you're done. Am I missing something?

EDIT: Oh, I think I see what you're saying. This doesn't provide that many guarantees at the type level about state transitions, but I'd counter that: a) You have other options than "Int", so you could manage valid states more strictly, and b) There's such a thing as Dependently-Typed languages, say Idris, so you can go even further. Then, perhaps Dependently-Types languages was what you meant by "active subject of research". I'd probably agree on that :)

> Add asynchrony in the equation and you're out of luck.

Not sure how that's to be interpreted? Are you talking about asynchronous updates to state, or...?

> And transducers can also have asynchronous behavior.

Is there a formal description of what semantics they have in that scenario? Or are we just going by implementation details?

EDIT: I should say: I'm not being faceitous or going for any kind of 'gotcha' type thing here. I'm really curious; maybe I'm just misunderstanding your post.
I am an engineer, but I realise that what matters to me will be different to what matters to many others. The point about empathy is an interesting one though - might try and highlight the empathy we have in the company, thanks.
>> And if you can’t make it there, as the song sort of goes, you can’t make it anywhere.

The song sort of goes the complete opposite of that :).

If I can make it there,
I'll make it anywhere.
It's up to you, New York, New York.
/r/Entrepreneur

/r/SmallBusiness
Show HN: ESENT Serialize, a .NET Persistence and Query Layer for ESENT NoSQL DB
Useful. Interestingly, starting a clean and blank new doc is notably faster from this page than from the Google Docs/Drive file listing page.
Got some spare time, ported my old open source project to UWP platform. Used the library in several commercial projects, works OK.

MS-provided ESENT API is too low-level, and its documentation is too low-level as well, making the DB engine relatively hard to use.

Hopefully, I was able to fix that.

As a starting point, here’s a quick start demo project: https://github.com/Const-me/EsentSerialize/tree/master/Demos...
Compilers matter because of DSLs. The rest is of a marginal importance.
I'm British and I fully intend to vote to remain in the EU. I also completely concur that being isolationist would be stupid and damaging.

But to imply that the only way to engage with the world is via the EU is just not true.

Almost everything you point out about the UK be it language, education, economy, immigration were true before we joined the EU (and were true before the EU) and will be true were we to leave. I've no idea what you think the EU does for us militarily. NATO, sure, but that's because of the US.

There's absolutely no reason to believe that we'd suddenly turn into a shrinking violet without the EU helping us see the big, wide world. For some of the economically smaller nations sure, the EU is fantastic. But the UK has the 4th or 5th largest economy in the world and it's not as if all the growth potential is in Europe (arguably the opposite).

Now, my personal view is that, economically, it's likely that we'd be better off in the short to medium term remaining in the EU. There are too many variables to have a meaningful long term view. Politically the EU is a mess but is likely to be a mess whether we stay or go. We're clearly not aligned politically with the bulk of the EU members but we're not going to suddenly turn into a dictatorship or a hippy commune if we left.

But to imply that the EU is the only answer for a country like the UK is as illogical as implying that the only answer is for us to leave.

Oh, and the reason we all speak English on HN is because it's the primary language of the US. If they hadn't reached economic and technical dominance in the mid-20th century I would fully expect we'd be writing in German as that was the lingua franca for scientific and technical work. There's much that the world should thank us for (by which of course I mean cricket) but this isn't one of them.
I'd love to make a small change to the English language. When speaking of speculation and rent-seeking activities, don't say "make money", say "obtain money". Reserve the term "making money" for activities which create value.

Just try it: how successful and glamorous does your rich banker friend seem when you describe him as an obtainer, rather than as a creator of wealth?
That's far from "Everything you wrote was wrong".
Ten signs you're burning out (and how to stop it)
Truman's duty was to humanity, not "American boys".
Yea, I recently turned down an interview when I was told there would be 4 technical interviews, followed by a 2 week trial period working as a contractor. How about no!?
A classic example of this is Tetris, where the official version provides a random permutation of the seven pieces, then another random permutation, etc. This gives you variety and unpredictability while simultaneously guaranteeing that you never go without any particular piece for too long. Many clones just provide pieces purely randomly, which tends to give you a feast or famine situation for useful pieces.
> What good does it do when your code suddenly throws a fatal error at runtime because you did not respect the type specification.

The good it does is it stops your application from possibly continuing on with buggy code.

This is especially important in something like billing code. Imagine if your code was expecting an integer (bill amount) but got a string instead that via the types system evaluated to 0 or 1 instead of the real integer... In that case you might charge customers less or more than you should have and its a big deal trying to get all that fixed.

Better to just throw an error which you can see in an exception handling system like Sentry and take care of the problem.
A 3rd GraphDB vendor, ArangoDB, did benchmark both of them. You can find the results on their blog at https://www.arangodb.com/2015/10/benchmark-postgresql-mongod...
> No, you shouldn't be thinking about these things. Because you'll get them wrong.

This attitude is really pervasive in web development, and I think it's kind of bizarre. If you're building something as a developer, you need to understand what it's doing, because at some point something will break and you will have to debug it.

When you get to the point you have to debug it, are you going to want to figure out some sort of insane meta-object protocol where you can't figure out where or why a method is dispatched, at what point inputs get santized, etc., or do you want to walk down a simple function chain?

Keep in mind I'm not advocating rolling everything yourself, I'm saying if you use a library it shouldn't be treated as a black box. I'm advocating avoiding abstractions that obscure your ability to understand what's happening (what I call magic). Use a library for user authentication, for sure, but if you can't explain how it works well enough that you could replace it, you shouldn't use it.
Once you have carefully looked in the obvious places, contrary to the proverb, absence of evidence is evidence of absence - not very strong evidence, but still.

With the attention paid to this topic, if no causal relationship has been found, then it does imply (though not conclusively) that in most circumstances breakfast does not have any strong, meaningful beneficial (or magical) effect.
Creating a monopoly is not illegal, it's illegal to use monopoly power to damage opponents.
Interpreters are inherently very complex, far more complicated than compilers. It is a bit harsh to start learning this subject with an interpreter.
Can you tell us your rationale for patenting this "CSS-based language"?
>It is a stupid, stupid piece of crap.

You haven't convinced anyone for either your eloquence or your argumentative skills.

All your comments in this post, furthermore, suggest a teenager or close. Not to be ageist, but "stupid piece of crap", "shittier community", "drama loving, infantile minds" show neither deep thinking on the subject nor much maturity.
That's not exactly right, to put it mildly.

The Fed provides a mechanism to the market to create money by borrowing from the Fed, and repaying at interest. Entities allowed to borrow from the Fed (banks) are strictly regulated. If they think they can make money by investing what they borrow, and it stays within the strict capitalization laws, then they borrow. That grows the money supply. So the Fed doesn't actually "print money". It provides a mechanism for the money supply itself to grow, based on market demand. The prime lending rate sets the cost of that growth - if the economy is growing too fast (too much demand), they increase the prime, increasing the cost to banks and limiting growth. If the economy is shrinking, they reduce the prime, making it cheaper for banks to lend money (and businesses to borrow), stimulating the economy.

Economic growth is simply an increase in production relative to inflation. High inflation hurts growth (by eating into profit). Deflation (negative inflation) hurts growth by making it profitable to simply stuff money in a mattress rather than investing. Economists long ago figured out that low but positive inflation is the right place to be. The Fed manipulates the prime to try to keep things there.

Questioning the "ethics" of this is questioning the ethics of the very concept of a free market.
Umm, you know, you're already commenting with your other sock puppet?
That's absolutely right! With a minor caveat that there has been some prosecution of non-insiders who are tipped by insiders, but that has been eroded by recent cases much to the SEC's annoyance.

I would also take issue with Altucher's statement that you're not allowed "to make money on" insider info. Insider trading liability is about trading on the info, whether or not you make money, or even lose money, on a particular trade. It's just a lot easier to catch people who make money at it.
When adding an edge, the end vertices are assumed existed. In your case, we could add a helper function to import a list of edges, similar to Spark GraphX.
No Shortcuts to Software Development Experience
My thought? Not sure if I want a lot of that illusion to be shared. I wish AR would be used to really augment people, and that for me implies a degree of customization.

This topic is super interesting to me too. I just don't want it to look like on that video...
After Austin's rideshare vote,a disaster of price gouging,traffic and bad taxis
EURJPY: Weakens Below Its Consolidation Range
You may be thinking of tippees. Due to recent cases, it is a lot harder to prosecute them successfully. With that minor caveat, the top commenter is absolutely right.
ha! the only other option is far-left. not a great selection here...
Ask HN: Are you scared of Cancer?
For many types of cancers the causes remain unknown. Doesn't that scare you? I can't help but think about it whoever I am making a meal.
The problem is that I imagine getting any farther is extremely difficult, and I wouldn't be surprised if future breakthroughs come from the computational biology / geno/proteomics crowd instead.

"How does changing the raw materials going into this mind-bogglingly complex collection of biochemical processes we call a body affect the whole?" is a rather difficult question to answer.
Death zone
What do you think of the Perl 6 approach of providing both DWIM (weaker) and DWIS (stronger) typing?

* Numeric and string operators are kept distinct. For example `+` means numeric addition, never concatenation or some other string operation. To compare two strings, use `eq`, to compare two numbers use `==`. Etc. This sets things up nicely for supporting both DWIM and DWIS typing.

* DWIM typing: If you write something like `a + b`, you always get numeric addition. If need be the compiler tries to coerce `a` and `b` to numbers. `"12"` or `" 12" will both successfully coerce to 12. `"123foo"` and `"bar456"` will fail to coerce. If the coercion fails the program crashes at run-time.

* DWIS typing: To tighten type checking, add a type constraint. For example, `my Numeric (\a, \b) = ...` ensures that `a` and `b` only ever contain a numeric value.
Start by building simple DSLs that can make your work easier, ideally on top of Racket or any other similarly powerful framework. Learn by following the simple examples.
CME Upgrade Soothes Critics Who Viewed Prior System as Unfair
Let's break this up a bit, remembering that assignment is right-associative:

$c = 2; # Assign 2 to $c
$d = 3; # Assign 3 to $d

[$c, $d] = [1, 2]; # Assign 1 to $c, assign 2 to $d

$f = [$c, $d]; # Assign [1, 2] to $f
There potential here as some of the problems they're trying to solve have solutions that were applied elsewhere. They just need to roll their own. Plus, I have a plan of my own for Singapore as they're in a near-ideal situation to be a supplier of trusted chips and hardware. Possibly software, too. I doubt anyone has introduced them to Cleanroom, Correct-by-Construction, etc. They have smart, cheap labor that could make high-quality software and systems cheaper. On top of secure hardware with more trustworthy manufacturing.

Lots of potential here. I wish I could get in touch with them to run some proposals. I'd have to do it face-to-face, though.
You Shouldn't Learn to Code*

*Do reconsider if you live in a third world country.
A minister in the most developed EU country is quite a degree, though.
Just an offtopic, do you have any professional relationship with LootMarket?
For residential installs, solar systems go up on roofs, a few kilowatts at a time. The main risk is to the installers (they fall off). Little capacity per roof, every roof different, every fall a potential hazard = higher risk per kilowatt than you might think..
>but then he goes and brings out (c) as an argument for his conclusion, while also being methodologically weak at the same time.

Here's the thing though: he has every scientific and methodological right to do so.

It's those making a claim (that breakfast is good) that have to prove it.

If they fail to provide evidence for their claim, those who like the author merely point out that their research is weak don't have to prove breakfast is neutral.
Hi, I just fixed that error. Can you clone the latest code and try again? If you still have any problems, please create an issue on Github. :)
Each of these use cases can be done with bitcoin too. Pick any and I'll tell you how if you couldn't figure out.
It really depends on your skillset... if you code or do creative work, building a theme, shooting stock photography, or creating music with low licensing fees are all good things.

I found this Inc article from January of this year pretty on point as well: http://www.inc.com/sujan-patel/you-don-t-need-to-be-a-millio...
GitLab Container Registry
Is "hyper" used in the "hyper-active" sense?

The video is portraying augmented reality (as satire about current marketing practices and corporate attempts to minmax everything). If I understand Baudrillard correctly, Disneyland or "reality" TV are hyperreal. To be hyperreal, wouldn't you would have to believe all the augmented ads/etc in the video were reality?
API Design Reviews at Scale at Google [pdf]
Mostly logistic regression, and sometimes deep learning. Both are part of ML.
The fact remains that hydro power requires storing the potential energy of a very large amount of water. This is inherently a danger for the population living downstream. I certainly would prefer to live in the vicinity of a nuclear power plant rather than in the floodpath of a large dam.
The basic answer is that transactions are small and not everyone needs to store the whole chain. Even now storing the whole blockchain is slightly 'enthusiast'. I think it might go more in this direction in the future, but at the same time the cost of storing the entire blockchain on an SSD and the bandwidth to sync with the bitcoin blockchain are nearly trivial (the blockchain stands now at 75GB).

I think the likely evolution in the future is that most people won't store the blockchain, but that there will be multiple separate currencies and enthusiasts will store the blockchain for the ones they use or are interested in.
Lahkpa Sherpa Summits Everest Seventh Time
Perhaps a negative example might be interesting? I started working on game-development tools in 2015 and have sold a grand total of $0. Granted I have been contracting for the last year and haven't done development or marketing for a few months, but I would say it's a clear non-success.

If you're curious what it was, it's here: https://codano.com/typeforge/.

The reasons I've probably done poorly:

1) I haven't spent time networking with the people who are the market of the product. I worked with a few people on /r/gamedev on it last year, but never followed up.

2) There's a lot of other tools in this space, some free, some not-free (but platform-limited) and I haven't distinguished myself from any of those.

3) There's not a lot of supplemental material to suggest how people might use the product and why people might want to use this product over any others.

EDIT: and if you want a free license for kicks, just email me (see my profile).
This is completely incorrect. Java's null value is only valid as a value of an object type (e.g, Object x = null), and void functions don't return an object.
I can see myself paying for this to improve my next presentations, the value proposition is really good!

I'm not sure of the business model for big customers though, the gap between 100 and 5000 downloads being huge. Maybe unlimited downloads would be better, maybe not, only time will give you an answer.
I am at least one adult that is /not/ a parent today because I do not feel like I can provide enough /stable/ resources to start a family. That is one of the two main factors in my not even being 'on the market' relationship wise (when traditionally someone like me should be).
GitLab Now Comes with a Docker Container Registry
I've had that happen to me, twice. "You're overqualified for this job, three months from now you'll find something better". I was making a lousy salary at the time so I was quite bummed by that...
Granted, this is in-memory computing and not intended for persistent storage. There's nothing stopping you from using Spark's SQL drivers (which support ODBC) to load things into memory, unless your database does not support it.
Each of these use cases can be done with bitcoin. Pick any and I'll tell you how to do it if you couldn't figure it out.
Wonderfully done. Both this and the Domestic Robocop one they did six years ago linked by 'Karunamon. I appreciate the density. Lots of detail to read into.

Two pieces this was reminiscent of and I'd suggest, if you're interested, are:

Black Mirror
especially Series 1 Episode 2 "Fifteen Million Merits"
and
Terry Gilliam's Zero Theorem
checkout http://elixirlang.org/docs/stable/elixir/Kernel.html

Traverse nested structures with `get_in`, `update_in`, `put_in`, and `get_and_update_in`.

Double down and stick with elixir. Any FP principles you learn there will help you should you decide to learn another FP language.
I consider a progressive tax code to be justified by supporting the system which permits large gains.

There is also an argument about holding onto large amounts of wealth being difficult without expending some of your resources to protect it. If nothing else, taxes spread the burden of the security apparatus around. If you have more to lose, you pay more to protect it.
Agreed. It really left me wondering, "Am I hurting myself by taking all that Claritin and NasalCort and NasalCrom and all those other anti-allergy meds that have made life livable again?"
Correct. I am tirelessly ranting that the major culprit here is the infamous "Dragon Book". It somehow managed to turn an easy and fun subject into something intimidating and thoroughly boring.
> He did provide them but didn't do a very good job, tbh.

Well, yeah, that was what I pointed out in my original post :).

I think we agree.
Its important to add that Senators and Congressman are exempt of insider trading.

Here is a good start to read on subject:

https://www.techdirt.com/articles/20130416/08344222725/congr...

That's how you get average poor/rich individuals like N. Pelosi and H. Clinton going from $100k per year to racking up $300MM in fortune within 10 years.
Nope. You're ignoring the timing.

If I sell and then disclose a failure in regulatory compliance that requires a redesign, or buy and then disclose the R&D breakthrough, I've won.
Do you have any citations on morning insulin resistance? Even a starting point would be appreciated. If not, I can search myself. I'm curious, as I just recently switched from a cereal-heavy w/ coffee breakfast to a strictly-smoothie w/o coffee breakfast (likely high in simple sugars, but I try to blend in at least something dark green). Initial results seem positive.
Java does still include some boilerplate for setting up classes — though that may go away in 10 when they add scripting. However, it is a lot more terse than in 7:

package com.shekhargulati.ninetynine_problems._02_arithmetic;

import java.util.stream.LongStream;

/**
* (**) Determine whether a given integer number is prime.
*/
public class P31 {

public static boolean isPrime(long number) {
return !LongStream.rangeClosed(2, Math.round(Math.sqrt(number))).anyMatch(n -> number % n == 0);
}
}
I'm as clueless as you are about that asynchrony business, but would like to point out that you are not fully describing your state machine within the type system unless the typechecker prohibits you from defining (nextState Yellow == Green).
How could either of those situations make someone an insider or have anything to do with RICO? Buying a product and testing it is something anyone can do and doesn't require any inside information.
Many shortsellers do this successfully without issue.. The historic way was to just do really intense due diligence into the financials, but lately they're becoming more sophisticated to find companies lying about their books. A fun example was a short seller counting the number of trucks leaving a factory to prove that the order volume was being inflated. Another fun one is using daily satellite photos to estimate how many cars are in the parking lots of retail establishments.

In the US, this is all legal -- as long as you're not breaking laws to collect the data, you're free to trade on any info you collect. Unfortunately, many of the unscrupulous publicly traded companies are Chinese and the laws are much more fluid around embarrassing companies there.

A good article: http://www.reuters.com/article/china-shortsellers-idUSL4E8K4...

Or see any research by Muddy Waters (among many other short sellers): http://money.cnn.com/2012/05/02/markets/muddy-waters-carson-...