skysight-inc/HackerNews huggingface dataset:
Cool. I have been mulling what it would be like to have a semigraphical tool to generate SQL queries (Spark,Hive,VoltDB,etc) where the user would drive a keyboard applying operators over columns, rows and relations for mapping, filtering, joining. Like VIM plus ZPL and the goal is a statistical result over some range. Why can't prolog programs generate our programs? One of my query visualizations is an origami like structure where data is joined across a relation, something like an Explain Plan on Hollywoolsd.

By analogous, I meant more generally, using some partial knowledge about a program or spec to fill in missing pieces, not types specifically.

Nice to know folks are using these techniques to do real world tasks, I always thought something like this would be first used for cleaning data. Types, properties, sketches and examples.

Three levels of relatedness, https://vimeo.com/22606387
Yes, but can someone else's Apple Watch also my hotel room door?
For point of comparison, from the article:

Turnover in the retail sector has been steadily rising and now stands 5 percent a month.
Perhaps by the limited vocabulary from which `type` can be drawn, i.e. don't name your function `text` ?
What length of flight are you taking?

I just flew a 12.5 hour from Vancouver to Guangzhou, China then a 9.5 hour from there to Melbourne. Then I did the whole thing in reverse 2.5 weeks later.

On those flights, a video screen makes a huge difference!
I thought that a cli version might be useful too. The closest thing I have right now is sed/awk. Sed can do this kind of stuff but you have to specify a Regular Expression instead of a simple example. Because you have to be more specific about what you want, Sed will definitely handle those examples, with the caveat that you have to tell Sed what it is that you want to substitute and where for each line.

http://linux.die.net/abs-guide/x19673.html

It took me about a year of use before I could figure out how to munge lines in it, so it's definitely not for the faint of heart. I use it for things like transforming excel spreadsheets into C struct arrays.
Bootstrap 4 will be in SCSS
I see no reason to? This is a UK bank, not observing security, UK levels of sarcasm are entirely in order.
PRNG determinism is widely utilized in TAS (Tool-Assisted Speedrun, basically a game played using tools such as frame advance and save states to simulate a "omnipotent" player.) to manipulate games to achieve favourable outcomes. Usually the game code is reverse engineered and a Lua script is created that searches forward in the RNG outcomes to find the ones you want, it is then up to the runner to execute actions in the game that give you that state.

One example of this technique which I particularly like is the "100% Souls" run of Aria of Sorrow, where the normally very grindy process of getting enemy soul drops is trivialized by making sure that every enemy will drop a soul the first time it's killed: https://www.youtube.com/watch?v=DfkJpzBoJ-M
is there a place to read more about the development of wow (both history and current pipeline)? fascinating stuff
>I think at long as gas prices aren't too high, far more passengers are going to pay a small premium for direct flights on smaller economy planes, and stay away from the 380s and 747s.

As an airline you don't get a superjumbo to save fuel or provide more amenities. You get one because you have only so many landing slots in a particular airport and the only way to increase passenger volume is to increase the number of passengers per landing.
In general terms yes ;)

I build a website for a customer and did seo/sem/content creation/affiliate management and whatnot. The customer only shipped the actual product.

The relationship had a lot of mistrust and bad vipes throughout the entire project, and when revenue skyrocketed the customer witheld the last couple of months of payment (fixed + revenue share) and jumped to another system.

I sued and neither lost nor won but something in between - paid the laywer+judges 50.000 USD and got nothing from the customer.

Spent countless hours being angry, nervous, sad, in court, talking to lawyer, bitching about the customer where I could have been working for new customers, building new projects etc.

These days whenever a project starts to smell I quickly walk away from it, only concentrating on those that makes sense.

The return from working with happy customers is much higher than spending time in court - also it is more fun!
I can't help but feel that releasing Swarm was akin to giving someone a lateral "promotion" within an org to remove them from a space you don't want them in any longer, like Milton being moved into the basement in Office Space. They wanted to pivot, but with check-in so core to their identity, they had to move it to the basement so the rest of the core app could flourish.

