skysight-inc/HackerNews huggingface dataset:
> They're not cheating anymore obviously, thats why they are complaining.

Personally, I'm complaining because the game is broken and no fun, and a method of fixing it has been disabled. I don't particularly care about any of the multiplayer aspects, except that it's sometimes fun to meet friends and run around playing it.
OO, perhaps, but without dynamism and late binding, metaprogramming is difficult, as is any number of techniques. Like, for instance, class generation, and extending methods.

And while I don't set much store by inheritance, it set considerably more store by duck-typing and polymorphism.

>None of these are required for ease of development. At least the first two often result in precisely the opposite.

So are you talking about Java-style OO? Because I was talking about Smalltalk OO, which is pretty different.

Required, no, but they're tools, and they come in handy. Certainly make development a lot more comfortable.

And some of the time, they make delvelopment a lot easier.
The Tesla has a trunk in the front, too. Where the IC engine would be.
Was the 3M LOC refactoring for yelp.com? The article doesn't say. How could possibly a review site have 3M LOC?
Crystal compiles directly to native code, it doesn't rely on C compilers for the last step.
Temperament is a Skill
Yolo! :P
Exactly, market scrappers as search engines.

And all smart websites should include a ToS that says you are not allowed to access their data, so they can sue for trespassing anyone that they don't like selectively.

The far reaching of government into this, and also the pirating stuff (which I do not condone but think that arresting people for that is waay too much) is what makes me want for the system to collapse under it's own weight. Like some website suing members of congress for visiting it while violating the ToS in this case.

I also secretly wanted Oracle to win vs Google so that cloning an API was piracy and that would extend to being a crime to purchase pirated goods which would make all clean room reverse engineering a criminal activity. That would lead to anyone that uses a PC without an authentic IBM BIOS (look up Phoenix BIOS) to be arrested, in theory, so even the US president would have to fall into that. It would have been a glorious shitstorm if Oracle won and IBM took that precedent to it's logical implications, the computer world would have failed, and the law would either be made even more arbitrary or be fixed, but at least it would be shown how idiotic the state of affairs was.
You are suffering from depression. So all your thoughts should be taken in that context.

PS: I'm also suffering from depression. But I have learnt to take my thoughts relative to my current mental condition. That doesn't make things any easier but gives a solid mindset to see through things.
> To some degree, you can choose what you want to prove about your algorithms in those languages.
> It's perfectly possible to implement a sorting algorithm without proving that it actually sorts the input, or indeed returns a permutation of the input list at all.

Sure, but my point is that any nontrivial property requires the programmer to write difficult formal mathematical proofs which is an activity completely unlike what you see in mainstream strongly typed languages (e.g. Haskell, OCaml).

Also, consider how when you start making use of generics in type systems by converting all you Object lists to String lists; you find you have to start adding generic types all over the place for any code that touches that code until the compiler errors stop. If you decided to capture permutations of input lists in a dependently typed language, the exact same thing happens except this time capturing that property for all your algorithms could be monumental task of writing complex proofs (unlike before where you're just labelling things).
Did you buy through ACA or get it through your employer?

At least they're letting the ACA insureds transfer their out-of-pocket amounts to another provider.
Agreed. These days, the most popular dependently typed languages are based on some variant of Martin-Löf type theory, in which arbitrary mathematical propositions are expressible at the type level. I'm not convinced that these designs offer a good power/cost ratio. For example, these languages often have very limited type inference.

In practice, most of the properties that a programmer (rather than, say, a mathematician using a proof assistant) would want to enforce mechanically (say, invariants of data structures) are expressible as first-order statements (lambda-bound variables are never applied). This strongly suggests that the ergonomics of dependent types could be significantly improved by deliberately limiting their expressive power. By the way, the idea isn't new: the Damas-Milner type system, which is most certainly known and proven technology, is a subset of System F-omega's type system for which type inference is possible, at the reasonable (IMO) price of not having higher-ranked or higher-kinded types. A dependently typed language with a first-order type level would benefit from reusing the basic architecture of a Damas-Milner type checker: a constraint generator and a constraint solver powered by a first-order unification engine.
Modern Smalltalk environments are bootstrapped as well.
There is a God!
Lol I had exactly the same question :)
Just assume you have depression and seek external professional help. You can afford it!

