skysight-inc/HackerNews huggingface dataset:
Free Pascal and The Lazarus Project are great fun to play with if you just want to re-experience the fun of Delphi and Turbo Pascal. In fact, a lot of Turbo Pascal has been completely re-created. This was the first programming language I learned that really allowed me to use the power of a computer, and I have a lot of fond memories.
Whoa, you may be completely right, but the personal attack is so not ok. Please don't do that here.
Show HN: Automating Highly Similar Translations
I've never heard anyone say Ada was easy to compile. Also, I heard its uptake was slowed by how hard it was to get the early compilers working. So, where did you see an easy one? Seriously, because Ada still needs a CompCert (or at least FLINT) style certified compiler. An easy Ada compiler would be a nice start on that.
Right. They read the ocean swells like a map (and still do, though it is a dying bit of wisdom). I'm glad someone mentioned this.
I think this is right. Reminds me of the beer game: https://en.wikipedia.org/wiki/Beer_distribution_game

Oh look, there's a version you can play online: http://forio.com/simulation/harvard-business-school-root-bee...
So, do you want to ban wireless presenters or laser rangefinders?

Requiring a license for these would be akin to banning them. Except if "holding a presentation" would be enough to get a license. In which case I think the limit would be useless. Maybe limiting them to adults might help. On the other hand, there are plenty of other ways for children to do stupid, permanently harmful things; and exactly the children that shouldn't be let near lasers would probably be able to find some anyway, so... I don't think the licensing idea would work.

And shining lasers at aircraft already carries a jail term.

And maybe the power limits could be made somewhat (much, actually) stricter.
Ah, middle-pathing my middle-pathing—well played!

Interesting stuff. My story roughly speaking is that I came out of Chalmers all gung ho about dependent types and probably correct functional programming, and now I work on a JavaScript startup with not even many unit tests (which is partly my fault).

[I meant to say provably, but the autocorrect typo is illuminating.]

Generally I'm interested in logic in computer engineering, and I think the idea of safe kernels is great.

The Xmonad architecture seems to me like it might be a good model for coming architectures... Symbolically, it's nice and you can tell from just the name: X symbolizes UNIX and worse is better; monad stands for purity and correctness.
It's the same when an investor ask you do you have a job? are you going to quit it for your project? are you going to stick with your project long enough? Investors want you to have 100% of your time to your project, it's just how it works.
Of the examples you gave, the first one is a real human voice run though a vocoder, and the last one is a real human voice sampled at a really crappy sample rate and played back using hardware never intended for digital sampled audio.
50% of exports is pretty bad in a world where you need/want things like iPhones and don't make them yourself. We're all very connected at this point.
Thanks for your feedbacks, we appreciate it. Work is ongoing for a website v2, we'll take them into account.
> The best known typeclass implementation is that of Haskell

Oh, I don't know about that one. In Scala type-classes are interfaces and you can put that OOP to good use. For example in the Cats library, you get an Applicative type-class inheriting from Apply, a FlatMap inheriting from Apply and a Monad inheriting from FlatMap and Applicative. By comparison in Haskell a Monad is not automatically an Applicative and you get duplicate functions with different names, duplicate code, duplicate tests, etc.

Another advantage is that in Scala type-class instances are actual values that you can pass around. And because type-class instances are actual values, along with implicits which are lexically scoped, you can always provide another instance of a type-class, depending on context. You do not have the modularity problems arising from usage of type-classes in Haskell.

"The best implementation" is entirely subjective IMHO.

EDIT: got down-votes, not complaining, but I'd like to know where I'm mistaken. Thanks.
Kerbal Stuff is shutting down
And ask any doctor if what they did is the very best for their kid. The stress, the lack of bonding, the (I assume by 100+ hours a week) bottle feeding from the first few days.

If you can do it, sure, if you can have it all (as in, do the best for your career and the best for your newborn), I have my doubts. Pretty sure the single mothers with two jobs also do it, doesn't mean it is the optimal way to have a child.