Does anyone here actively use Swarm or any other Ambient Social Network? Why & what is your take? Like the various other Ambient Social Networking apps that came before it (Highlight, Sonar, Banjo), it would seem to suffer from a severe chicken and egg problem.
Ah, those screen shots made me sad. The main reason I played WoW was for exploring, and I left when the only thing left to explore were dungeon raids with huge numbers of prerequisite "keys" to gather, as if it weren't just hard enough to get that many people together for the raid. I wanted to see the dungeon and would have been happy to leave without any loot (because I lacked the keys or whatever) if that was needed to balance the game mechanics. But I left when there was no more land to explore. And now the lands I knew are ghost towns?
Meet Droplet: The Smart Reminder
Interesting, people thought the same thing about EQ expansions. I've heard many people say they wish they could play a server with pre-Luclin
Scientists discover asthma's potential root cause and a novel treatment
I would wager that the crypto settings are done by some central IT organization within the school. Experience would suggest that the CS professors think the sys admins are a bunch of amateurs, and the sys admins probably think the professors are snobs with no appreciation of cost and "real-world" applications.
So how do you script the raids (or do you?) When I last looked at private servers all of the scripting for the boss mobs was unavailable so you basically had every boss be a simple spank and kill fight.
I'm not a physicist but my understanding of it is that inside a black hole all spatial dimensions inescapably point toward the singularity. If we were inside a black hole then we wouldn't also observe the universe expanding in all directions like ours is (unless time was running backwards?).
First of all, I am not an advocate for paying stuff. I just didnt like how he painted himself as a victim: he had plenty of choice and what he chose is his responsibility, not a curse.

I don't always I pay for what I watch, sometimes I use a VPN to watch Louis Theroux on the BBC's website (you want me to be specific right ?) and I will never say that I didn't have a choice because it is ridiculous. Saying that the act of not paying for something is imposed to you is counter-productive.

I could have said "watch a film, or listen to a song, or read a book, or just be entertained", I chose "consume content" because it is shorter. I could enumerate every aspect of content consumption but that would be counter-productive as well.
> A72 is nice, but to really compete in the server market I think they need another product. One that drops the performance/watt metric for the "as fast as it goes" metric.

That seems like vertical scaling instead of horizontal scaling. I'm not sure how much money there is in the former market—maybe look at mainframe markets.

Horizontal scaling is a much easier sell, especially for data centers. I will put money on the fact that Facebook will eventually invest heavily in this architecture design.
Which part of Nim reminds you of Haskell, exactly?
So I just need a pre-hashed table of all 80 possible single chars for a lookup table?

That is worse than a hash of SSNs.
In the case of LibreSSL, it's probably not going to happen very soon; the OpenBSD devs are very much C programmers (and Ted Unangst already addressed this in the case of Heartbleed, though his methodology is the subject of some contention: http://www.tedunangst.com/flak/post/heartbleed-in-rust ).

While Ted's post has been criticized by a few Rust programmers (see: http://tonyarcieri.com/would-rust-have-prevented-heartbleed-... ), it still brings up the argument that one's language choice isn't a magic bullet. There's an adage (I have no idea who originated it) that's along the lines of "every 'idiot-proof' system underestimates an idiot's ability to break things", and that's worth considering here. Rust prevents a lot of bugs, but it's not a guarantee of security. One needs to understand the actual problem that needs solved, and this is where the OpenBSD devs are focusing with LibreSSL (and their various other projects); their security track record stands as a good testament of that notion of understanding trumping language choice.

This isn't to say that I disagree with you. Rust is readily poised to replace C in a lot of contexts (IIRC, one of the obstacles right now is the use of a different allocator, so trying to use a Rust library from C results in some performance overhead), and it would be nice to see it used in a lot more projects. Just bear in mind that moving to Rust isn't the only step that would be required to fix these sorts of security bugs.
the money behind that push is the unions because government contracts are tied to minimum wage, hence if they can push the idea that 15 is fair; I think its excessive in the extreme for unskilled labor; then that in turn boosts what government contract pay out.

32k for unskilled???
I spent.. a lot.. of my life in dustbowl. I still know dustbowl better than actual houses I've lived in.
Do you know the state of the art for ceramic engines?

IIRC, it wasn't feasible to make large parts with available sintering tech.