When you're depressed you won't perform well. Depressed people have darkness following them around and people will avoid you. So you're caged in with your thoughts, but they just get darker, because you're depressed.

All signs point to depression.

> Death doesn't seem so bad anymore.

Healthy minds never see this as an option. Suicidal thoughts are a sickness, never a forgone conclusion. How else would it end up under "side effects" on a label?
I think the other way around would actually be profitable: opensource the front-end to drive adoption, and charge for back-end access.

It's all a red herring anyway, you can't pivot without a single developer.
I prefer less. Incidentally, the other day I was on a CentOS system where I wanted to paginate a log file and typed in "less". Turns out, unlike more, less isn't installed by default. Was a bit surprised because I was under the impression that most Linux systems would have had it in their default install.
I used to work as a bioinformatics programmer, and in some cases I did some processing in an afternoon, including writing a python script, that a postdoc had used a month doing manually in Excel.

While the tools often are crude, a problem is that biochemical and molecular biology researchers lack the bioinformatics skills and other IT skills that often is badly needed in modern genetic research. The core competence of these researchers is in the lab, and bioinformatics skills is outside of that. That you see effects like conversion of gene names in excel does not surprise me at all.

You also see the same problem in other areas where researchers need skills outside of their usual comfort zone. The classical example is statistics.
There is another pager, less advanced than more http://www.unix.com/man-page/linux/1/pg/
Arborist – modular, extensible implementation of the Random Forest algorithm
So, in economics 101, the concept of insurance was clearly explained, and by basic definition, the more fractured the pool the worse the outcome.

I haven't really understood why America finds that this law doesn't hold over its population. And I've also looked at outcomes and found that once you start looking at costs/bed and patient coverage, any other first world country with a working single payer system provides significantly better outcomes.

The things that America does better are things like cutting edge cancer care, or cutting edge X treatment, but these are accessible to the richest of the rich (and I've seen family members who can afford it vs family members who can't - we are talking 1% of a nation).

So why do things like "make plans for not so healthy people" come up as concepts.

The probability for a non healthy person to get sick is 1. At this point its like a scholarship to go to get medical care.

If I were a medicare company, I would instead keep shafting the healthy people, fight tooth and nail to keep that population, and call it a day. For the sick people - why bother? (1)

I really don't get America when it comes to this (and many other things, which you guys used to be world leaders in)

Why?

And edit: And to prevent (1), you would have to create regulation, something expressly disagreed with in the parent comment.

Matter of fact, when I have pursued this with others or read threads, people come up with yet more complex market systems to deal with the skewed incentives, in order to avoid regulation.
Do you think that Vulkan, which also provides a compute API, and appears to be gaining rapid momentum, might solve some of these issues?
This could be including backend tools not seen by simple user...
When you don't spend the time to refactor and groom the codebase, actively seek to reduce the complexity, it grows. And it grows exponentially. Once you reach the point where you're afraid to change something because it might break something unrelated, you just add new code all the time.
It's good to leave that option open, where possible. We would not want anyone to abandon it. For instance, if an IPR fails to invalidate a patent, the fight becomes much harder. And not all demand letters are unfair assertions of patent rights, some are legitimate. It's important to find out what other similarly situated businesses plan to do, but that doesn't mean you won't end up settling.
Someone who has experience with both Agda and Idris, could you comment on which is easier to get started with? Coming from a Haskell background, I'd like to try my hand at writing more interesting constraints into my types. Any experiences using these languages for (non-research) work?