ps: won't edit the parent post, but by exceptions I meant outliers... sorry, not native speaker.
Why don't you just address the issue rather than go on a rant?

Edit: My 'ten minutes of googling' is actually several years living and working in South East Asia. I am well informed and aware of how authoritarian Singapore is.
Are you claiming Go runs at the speed of Ruby/Python/PHP etc? Because from what I read, migration to Go from above mentioned language led to lot of hardware / memory saving.
I'd think Java can certainly be considered having highly optimized compiler / runtime. But it has almost same performance as Go and much higher memory usage compared to Go.

http://benchmarksgame.alioth.debian.org/u64q/go.html
How is your product different than the many many competitors?
>> of a fairly new developer who's just been asked to do non-trivial update of his own code for the first time

fairly new has nothing to do with it. I'm struggling to read my own code since 1998 and constantly in battle with myself to strategically place comments at the right places. I doubt that I'll ever correctly estimate my own ability to comprehend my sh1t no matter how many years of experience I have. In fact it seems to have gotten worse with experience. The more I know the less I can trust myself. Not sure if I'm alone with that.
jesus christ! what are these comments? there is a valid point here. i don't even like how the author writes but the point is this, taken from a response:
>> Imagine how many opportunities this firm has walked past because they’re old school. Shouldn’t their LPs be concerned?

What do you mean "old school?". I am from the other side of the planet than the US and i am statistically flooded with stories of the problem of under funding women, with discrimination based on sex and with the pregnancy issue as a roadblock to career for women. how can a manager in a VC have an "old school" opinion in 2016? these days you either have one opinion or the other, there is nothing "new school" in realizing that women are less funded because their biologic life is seen as a liability by the males of the species who have all the money. Jesus!! Old school??

Your wife? You are someone who should be smart enough to predict success and you bet other people's money but you know so little about a woman's determination that your best answer is by proxying to your nearest women.

This is like me having a billion dollars explaining that i believe rockets are not funded as easily as dating apps because I am old school and i think all physicists are nerdy introverts and they'll never be good at running a business because they rather stay and read science fiction books all day long, and i know that because my physicist cousin who is also a drunk is exactly like that.

And quotas? Who is even talking about quotas? Amazing!
> if for a second you think (exceptions excluded) women, during pregnancy and first months of a newborn can run a business without sacrificing something

I'm not an entrepreneur, but isn't sacrificing something part of the deal, regardless of gender or life circumstances? If you're launching a startup and trying to get VC funding, doesn't it go without saying that you're sacrificing things to that goal?

If that's the case, isn't the real problem that VCs are more comfortable with a man sacrificing his physical/mental health, family relationships, material belongings, retirement savings, etc. than with a woman sacrificing the same things? Or put another way, will VCs believe that a woman entrepreneur can balance her sacrifices against the good of her company as well as a man can balance his?
Defend himself? He's not even identified! It's just an example of what the author is talking about, it's not a personal attack. Even if you would interpret it differently, it doesn't really matter, because the subject is not that particular conversation.
Is canSee() in the spec? Looks useful, but I haven't seen it before (heh).
> Web is different, there is no choice, no fallback to C.

asm.js and Web Assembly.

> Besides aliasing stupidity and byte-addressing there is nothing really bad to compensate for.