This rotary engine being smaller, perhaps its feasible to use ceramics.
Yes... To make a generative model that can outperform humans in a social setting? I think it is technically feasible to do basic sentiment analysis, but the generative model... sorry, I think that NLP tech is just not there yet.

On the other hand, I think it is a good idea to have a sentiment analysis system in place that advices users on overly negative sentiment in their comments or e-mails. I wish there was one already integrated into YC comments and into Gmail. Potentially can make life quite a bit nicer actually.

P.S. like your wording 'automated soothsayer'. Funny that the next logical step would be wasting money on 'automated soothslayers' ;)
It's a mistake to think of the NYT as a monolithic entity that deliberately leans one way or another. I've got a few friends who work there, and they all report that "the" Times is actually about five distinct fiefdoms engaged in a constant battle with one another. It's a real shark tank, politically speaking, and not the kind of place with the sort of absolutist, top-down structure (like, say, Bloomberg) that's conducive to straight party lines.

That said, it was a bullshit link-bait headline buy hey, traffic, right?
For the same reason anyone would choose C# over F# (also beyond my comprehension) ;)

The difference in power and safety between VB.NET, Java, and C# is minimal. Meanwhile, F# is leagues ahead. These days I see someone using C# who looks down on Java or VB.NET as a sibling laughing at their identical twin.
I heard Haskell is a poor choice for real-time systems and numeric computation. It's kinda ironic that a language as "mathy" as Haskell is such a poor choice for doing actual math. Assuming these things are true.
I tried to write a Haskell websocket server, the library is quite nice, but it leaked memory (space leak? fragmentation? some of both?):
https://github.com/jaspervdj/websockets/issues/72

The author helped me narrow it down to some issues with how ghc by default allocates a stack space that is rarely enough, and once it starts growing the stack space the RAM per connection gets pretty ridiculous. Using higher default stack space helped remedy this some, but the per-connection RAM cost was still way higher than Golang/Python which I was comparing to.

So... separate project, I write a load-tester in haskell for a websocket server. I need to issue some HTTP requests, and I see Brian O'Sullivan made a nice library, wreq. I use it as described and quickly discover it uses ridiculous amounts of memory because it doesn't mention that you should always re-use the Session (the underlying http-client emphasized the importance of re-using the Manager):
https://github.com/bos/wreq/issues/17

(I am sorry that this issue prolly came off as a bit whiny there, I was very frustrated that such a gap was omitted from the docs)

So, my program is working pretty nicely, until I discover that its not actually sending multiple HTTP requests at once (even though the underlying http-client lib has a thread-safe TCP connection pool). After browsing some code, I see the problem:
https://github.com/bos/wreq/issues/57

The solution that was so far implemented seems equally weird to me.... letting different requests stomp over the Session's cookie jar... I forked it so that I could have multiple wreq Sessions use the same Manager, and now it finally works as it should.

I won't even go into how some of these libs have occasionally wanted conflicting dependencies which leads into its own 'cabal hell' (googling for that is entertaining unless its happening to you).

I've only been writing Haskell for a bit over a year now, but everytime I write code with it, despite my love of the language, the libraries and run-time end up frustrating me.
The Web Platform Podcast – Aurelia.io
What hardware crypto does a Raspberry Pi have?
Design for Growth
Tell me about it. I work for a publishing company that's transitioning from Print to Digital that deals with firms that are even less far along in the transition than we are. So, at least once a month, I have to tell someone, _again_ that we can't use Flash banners in email. We will NEVER be able to use Flash banners in an email. STOP ASKING.
They surely have their niche - Europe to East Asia, USA to UAE.

I think they'll survive.
FWIW Some of us have built a nice ember.js wrapper around Materialize :)

http://sgasser.github.io/ember-cli-materialize
https://github.com/sgasser/ember-cli-materialize
It would be an interesting experiment, seeing as how Rust code can be called from C and vice versa.

There's already been some tinkering on various operating system kernels written in Rust (even if they don't do much besides printing "Hello, world!" quite yet), so I figure a pure-Rust standard library is the next step in that.
> After invading Greece and receiving the submission of other key city-states, Philip II of Macedon sent a message to Sparta: "If I invade Laconia you will be destroyed, never to rise again." The Spartan ephors replied with a single word: "If" (αἴκα).[27] Subsequently neither Philip II nor his son Alexander the Great attempted to capture the city.

