skysight-inc/HackerNews huggingface dataset:
I assume this is the implementation [1](took me a while to find the type to see how the compiler might interpret it).

I read the definition as (ignoring the implementation):

return a Value or Absent when given an Iterable<Value,Absent> where Value is Comparable and Absent is Null

Correct me if I am wrong,
but there doesn't appear to be anything linking the nullability of the return value based on the possible emptiness of the input value. How does the compiler check this constraint (which sounds a lot like a dependent type relation)?

Upon further reading of the Iterable type[2], I have more questions, does "Nothing" satisfy "Null"?

| If not, then it looks to me like passing in a non-empty iterable (Iterable<X,Nothing>) is a type error.

| If so then I would imagine that it becomes harder to enforce the constraint,
likely because the return type can still be Null regardless of input restrictions.
Does this use extra type inference on the expressions inside the function to do the enforcement,
for instance using the "exists" operator to perform type set subtraction between {Value|Null} and {Null} on the true branch.
This implies that if I re-write the max function to have a single exit point (`ret = Null; if (exists values.first) { ...; ret = ...; } return ret;`) then I don't get the same guarantees?

Also the fact that Null is referenced by the "exists" operator also implies that it is part of the language specification, and not actually definable in any meaningful way as a user type.

Digging a bit deeper, I was very disappointed to read this snippet [3]:

Nothing is considered to belong to the module ceylon.language. However, it cannot be defined within the language.

If I read correctly, that means that I cannot implement the same behaviour/enforcement with completely user defined types.

[1]: http://modules.ceylon-lang.org/repo/1/ceylon/language/1.0.0/...

[2]: http://modules.ceylon-lang.org/repo/1/ceylon/language/1.0.0/...

[3]: http://modules.ceylon-lang.org/repo/1/ceylon/language/1.0.0/...
Look at the comments. The same Paul heckbert from 1988 showed up.
Personal finances app build on PHP framework Laravel
Hi guys, I've created a simple app for managing personal finances using Laravel4 PHP Framework: http://www.moneytablet.com/

Right now it's in beta. I still have some fixes to do and some features. The main idea was to make it really simple and minimalistic to fit my personal needs. I spent a couple of months making a personal spreasheet to track my spendings and after fiuring out a pattern I decided to build one using PHP.

I would like to know what you think about it, and if you have suggestions I would be glad to read them. You can also contribute on Github if anyone is interested(link in the app footer).
Build a Ruby Gem Email Course - Week of Hustle - Day 5
"It's just an utility that makes some things more efficient."