Aliasing issues, C++ heavy reliance on virtual methods, too many levels of indirection in the STL, overuse of signed integers due to "int" being easier to type interfering with loop analysis, const being useless for optimization, slow parsing of header files...
That's a good thing.
This is excellent, thanks for the recommendation.
This would make sense if they same VC also asked a male founder if his wife was pregnant, and if he was going to abandon the startup for his family. Except we all know they wouldn't dare ask that question, because it would be extremely rude and potentially illegal (?). But for some reason it's ok with the female founders, again because of the idea that "mothers should be mothers" that this VC expressed in the text message.
Palantir acquires Kimono
SaaS Website Teardown: Azendoo (It's a Slideshare!)
Replacing EAV with JSONB in PostgreSQL
In the short term this is not something to fear, but in the long term it is. There is a qualitative difference between Turing-complete and non-Turing-complete automation.

Imagine what the great Chinese outsourcing wave has done to the West's labor market, but without the normal economics of labor factoring into it. As more and more has been outsourced to China, Chinese wages have risen. That would not happen with automation. Instead you'd have the hyper-deflationary economics of high tech, with "wages" effectively dropping geometrically with volume.

In the end we will face two choices:

(1) Abandon the puritan work ethic and its liberal forms such as the labor theory of value.

(2) Create a future that looks like "The Hunger Games."
If you take out the scroll thing, this crowd will probably be much happier immediately!

Other than that, I just looked at Stripe.com to see how they do their landing page, and they make it pretty clear from the outset what their service is. They're doing good so they might be a good model.

I know these website UX critiques can come off as annoying, but I hope it's actionable and that you can get the word out about your product more effectively.
Search around for "Substrate VM". I see it referenced in some slide decks, and it's designed to make JVM startup much faster.

Here's an old slidedeck that talks about it: http://www.oracle.com/technetwork/java/jvmls2013wimmer-20140...
Personally I want to make the right money now so that I can be the father I want to be in the future. There is absolutely no doubt in my mind that my future children will be the most important things in my life for several decades of my future.

I don't think that it is unreasonable to consider any parent as having more important things than startups to do.
Not sure why this is getting downvoted. I'm guessing there must be a big PC crowd on HN today. From my experiences at two separate colleges (neither of which is UC Irvine), this story is exactly true, and many of classmates took note of this as well. It seems to me that most Chinese (and not Chinese-American) students spend their time tinkering around with $100k sports cars than focusing on their studies while in the US. Personally, I'd prefer to see them rejected outright, and have more hard-working Americans take their places at college institutions
Meanwhile, on reddit :

> Why is almost no one talking about how Tidal has taken THOUSANDS of people's money for a download of Kanye West's new album, not given them the album, and are not answering their help and support tickets?

> Tidal's Twitter feed has been flooded with complaints and requests for refunds since yesterday morning due to an apparent glitch in the payment section of their website which allowed people to pay for Kanye West's new album yet never sent them a link to download the album.

https://www.reddit.com/r/Music/comments/45wpeh/why_is_almost...
If you found this article interesting, you should read Signal by Stephen Few. Great book (as always from him) which sets out to solve this exact issue by educating people on how to effectively analyze data.

> In this age of so-called Big Data, organizations are scrambling to implement new software and hardware to increase the amount of data they collect and store. However, in doing so they are unwittingly making it harder to find the needles of useful information in the rapidly growing mounds of hay. If you don't know how to differentiate signals from noise, adding more noise only makes things worse.
Google "Postgres BDR". It is new, but it allows you to replicate changes on master to another master. With some configuration it can even change replicated data.
> OS updates never touch /usr/local.

That's not entirely true. A relatively widespread issue during 10.10 (Yosemite) updates was the installer seemingly locking up and actually moving all the files in /usr/local one by one to then from a backup location veeeery slowly, potentially taking >12h to complete the update rather than a pair of.
From Hello-World to Web-Launch in 2 Years
Israeli Connection: The People Behind the “Startup Nation”
BT ad gets into a muddle about the internet's origins
Could have a semi-private feed, where viewing is open but commenting is somewhat restricted.
Ah, rebellion against arbitrary labels. How fun.
Machine Learning Roller Derby Names
I agree his comments were taken out of context.

I don't see where "the guy made clear he was uncomfortable" but I could guess he probably was. And again, it probably was taken out of context. However,

I don't see how his reply, in any shape or form is common sense. And it explicitly not the reason you give. "( ie: most women aren't entrepreneurs, thus there is less women wanting vc money)". He actually says, the reason is women are being mothers. That's why. But he's just old fashioned. And then guesses that most women prioritize that "[my wife] would rather be a mother and be with our kids" with respect to # of female ent.