I've played around with Coq a little and it certainly feels more like a proof assistant than a programming language. It was fairly confusing and unfamiliar, but interesting nonetheless. Something with slightly more traditional ergonomics might be easier to pick up.
The front-facing system is the smallest part

The admin and back-office system is deeper. Beyond the reviews you also have: events, mailing list management, profile management, messages, i18n, search, etc

Example: http://engineeringblog.yelp.com/2015/10/how-we-use-deep-lear...

Edit: still, 3Mi lines is massive. However, I think there's something that contributes significantly: HTML and CSS
The prevailing attitude is "I want to do biology, not computer science". I find it pretty frustrating. This is probably one of the last fields of science to be seriously computerized.
Absolutely brilliant advice. Sort off in the same boat as OP (though not so much on the depression front), but I am going to give this a shot; write down things that specifically make me feel valuable in a company and see if the list aligns with what my company/boss thinks.

Thanks!
Geez, I thought they'd be offering an engineering solution. Nope, just a "Kony 2012" website. "Give us money and /feel/ proud that you're helping!"
TL;DR: for those hitting a paywall:

1) Go to https://www.facebook.com/ads/preferences

2) Open the Lifestyle and culture tab under the Interests section

3) Find the US Politics box and see what Facebook thinks you are in the parentheses

Edit: Apparently I am targeted for ads related to bubble wrap.
Nice graphic, but not very accurate.

1. Most of the mentioned energy sources are not provide stable baseline (e.g. solar, wind). We will need significant amount of storage which is omitted.

2. Some sources doesn't exist yet at any significant scale (wave devices, tidal turbine). It may be just more economical to have more solar or wind thanks to scale effect.
Program or Be Programmed; UX or Be UX'd
I worked in the academia for a few years about a decade ago and nowadays interact with biology research in the industry for the last couple of years.

The way he painted the scientists skills matches my experience thus far.
How to Painlessly Troubleshoot Your Client Sites
Indeed I did. "False friends" as we say. :-)

https://fr.wikipedia.org/wiki/Promiscuité
> The author is highly probably on the static typing camp.

First and foremost, i don't think dividing people into these clear-cut "camps" is good for this discussion (and probably for most discussions too...).

Second, i very much doubt that the author is a purist of static typing, or even a strong proponent of it. He has a series of programming screencasts called Destroy All Software, and in most the episodes i've seen he uses Ruby, Bash or Python. So, unless he has dramatically changed his style since then, i don't think he has any problems using dynamically typed languages.
There's a lot of money to be made in companies other than the big 4 or 5. Those companies tend to have crazy programming puzzles because everyone is bought into the value. Smaller companies don't have time for that crap - they need to solve problems, not validate their CS degrees. It's a damned power trip, and you'll only be solving those kinds of problems in your job 5% of the time. If you can move past the idea that you need to work at a big 4 to be valuable, there are some really amazing opportunities out there.

I'd recommend doing some mentoring on a site like CodeMentor. Working with some young blood and re-experiencing the pure joy of writing code to do things is quite invigorating.

Please sit down and discuss things with your wife. "it's unacceptable" is a very concerning statement to me, and sound more like a business partner than a loving partner.

At the end of the day, you are intelligent. You are valuable.
Interesting information here from Facebook - I don't know why Facebook thinks I like coffee - I never drink it nor why it insists I thinks I'm a fascist who likes bucket hats.
Of course you can turn it off. By formatting the cells as the correct type.
Of course the insurance company should never pay $5,000 for an advil. If they did that then they deserve to go out of business. The insurance policy does not cover any service at any price. You cannot just fraudulently invent a bill for services with absurd prices, and then demand payment.

Some of you reading this of course get a good chuckle because they know this is exactly what's happening. One good Attorney General pressing criminal fraud charges in a case like this would get the ball rolling.

So, how do you price the service when it's covered by an insurance policy? This can't really be an unsolved problem. What's interesting here is separating the price discovery problem from the socialization aspect. Can you fix one without necessarily resorting to the other?