Well, this in itself looks like a small thing if we're to ignore that an important part of our society's system is deficient. </pun>
This article is really amazing and amusing to me, and not just because of the excitement back then over something like how "news groups produce about 4 million characters of new material a day, the equivalent of about five average books." The author, Barton Gellman, is also the reporter who is covering and breaking stories on the Snowden/NSA beat for the WaPo, including what I think is one of the most remarkable technical stories about it so far ("Fuck these guys" -- http://www.washingtonpost.com/world/national-security/nsa-in...). It's funny to me because I've heard Gellman and his partner describe him as not being very tech savvy at all...So even if his current NSA pieces don't go into the finer technical detail, it's still impressive that in 1988, he was able to grok enough of the Internet back then to capture some of its best and most profoundly gamechanging aspects of the Internet...in ways that journalists even today still don't quite appreciate:

> Jerry Nelson, a professor at the University of California at Berkeley, needed engineering data on the massive Keck Telescope under construction in Hawaii that specified precisely the shape of its reflecting mirror. Stoll, the Harvard astronomer, transmitted the file within two minutes to Nelson's computer....

There is more to life than science, and the network publishes hundreds of special-interest forums known as news groups. They have no exact counterpart in traditional media, but seem to combine most of the functions of hobby magazines, radio talk shows, classified advertisements and singles bars.

"It's like being able to subscribe to any magazine instantly, read back issues, contribute to it as an author and unsubscribe whenever you want -- all at no cost," said Kenneth R. van Wyk, a senior consultant in user services at Lehigh University's computer center.
Sometimes I worry how men standing up for women act on how much they think women are offended, rather than how much women are actually offended. You're blowing this way out of proportion.
Which vendors? Besides gDEBugger there isn't any tool that I am aware of, that can match the performance monitoring of DirectX and console specific APIs.

Even NVidia only started to invest in OpenGL performance measuring tools, after their Android support started.
I am not a drug dealer (and have no intention of becoming one), but I could see that pretty much anything mainstream and illegal would have a high markup, and almost guaranteed demand if you are willing to take the risk.

I suppose cannabis / ecstasy / cocaine were the ones I had in my head when I made the comment.

I am just back from Nepal on vacation, where one could easily get hashish for a fraction of the price it costs here in Europe. I have reads before that drugs trafficking is significantly more efficient than any other market, arriving from producer to end consumer in way less steps than legal products.
I'd rather say it's a lack of resources and interest in addressing a minority and jumping through hoops to make functionality that wouldn't work without JavaScript work without it. I'm not saying it shouldn't work when JavaScript is disabled, but some sites have functionality that cannot be easily (or quickly) reproduced without JS. They don't do it because they hate you or because they hate proper user experience.
The lawyer fees sound excessive, but when you play with fire you can get burned. I wonder though what the guy's lawyers were doing, or if the guy confessed, or how the evidence against him was gathered.
Show HN: Let's Talk Turkey
Thanks, we'll add that in the next commit. I wish there was an easier way than having to cover all of those objects.
Well, of course you don't _need_ it. You can always go and parse the extension string yourself, then call LoadLibrary() and GetProcAddress() to manually setup pointers to the extension functions etc. The point is that you don't have to care about any of that crap when using DirectX. Bear in mind, this is just one example.
That's odd, in the many years I've been using venv for, I can't remember many breakages, and none that weren't fixed by either just running "virtualenv env" again or just removing and recreating it (a two-minute affair).
The title isn't intended to be funny. It's intended to be dismissive of, and in opposition to, the attitude that "sleep is for sissies" mentioned in the article.

Compare: http://www.huffingtonpost.com/2011/04/11/ashton-kutcher-demi...

It's about directly opposing what is seen as a prevailing view of masculinity. Sure, it might be intended to be entertaining as well, but it's not primarily an attempt at humor. It's saying: "Here's a bunch of people who say real men don't sleep. They're wrong; real men sleep."
Hey Max, are you talking about the Ripple demo or the Canvas one? I'll definitely look into that. :)
Nice work. Keeping animation in the presentation-layer makes sense for 90% of the projects.

Any reason for the iOS 7 requirement?
This is false, you can still buy/sell bitcoins in China:

In addition, websites in China that provide trading services are required to report investors' identities to regulators and take steps to prohibit money laundering. [1]

------------------

Strengthening regulation of Bitcoin websites

According to the Telecommunications Act and the Regulation on Internet Information Service, websites that provide Bitcoin services like registration, trading etc should register with the telecommunications regulation authorities.
The telecommunications regulation authorities, following the determinations and punishment opinions of the relevant management authorities, close down illegal Bitcoin sites according to law. [2]

------------------

Sources:

[1] http://money.cnn.com/2013/12/05/investing/china-bitcoin/

[2] http://www.reddit.com/r/Bitcoin/comments/1s5hzl/my_human_tra...
Mail Pilot for Mac, iPhone + iPad: Task-oriented email
In addition of other comments about Chinese economic control.

There is plenty of regulation for bartering in most countries. Like for a house, you local IRS will have something to say if you exchange your house and dodge taxes like that.

Taxes is the key issue in our economies.
I am still waiting for bitcoin to crash.. it going to be fucking epic..so much fun
It is impossible to definitively give a reason as to why something as uncontrollable as Bitcoin changes in price.

But yeah, probably.
Your statement that the most money comes from Android and iOS is not really supported by the facts for a typical indie. F2P requires a lot of investment/luck and non-F2P on mobile is a steadily shrinking market. Many of the big indie successes are PC titles sold on Steam or console titles.

I'm sure you can find some examples of mobile successes that brought in big money for a small indie studio, but I'd be shocked if you could find even half as many as you can if you look at PC and console.

It's worth pointing out that desktop GL and mobile GL ES are pretty significantly different (extension support, API, compressed textures, etc), too.
I was able to spot the Magellan clouds, the Andromeda but where is Triangulum?
Wait, really? I was under the impression that a college degree for programmers is less important nowadays.
There's a third party plugin for Xcode claims to do this called MoarFonts and asked you for $10, however I have not tried that. Runtime attributes patch wouldn't take effect instantly in IB but it works reliably well in our experience.
nope, I like her style because she's unconventional, as many children are.

Perhaps 'amusing' is the wrong word - you may be right there. Perhaps it's a Britishism where I say one thing and mean another; I think it's cool, and it makes me smile.

You may also be right that she picks her activities to fit in, as well as her appearance - but I don't think so, from watching. Her older brother is actually quite timid about using the climbing frame in the garden, and the adults definitely don't use it as we might break it, but she happily climbs all over it, whether or not we're watching or talking about it. She particularly likes falling off high (ish) things - one of her favourite games to play with her dad is where he picks her up, dangles her in the air, and then drops her at an unexpected moment (her brother likes this one too.)
Game consoles - proprietary 3D APIs

OpenGL != OpenGL ES != WebGL, yes they are all based on the same concepts, but require separate code paths and different shader versions.
try the last available os version on a 3G or 3GS.

there is also the general phenomenon of people being afraid to update (wrongly) their iPhone 4 or 4S based on their previous experiences with a 1, 3G or 3GS

EDIT: also see other testimonials in this page of comments...
I can say I own two of those gunnars, but you're better off looking for a cheaper alternative.

What they provide is an f.lux experience, with a +1 magnification. their optics are quite clear, but no where near the marketing hype they claim.

When I compared a $10 pair of sunglasses to a pair of +$100 Oakley's I was like wowzered by the optics. It actually provided me with better contrast across the range, in all but rainy weather.

Always wanted to try one out after i saw that movie. So one day I got a tax benefit and could get them for free.
They shipped out the wrong model first time, so I got two.

They seemed really overpriced to me, but do help. Keep them on long enough and you'll see blue. I had clear benefits when for a year long I was doing online poker zombie shifts.
But on one without a frame, the legs came of fairly easily.
They were plastic and glued into the glasses. I still have to re-glue them, but never bothered. I might fix them and give them another go.

But for $100+ I'm getting a solid yet lightweight frame from Oakley, and a crappy plastic frame holding not-so-impressive optics together.
Why Bezos's Drone Is More Than a Joke
There is also a NYT documentary at http://www.hulu.com/watch/566985 which I saw browsing on Hulu.
actually is a shame that apple don't let you restrict which devices you can run on.

also apple should (but don't) reject apps that ask for a front facing camera and yet don't use it. its in the app store submission requirements...
Link to MoarFonts: http://pitaya.ch/moarfonts/
It's playable, and you can use the in game editor to make your own maps/scenes. Not too different from what minecraft was when it was early alpha.
It's a side view of the milky way - our galaxy. You can see it at night if you look up, and you live far away enough from a large city or light polluted area.
Polish software house pays most of November salaries in Bitcoin
Piet - write programs that look like abstract art
Youtube maroc - darija tube
There's no way they ever would have exposed DirectX to JavaScript. It's not really admitting defeat to implement a web platform feature that customers want when you have no alternative.

They used to be pushing Silverlight as a way to do 3D rendering (which made sense, because it had the DirectX bindings from XNA and .NET is a superior platform for rendering code when compared with JavaScript) but now that Silverlight and basically every other native plugin is on the way out, there's no way they can lean on that anymore.
autoconf is operating within difficult constraints (only /bin/sh and make are assumed to be installed), and uses shell scripts that write shell scripts that write shell scripts.

A) autoconf is not similar at all to an API layer hiding hairiness in its domain

B) autoconf becoming terrible does not mean that portability abstractions are necessarily terrible
C'mon, if you were a real man, it would be no big deal ...