And she took offense to that -- and so do I.
I agree with Stephen. A while ago I came to the conclusion that widespread use of social media such as FB, tumblr and Twitter (especially twitter), has caused a severe degradation in public discourse and conversation.
You can use the maven polyglot plugin [1] to write your POM in something other than XML. It's fairly new, but it's there. We use it in JRuby to write our POMs in Ruby. As an example of a loop:

https://github.com/jruby/jruby/blob/8e29ae1302e7aa989b8808f7...

[1] -- https://github.com/takari/polyglot-maven
How to roll your own AWS Lambda with Docker
Swift is not a dynamic language. It's statically typed.
> "I don't like the noise of those slamming doors"

I've seen that described as a good way of dealing with children. IMHO, that pre-qualifies it as appropriate for aggressive Internet commenters.
I grew up on anonymous message boards in small communities, largely the ones surrounding video game music and chiptunes/"micromusic." There was some nasty behavior exhibited and I always figured it was the anonymous pseudonyms. Then I joined Facebook and saw the same thing playing out with real names and, usually, real faces as avatars.

In America, we have a social network called NextDoor that uses aggressive methods to keep outsiders from being able to post in your hyper-local community/neighborhood. Your village's site is the same concept, only maybe without the postcard-mailed address verification step.

It's a great concept. Just neighbors helping each other out, right? I thought that, besides the required real names, most members having profile pictures of their real faces, and many of them having their exact addresses listed on their profile page (oh, Bob lives 8 houses down from me!), would put a halt to the vitriol I saw on Facebook. It hasn't.

It must be something about looking at a picture on a screen instead of a human who's reacting, visibly, in real-time to our hateful words, that lets us do what we do online.
Aren't MAS apps distributed in a self-contained bundles? What package management is required?
I know about it. I'm not concerned with future hypotheticals, but current actual measurements.

That's the currency I deal in.
My new years resolution was to stop using Twitter actively, and I've basically done that (spare a few offenses). I was intending to pin up a link to a page explaining my reasons, but haven't gotten to it yet.

Public venues like Twitter have devolved into pitchfork-wielding mob battles over extremely stupid, petty nonsense (on all sides of the political spectrum), and I expect this to just continue to happen over and over again as the influentials of the "Twitterati" get better at pushing manipulable people into whatever half-baked agenda they want to use them for.

The "influentials" are the people most rewarded by this system of relentless psuedo-controversy: petty, shrill narcissists that contribute little (or negatively) to anything of genuine value, merit or productivity.

Through a few personal experiences, I've been made a lot more cognizant of the fact that I won't be able to avoid the mobs by staying out of them. I've decided it's best to just not participate at all, and to work to break the systems that enable the mobs in the first place by coming up with better systems.

We need to go back to having sane, civil, intelligent discourses about real issues online, and figuring out the best way to facilitate them. Twitter is never going to work for that, no matter how many lunatics-running-the-asylum tribunals they come up with.
> Are you claiming Go runs at the speed of Ruby/Python/PHP etc?

No. I'm claiming it doesn't perform anywhere near the level of optimization of GCC and LLVM.

> I'd think Java can certainly be considered having highly optimized compiler / runtime. But it has almost same performance as Go and much higher memory usage compared to Go.

I disagree with what seems to be your implication that compiler optimizations don't matter (and almost everyone else who works on compilers would also disagree), but I don't really want to turn this thread into a critique of the benchmarks game, so let's just leave it at that.
Back in the day Apple had a neat menu in the top left. You clicked on it and the menu dropped down and you did stuff with it. When Microsoft came along with the 'Start' menu I felt that their design was a reaction to the precedent set by Apple and that the 'drop up' menu idea was bad UX. I did find myself in a minority of one concerning this, nobody else I knew moved the menu bar from the bottom to the top.

I stopped using Windows when Ubuntu became the popular Linux flavour of choice. I haven't looked back although I didn't really like the switch to Unity that much. I have adapted rather than go some Linux Mint or other route. I learned how to 'alt-tab' again but still find Unity a tad compromised when it comes to easily switching between terminal windows.