So in the ER the price of the drug should reflect the cost to administer it. Or maybe you should be charged a separate daily fee plus cost of supplies. What we want, first and most of all, is price transparency. Frankly the pharmacist and the attending are not paid that much, so where is the money going?

A room full of equipment costs a lost of money, so isn't the solution to introduce different cost rooms based on condition? Too much diversity in the room / environment could be a problem, but right now it seems like they go for absolute uniformity?
Only to the degree that they don't damage other people's games. Jumping gym to gym isn't something I'd consider doing myself, but jumping to pokestops and avoiding gyms altogether? It's not my thing, but I don't see any harm.

I think it's a difference in perception. I consider the location-locked nature of the game to be a central feature that contributes to the entertainment value of the game. I don't consider the location of the Pokemon being hidden a central feature at all; it feels more like and unfair hobble that saps the entertainment.

> Or people that use aim bots in fps? Maphacks?

I'm not going to argue that cheating in competitive multiplayer games is a good thing any more than I'd argue that cheating in ways that don't affect other players is a bad thing.
Interview with creator of Twitter alternative gab.ai
NumPy is about one order of magnitude slower in very many situations. Cython is in some ways a reimplementation of Fortran in places -- I mean, you can consider it a better alternative but have to use features that are not in Python.

Personally I gave up writing numerical code in Cython and instead wrote it in Fortran and merely wrapped it with Cython...

But yes, being 2x-10x slower is something one can live with for productivity, vs sometimes 1000x slower of Python.
> * Expected value using max power mode and Motor Trend benchmark

Suggesting that this is expected value, and not observed performance?

Edit: Or they are suggesting that you could potentially reach that value in "ideal" conditions, using the Motor Trend method to adjust some observed values to this normalised time?
Sure, I will edit that sentence out.
I doubt that's going to drive a lot of OSS support, if the backend is still proprietary.

I think the GitLab or Nylas model works better for open source companies: open source the whole thing (or most of it), but charge for a hosted solution if you don't want to figure out how to git clone make install.
Legalist just makes me sad, but I guess there's nothing more American than suing for absolutely anything. It's like the founders were looking for a business model that was even more parasitic than patent squatting.

As a nomad, airfordable is the best of the bunch to me. It almost balances out the karma of Legalist.
For a long time, I knew I was dropping this gene [1] from my analyses because pandas automatically converted its name to a floating point. With the right combination of flags I was able to get it to work right, but even real programming languages are not immune.

[1]http://flybase.org/reports/FBgn0036414.html - short symbol is "nan"
And of course you'll only have the "US Politics" box if you are in the US

(but I get "equivalent" results)
Hmm, well even with all those, the amount of code just blows my mind!
It certainly does, but that's not what I'm talking about. I'd rather play the game as a "catch 'em all". I generally avoid gyms.
Expose back end system as RESTful APIs with comprehensive API Management solution
I'm exactly the same. In highschool I had to wake up at 6:30 am but could never fall asleep before 1-2 am... I was exhausted all through the week until I could sleep in during the weekend. It was especially tough during spring when the sun would set later. I did not drink coffee then and still do not drink coffee.

It's only once I went to university that I've been able to have my own rhythm and would sleep from 3-4am until 9-10am. I even chose my first job because it allowed me to come a bit late in the morning.

A lot of people seem to think that being an early riser is only a question of motivation but I think it's not a question of motivation but a question of genetic make up.
I maintain a line-of-business webapp that could be mistaken for a typical CRUD app, but actually has a lot of business logic enforced in code.

That's stuff you don't have to hardcode -- you can pull it out into a 'rules engine' (at the expense of an additional runtime dependency) or push it further down into, say, database stored procedures (I can hear some of you shudder). But for us, the rules rarely change, or change at a pace that's acceptable to keep up with.