But seriously, I think the point is that it's considered 'manly' to work hard and not sleep enough. The title of the article takes on that myth directly.
Good site, but I'd lose the swearing.
... four and a half years ago.
+1 here. We use Evernote for documentation but we also spend hours and hours each month maintaining it. That said, "How to install XYZ?" is valid documentation - it might be that a specific way works on your setup and that it took 25 articles/posts and three days to figure that out. The key thing is to maintain the documentation - cull the old, update what you keep.
Ego is my number one pet peeve about coworkers and I have a really hard time working with anyone who won't admit they don't know everything. I have a coworker who I can't tell that I got an answer from stackoverflow because he will instantly say "I don't care what reputation he has blah blah blah he is wrong" and won't listen to any actual research on the topic.
I'm sick of seeing comments about how someone didn't even read the freakin' article because they didn't like "X" on the page.
How You Walk Can Increase Your Risk Of Being Mugged
How do you do the accountancy in Bitcoin? Like a commodity? Can you show numbers to the Tax office in weird currencies?
God yes, this is the worst thing right now. Sigh.
The idea is that show and list are only for things that can't actually handle json, like they want xml or worse, instead for small apps you can use jquery or pouch to download the json and render it client with a template, it's what i did for macode.org
They have probably subtracted billions of dollars of value from the world in decreased programmer productivity.
They probably level each other out.
Even the previous versions were fantastic, glad to haer its even better with the new version!
> you'll quickly notice lots of shoddy content

Some programming language and software product vendors encourage quantity rather than quality in questions posted to Stack Overflow because various popularity rankings use the number of Stack Overflow questions as one criteria when calculating rank.
Is anyone actually contesting that 23andMe doesn't get an accurate enough reading of DNA? I thought the problem was all with interpretation.

https://www.23andme.com/more/science/ states "Data quality starts with the laboratory that processes your DNA. Our contracted laboratory is licensed by the federal government to perform clinical testing. It uses standardized processes and procedures that ensure highly accurate genetic data." and so far I haven't seen anyone contesting this. That is, DNA reading part is already regulated.
Well, if ever it were possible to definitively give reasons, this would be the time.

When you have, on the same day:

a) Greenspan's announcement saying bitcoin is a bubble, and using the "no intrinsic value" argument