Probably, one of the best replies I have ever read.
4 Essential Tips for Growth Hacking Your Startup Mindset
It's okay to mix hacker things and non-hacker-related things if they're interesting. It's how I live my life, actually.
I went through some examples to make 100% sure that fold has different behavior than foldl/foldr:

fold [[_ 4 _] 3 _] → f 4 (f 3 #)
fold2 f # [[_ 4 _] 3 _] → f (f # (f 4 #)) (f 3 #)
foldl f # [[_ 4 _] 3 _] → f (f # 4) 3
foldr f # [[_ 4 _] 3 _] → f 3 (f 4 #)

Reductions:

fold [[_ 4 _] 3 _]
f (go [_ 4 _]) (f 3 (go []))
f 4 (f 3 (go []))
f 4 (f 3 #)

fold2 [[_ 4 _] 3 _]
fold3 f # [[_ 4 _] 3 _]
f (go [_ 4 _]) (f 3 (go _))
f (f (go _) (f 4 (go _))) (f 3 (go _))
f (f # (f 4 # )) (f 3 # )
f (f # (f 4 # )) (f 3 # )
f (f # (f 4 #)) (f 3 #)

foldl f # [[_ 4 _] 3 _]
go # [[_ 4 _] 3 _]
go (f (go # [_ 4 _]) 3) _
f (go # [_ 4 _]) 3
f (go (f (go # _) 4) _) 3
f (go (f # 4) _) 3
f (f # 4) 3

foldr f # [[_ 4 _] 3 _]
go # [[_ 4 _] 3 _]
go (f 3 (go # [_ 4 _])) _
f 3 (go # [_ 4 _])
f 3 (go (f 4 (go # _)) _)
f 3 (f 4 (go # _))
f 3 (f 4 #)
In favour of what?
My first concert was a band called The Chariot in some cramped bar and when the audience started moving it was like everyone was in sync because you couldn't move without pushing someone and it was one of the best experiences of my life.
It's useful for more general folds over more general types. If you have a tree structure then you might not want to fold from the left or the right but instead in multiple places in parallel and then combine them at the end

* + (* + (* + (* + (* + (* + *))))) versus
(((((* + *) + *) + *) + *) + *) + * versus
((* + *) + *) + (* + (* + *))
not rich enough to pay for wsj paywalled articles at least. dumb link.
In general relativity a black hole actually has zero volume and thus infinite density. If it has angular momentum it will collapse down to a ring of zero thickness and finite radius less than the Schwarzschild radius.

So basically the assumption for the singularity is because the mathematics of general relativity leads to (coordinate independent) divergence at the center of the black hole. What the physical significance of that is and how it jives with our understanding of quantum mechanics isn't fully understood.
If you turn on "Show Paint Rectangles" you see the entire SVG element is being repainted on every change, including rotating. Chrome doesn't handle this animation as good as it could, so in the meantime, they should to adopt a technique described by Charlie Marsh here: http://www.crmarsh.com/svg-performance/
Last time I played, Eve had levels.

If you haven't got X months in battleship skills, you can't fit one to fit with the rest of the gang, so you'd have to fly support. Then the next level is carrier/dreadnoughts.

Worst part is there's no way to speed it up.
Can you make external "C" callback functions generic? The function itself I mean, not the signature of the FFI function that takes the callback. If so, there's a great use case for not mangling C callbacks.
So there you go, LESS lost, SCSS won.

I think this was obvious to most people pretty early on, but interesting to see this happen.
I actually thought that too, but I guess that's not the case. I helped write some HTTP2 frame-parsers for Haskell using attoparsec, but apparently it wasn't fast enough as the lib author later rewrote all the attoparsec code to use pointers to the underlying byte buffers.

https://github.com/kazu-yamamoto/http2/commit/0a3b03a22df1ca...

The stream fusion stuff is sweet, but not exactly unique to Haskell since any language with good iterator/generator abstractions have similar constant-time memory characteristics.
This article is weak. Here is more information: http://www.cardiff.ac.uk/news/view/96649-researchers-hugely-...
Ask HN: What is your favorite sample database of JSON documents?
Basically just looking for some bodies of JSON documents to do some analysis/testing on.
Totally different genre, but this is one of the things that's great in CS:GO - you level up, but it's not from improving your avatar, it's from improving your own skill level - learning tactics, improving aim etc. Much more engaging than games that reward you for how many hours you sink in. (They do have elements of that in CS but they are entirely cosmetic).
and boom. Basic platform support by @justincormack for NetBSD just got merged - https://github.com/dotnet/coreclr/pull/798/commits
Exactly. If you want visibility in any community you need to engage with the people there.
> You have to inspire people to work hard, long and sometimes grueling hours to deliver.

You're doing it wrong. If you're having that much trouble with deadlines and bandwidth, you should be inspiring your CEO, board, and investors to solve that problem. You should also make sure that you're providing them with honest estimates and not over-promising what your team can achieve.

Even if they do it willingly, pressing so hard on your team is going to lead to burnout and turnover in the long term, and lower quality deliverables in the medium term. Those almost certainly cost your startup more than a postponed feature or missed deadline.
Thank you! This is a really good comment.

Also, your bug reports are really solid.
dough-ghie-lang

ˈdoʊgiːlæŋ
Sentiment analysis to avoid overt negativity or rudeness is a great idea. It might prevent people like me from commenting too often, and I could see some perennially-depressed Reddit/OkCupid users getting a useful heads up from it as well.
The tutorial took a long time to write and is a great tongue-in-cheek read. Thanks for that, @pyos!

> Q: F# is better than Haskell.

> In that case, use <| or |> instead.

> Objects and types

> Wait, no. Gotta show you something else first.
I am astonished that this place isn't drowning under a mile-high pile of lawyers.

What does the WoW protocol look like?
Doesn't any spherically symmetric configuration of mass compressed into an area smaller than the Schwarzschild radius create a gravitational force strong enough such that light can't escape? If there was an unknown force that could prevent the collapse at some level below the Schwarzschild radius it would still be dense enough to capture light. And there certainly could be since our understanding of things at the Planck scale isn't complete.
They aren't stooping to their level, hence, the drones. Terrorists don't care who gets killed. Anyone will do.
A bit misleading title. It's more American/European payment provider focused. I don't see any of the main Chinese providers represented.
Of course compiling successfully does not imply a correct program with the desired behavior. Nobody claims that GHC is able to verify the behavioral correctness of your program and it also can't tell you if your function actually sorts a list or if it does not. However, if you claim in your definition of "sort" that it takes a list and returns a list, then GHC can verify if that is actually true. That is the power of types. They are no magic things that write correct programs for you.
They do. That's why they use drones.
Ubuntu for government
Cheers to that
Hacker News categorizer with MonkeyLearn
We used MonkeyLearn to train a machine learning categorizer with categories like `programming`, `business`, `science`, and downloaded samples from relevant sub-reddits to do the training.

The plot at the top shows you the distribution of categories for each hour, and you can filter the news by category.

The actual classifier is public so anyone can use it: https://app.monkeylearn.com/accounts/login/?next=/categorizer/projects/cl_GLSChuJQ/

Every five minutes the app polls the HN API to categorize the latest submissions.
Where did you get this cost estimate? Does that include expansion packs and patches?
Of course moving to Rust (or Go) won't fix all security bugs.

It will though stop ordinary random code having remote code execution or spurious data leak bugs.

That is really significant. It needs cheering and encouraging now, and soon it needs forcing.
Dropcasting: publishing a podcast entirely on iOS, via DropBox
We used MonkeyLearn to train a machine learning categorizer with categories like `programming`, `business`, `science`, and downloaded samples from relevant sub-reddits to do the training.

The plot at the top shows you the distribution of categories for each hour, and you can filter the news by category.

The actual classifier is public so anyone can use it with a free MonkeyLearn account: https://app.monkeylearn.com/accounts/login/?next=/categorize...

Every five minutes the app polls the HN API to categorize the latest submissions.
such lang. very python. wow.

The tutorial is great, too: http://pyos.github.io/dg/tutorial/

Now we just need a Dogecoin implementation written in Dogelang and the world will be complete.
Advice request upon Quality Control statistics for predictive modelling?