Also, there are a lot of views and specialized interfaces tailored for particular workflows. In several cases, the data underneath of them is the same, but there are different UIs -- that adds LOCs considerably.
He's right there.
Like every other skill, gaining the right temperament is a task that requires a lot of time and self discipline.
Argh! Has anyone else turned this off and had it turn on again by "itself"?
I don't know if there is enough raw material in the world to produce enough batteries, but that could theoretically be the answer to baseload. I just don't think it's feasible.

I've seen hybrid systems sold to homeowners where solar power is used to charge a battery, and surplus beyond that is used for heating hot water storage. They're more of less completly independent from the grid, both for power and heat.
> By the way, the idea of deliberately limiting the expressive power of types isn't new: the Damas-Milner type system, which is most certainly known and proven technology, is a first-order subset of System F-omega's type system for which type inference is possible. A dependently typed language with a first-order type level would benefit from reusing the basic architecture of a Damas-Milner type checker: a constraint generator and a constraint solver powered by a first-order unification engine.

Have you seen languages like DML (let's you capture linear arithmetic properties only and automates the proof of these)?

https://www.cs.bu.edu/~hwxi/DML/DML.html

> Dependent ML (DML) is a conservative extension of the functional programming language ML. The type system of DML enriches that of ML with a restricted form of dependent types. This allows many interesting program properties such as memory safety and termination to be captured in the type system of DML and then be verified at compiler-time.

What program properties are useful to capture and what properties you can mostly automate is a really interesting problem.
A later addition that I've seen to "Not Far From Buddhahood" (http://nkanaev.github.io/zen101/en/016/), most likely via anonymous folk process:

The Christian then reads the Beatitudes, and Gasan exclaims "whoever spoke those words is radiant with divinity!". The overjoyed man rushes to the church, faces the altar, and cries out "Jesus! I got that Buddhist to confess that you were divine!". And from the heavens a loving voice replies "And other than inflating your ego, what good did it do?"
Running Clojure on Google App Engine
As for monitoring, grpc is hooked into census, which provides some rudimentary statistics and is also intended to eventually exfiltrate Dapper tracing out of Google and into the public gRPC user base. It's a bit rudimentary at the moment, but see https://github.com/grpc/grpc/tree/master/src/core/ext/census
In your hygenic macro systems list, you forgot sc macros. Anyways...

>However, it's not "hygienic by default" -- you have to go out of your way to manually and explicitly ensure your er-macros are hygienic. Leave out a ,(rename 'foo) somewhere, and suddenly you've broken hygiene. Same problem with gensym, really, except that rename is a little nicer to use.

Well, I didn't say it was a great system, I just said if was hygenic, for the given value of hygenic.

>It's also a proposed addition for R7RS-large (SRFI-139).

Thanks. That actually does look pretty neat, although a bit odd in some ways.

>It's all in libraries. `#lang racket` is just a "metalibrary" that exports a bunch of smaller libraries. You can always do `#lang racket/base` and include the subset of libraries you need.

Well, there is that... But I'm still not a huge fan of Racket: I dislike where they diverged from Scheme (mcons? really?), syntax-case STILL leaves a bad taste in may mouth (see below), and the system as a whole just feels overly baroque to me.

>Not to talk shit about Alex -- he's a smart guy and Chibi is a very nice system -- but he's both seriously misinformed about syntax-case and hopelessly obstinate about it. Despite his claims that syntax-case is super complicated to implement, it's really not much more complicated than syntax-rules:

...I don't think that was Alex's objection to syntax-rules. It isn't mine. My objections are as follows:

-Breaking the standard macro abstraction by saying that expressions aren't, in fact, sexprs.

-Presenting an overy complex API to the programmer: lots and lots of functions, and a whole new read syntax.

-the (lambda (stx)) wrapper basically breaks every existing macroexpander, which, if it had a defined format in a given Scheme, probably used the format defined by sc. Why define that anyways?