Nonetheless I am glad the Ubuntu dash is a 'drop-down' affair rather than the anti-pattern 'drop-up' menu.

Maybe now that Apple have all those icons in the bottom and Windows has the 'drop-up' menu the 'frame' of interaction is understood that way, to be as natural as a 'QWERTY' keyboard.
Significantly more moderation. Unfortunately the consensus here in the past is that they'd prefer the majority of the "moderation" to come from the community, which only serves to amplify the already echo-chamber-like qualities of the discourse here.

But make no mistake -- that those who moderate and administrate choose not to act does not absolve them of responsibility for the bigoted, status-quo-loving noise that dominates here and more than justifies the reputation HN has across the web.
Both OOP and type-classes are a form of ad-hoc polymorphism, but OOP is not a replacement for type-classes. The scope overlaps and personally I find both useful, but you're making the mistake to think that type-classes are about subtyping. They are not.

Also, type-classes in Scala are not implemented by means of "implicit conversions". It has nothing to do with it. Type-classes in Scala are implemented by means of implicit parameters, also called context bounds, but that's different.

Of course, you don't really need implicit parameters to work with type-classes. That's just syntactic sugar, because you can just pass dictionaries (type-class instances) around manually.

No, the far bigger problem that Kotlin has is that it doesn't support higher-kinded types. Without higher-kinded types you can't express generic code for containers (e.g. M[T]). And without that, you can't do do type-classes and you can kiss most FP abstractions goodbye.

If you don't believe me, try coming up with an interface for things that have "map", "filter" or "flatMap.
I'm guessing your unsympathetic "creative types" have nice Retina displays where the thin "Open Sans" font is more readable, even at #4D4D4D. If I switch to Lucida Grande, #4D4D4D is OK. http://contrastrebellion.com/
My 2c:

I recently downloaded a trial of Embarcadero's RAD Studio 10 Seattle (I know :). Using the Delphi in it. Only tried it a little so far, but what I tried is quite good. Still quite fast compiling/linking, it seems (though only tried on small projects so far). Also all the other RAD stuff is still good like in earlier versions (thankfully I seem to have avoided a few interim versions which I heard were buggy).

Also as mtmail said in this thread, this older post:

https://news.ycombinator.com/item?id=7613543

has lots of discussion on it. I had commented there too.
You are probably right, assuming input programs are correct. Rust (and Haskell) is not easy to _type-check_ though.
ok.. maybe this is only a value add for Emacs users?
To Round is a task manager showing your tasks as bubbles in a funnel
Python? Isn't Python dying? ;)
https://news.ycombinator.com/item?id=11100251
Because they don't think it's a regression, it's working as intended.
No one thinks you're lying, however your perspective on your friend's statements is a bit absurd. It at the very least can be described as culturally ignorant -- the hyperbole built on top of that ignorance is what makes it absurd.
> tell you to STFU every single time

People who have be told to STFU over last 2 weeks.

1. marc andreessen

2. gloria steinem

3. stephen fry

4. margaret albright

5. richard dawkins

6. Meryl streep

If ppl like these who have public speaking experience are getting stfu then what chance do ordinary people have .
I always thought that Ada was easy to compile in the backend (i.e. the moral equivalent of what B3 does) but challenging on the frontend because of how large the language is. Could be wrong though.

The frontend is usually the hard part IMO. In WebKit, we have 100,000 lines of code for our "frontend" (i.e. the DFG compiler) and 50,000 lines of code for our "backend" (i.e. B3). That split is really interesting.
How to Get Started with Deep Learning Kit for iOS
I guess you have to do this to avoid the name clash with Tigris's delta[0], which is the default if you do `brew install delta`? I'm not sure this is the best solution.

[0] http://delta.tigris.org
> There's probably a tradeable business opportunity here, but I have little interest in going into consulting, so unfortunately I'm not the one that can take advantage of it...

If you were, how might you trade in on it?