b) China effectively banning bitcoin (not that we have the specifics to say that "ban" is the best term yet)

...it's not going to do wonders for the price.
I went back and read the article. Weasel words. Yes it's hypothetical situation but he is explicitly linking Ben and this hypothetical situation. He didn't have to use Ben's name and the word 'asshole' in adjacent sentences. It looks pretty deliberate to me.

I think a lot of people (Bryan, commenters in this thread, and the people abusing and bullying noorhuis on twitter) got hot under the collar and are retroactively trying to rationalise and explain their behaviour rather than apologising and saying "sorry we got caught up in the lynch mob". I've not seen a single answer to the question of "why are you ignoring the fact that he was following the procedure had no option".

Anyway, this has been talked to death. I'm interested in this because I empathise with the injustice of it, can't stand a witchhunt, and don't think that bullying should happen, in any of its forms. Everyone's drawn a slightly different conclusion about the people involved, we can all learn something about humanity and move on.
Not Scheiner, should've been more clear. I meant the person he is writing about :)
There are so much awesome APIs on iOS 7 that we planned to leverage in the future, cutting off legacy platforms simply help us focus on looking ahead instead of backwards.
So, bitcoin prices plunge 20% on bullish news ?
We've been researching at what resources developers actually use when browsing the web. The [initial results](http://blog.ninlabs.com/2013/03/api-documentation/) of Android developers confirm Stack Overflow is highly consulted, often over official documentation. We're seeing the same with data collected from [web developers](http://checkbox.io/studies/?id=51fac5175ec6012222000001).

Costs need to think in terms of the entire ecosystem: the time spent creating the answers, the time spent writing official documentation that isn't consulted, and the time saved finding the answer faster.
Many technical writers and documentation teams from large corporations have been reaching out to me on this topic, they are definitely interested in learning how to adapt their processes based on Stack Overflow's success.

But not everything is roses. Providing answers can be [slow](http://blog.ninlabs.com/2012/05/crowd-documentation/), unanswered questions are rising, and [users stop doing actions](http://research.cs.queensu.ca/~scott/papers/MSR2013.pdf) that lead to badges as soon as they achieve them. On recent field study at a large industrial company, when learning WPF, they relied on books, and internal seminars to learn new concepts because Stack Overflow at the time did not have sufficient saturation on examples yet. As seen with [another study](http://blog.leif.me/2013/11/how-software-developers-use-twit...) on twitter usage, in some contexts, the subject matter and available of easily accessible experts makes looking online less effective.
Yes, which means the joke isn't funny.
Could the money really be considered the merchant's if PayPal can still come later and take it back?
This part is a little too ambiguous:

> I wanted to know why he can pull that off and I can’t. He’s 42; I’m 29. I asked what changed for him in the last 12 years. Was he always this good?...The first thing he said was this: Yeah, I was always this good. So were my cofounders...[but] I was also doing lots of stuff I wasn’t good at. The only thing I changed in the last 12 years is that I stopped doing those bits."

I think it's possible to think that part of being "good" is knowing "good" from "bad", or, "wisdom" as others might put it. I don't think it's necessary to think of "being good" as different from "being experienced"...as the two qualities are so tightly co-dependent in something like programming/designing/business-building.

It's an important distinction to make because I don't think we have to attribute the success of young hacker/entrepreneurs to plain raw talent. Did Facebook become the biggest network because Zuckerberg was the best PHP developer in all of Harvard? I think the young people who hit it big do so because they're in a phase of life when trying big risky new things is encouraged, and these provide opportunities and insights that are less available to a middle-aged person of the same raw talent.

So, if you believe in karma and a purposeful universe, there's a nice balance here...young creators have growing/hungry minds and fewer shackles...older creators have more wisdom...and so there's a great number of avenues to success for young and old.

(I'm leaving out luck/connections/privilege in this discussion, but they are obviously factors for young and old)
Everyone can edit questions and answers (if you don't have the full-on privilege yet, your edit will go in a queue and be vetted by more experienced users).
Secrets of the GNU Make Ninjas
I hope that the US does not account for every upvote on HN. This article applies to pretty much every working culture in the world.
Open Sourced: Ruby CFMX Compat algorithm
Ummm...good luck with that China.
Python compiler workbench demo
Why Reflection Isn't Always Your Friend
Five Free Tools to Clean Up Your CSS
If I remember right, and it started with golf clubs of all things, patents give you a way to stop the import of these items. I figure Apple patents everything anyway.
The problem is not the minority you are thinking of: most of that minority can enable JavaScript if it's genuinely required.

The problem is people on poor or mobile connections - the majority - who have to suffer that little bit longer to wait for the blocking JavaScript to load and then burn down their limited battery for the sake of parallax scrolling or a marginally prettier icon or button on the static text site they are trying to read.

JavaScript-requiring designers do hate proper user experience.