skysight-inc/HackerNews huggingface dataset:
Ada's got a lot of really nice features.

- really nice strict typing (you can define a type which represents an number which varies between two values which are not known at compile time and the compiler will enforce it. And then you can define an array with it as an index, and it'll just work).

- fully nested everything with seamless upvalues. First class support for nested functions makes a lot of things easier.

- amazingly nice, rendezvous-based, type-safe message-passing concurrency. Think Go channels, but better.

- full support for generics. (e.g. the standard complex number library is supplied as a generic package so you get to specify what number type you want it to use.) There's a standard genericised container library.

- sanitised pointers. It's actually syntactically invalid to leak a pointer from an inner scope to an outer one.

- full OO support (although it's been shoehorned a little uncomfortably into the syntax; they should have added some more keywords).

- full low-level control over structure layout. You can specify the meaning of every bit of a structure, if you want (including, IIRC, endianness). If you want to.

- built-in support for design by contract. Most things you can specify preconditions and postconditions, and the compiler will enforce them.

- really fast. Like, about the same as a good C++ compiler.

The tl;dr is: fully compiled, old school systems language with rather antiquated syntax but an amazing feature set.

I did a writeup last year: http://cowlark.com/2014-04-27-ada

...and interested parties might like to see a multithreaded Mandelbrot what I wrote: http://ideone.com/a1ky4l
Thanks. Url changed from http://massie.house.gov/press-release/press-release-house-pa....
In case anyone's interest was piqued by the complicated reaction mechanisms involved in even relatively simple combustion problems, you can automatically generate these mechanisms using software called "Reaction Mechanism Generator" http://rmg.mit.edu/ produced by a group in MIT's department of Chemical Engineering.

You wouldn't want to have to determine parameters and pathways for a 53 species 300+ reaction mechanism except in a highly automated fashion.
You still cannot be sure that WiFi blob isn't being reflashed over the air.

Sure, it's harder to mess with reflashable firmware stored inside the device. However, it's only just like you said - a change on priority list, nothing else. Differentiating this in terms of freedom is a hypocrisy.

Anyway. Kernel just provides you an interface to load such firmware into your device. When the firmware is freely redistributable, it's also included in the kernel source tree. Nothing more, nothing less. It's up to you to decide what to do with it - you can easily look up all the needed info and remove unwanted firmware files.

For me there's no difference where it's stored. Closed firmware is closed firmware. We either have to accept it or not use PCs at all.

In the meantime, we should rather focus on producing stuff that increasingly stops requiring it, instead of aimlessly fighting with kernel developers.
It's too bad this got killed off the main page. I guess maybe it's not relevant to HN.

Anyway, as a mid-20s straight man who likes wearing 5" stilettos, finding out the history of when and why men did and didn't do the same is interesting to me. As it is, the only time I feel comfortable wearing them out is during the Folsom Street Fair (and maybe Pride too but I feel that doing so might encourage assumptions of my being gay among viewers/my friends, which is not necessary bad, but just not a view of myself that I particular want to promote, as it is incorrect.)

Finally, the two men who mentioned attempting to walk in them and failing make me somewhat disappointed; whether or not they expect women to wear heels, they probably generally enjoy it when they see a woman in heels and could get a much better appreciation for her efforts (especially if she's still out after an 8 hour day wearing them.)

Edit: apparently it's not nuked off page 1. Could have sworn it was.
tl;dr: His girlfriend's step-dad booked tickets for him and his girlfriend and took his name from FB - but like several people I know his FB surname was false. It was cheaper for him to change his name to the joke FB name and get a new passport than it was to have the airline correct the silly error.

Deeeeep siiiiiigh.
As an European this glorifying of people who kill other people when we're at the beginning of the 21st century is a little perplexing.

Also, by the looks of it this latest US tactic of treating wars as video-games ("lets kill the big boss and then it's game over!") is actually very counter-productive, as in it hasn't won them anything big. But, then again, long-term diplomatic strategy and trying to make sense of the world (as guys like Metternich and Talleyrand did) is a lot more complicated when you can easily send in the drones.
Since you open with an inflammatory ad hominem attack and never really move beyond it I'm not sure how much you get to talk about civil discourse.

http://www.paulgraham.com/disagree.html
Nice to see another UWC grad on HN.
I like to make a distinction between managers and leaders.

- Leaders get a project done. They may or may not be managers. They think about technical problems, they write code, they organize teams and answer questions, they write design documents, they communicate technical stuff to other teams and managers. In some companies these are PMs (but the meaning of PM has been devalued to "someone who does non-technical project management, like bug tracking and scheduling").

- Managers deal with people. They write reviews, they fire people, the might hire people. They do donkey work like finding office space or ordering hardware or making sure that people get compensated properly.

Those are two different jobs, and they're often conflated.
OpenStreetMap Hardware Funding Drive 2015
Have you heard of Lightning[0]?

[0]https://lightning.network/
>(as an aside, the portion of my post you quoted has nothing to do with what you're saying

It was a case of people learning unknown unknowns outside of college.

>We'll agree to disagree on studying fields in which you don't have expertise being a good mechanism for learning when you're over your head.

I didn't say that it's a bad mechanism, just that it's not especially better than the kind of learning your pick up in life normally (eg the startups you cited), without blowing $50k in opportunity costs per year.
Your racism is going to morph into sexism when you don't like Hillary. For some reason the Left is allowed to get away with such intellectually bankrupt arguments.
It is fancy around these parts to bash OOP and other things that aren't JavaScript/Clojure/Haskell/Rust/etc;

DRY, SRP, LSP, OCP are very valuable. There's a reason there's a score of enterprise-grade software being written with exactly those principles in mind. I am not discounting Functional Programming in anyway. But to dismiss OOP and the design patterns is a fool's errand. It has its place, and rightly so.

Look at what the programming Lords (Ken Thompson! Rob Pike! Lars Bak!) at Google came up with when they sat down to design a language-- Go (which is part-OO, part-imperative [1]), or Dart (OO again). OO detractors often point out that "popular opinion isn't always right" and that "people are afraid of change" and there's some level of truth to that, but the fact is, a lot of developers out there are proficient with OO, and see it as a good way to develop massive programs (1 million plus SLOC) unless some radical shift happens in the coming years [2].

[1] https://golang.org/doc/faq#Is_Go_an_object-oriented_language

[2] http://worrydream.com/LearnableProgramming/
I will try and block every piece of network traffic i don't want on my devices, including ads.
There is a direct relationship between quality of life and birth rate. The poorer a population, the higher the birth rate. In Europe the birth rate has been on a decline and the population is aging.

The one child policy in China has had negative social effects. For example many families sought to have boys, leading to a very skewed sex ratio and a high infanticide rate.

We can also say that such policies are a human rights violation, are treating a symptom instead of the disease and are doing more harm than good.
Look, osmosis is a verified scientific fact! It's bound to work at some point! We've just got to adjust some simple parameters...

<tightens clamp on chip-book assemblage>
Parallel worlds exist and interact with our world
PlaceIQ | Software Engineers/Data Scientists | NYC | Palo Alto, CA | Full Time | http://placeiq.com/about-us/careers/

We are a small team of software engineers and data scientists, working on the next generation of location-based reasoning/analytics platform. The platform is built on hadoop stack (hbase, kafka, pig, hive, cascading, and many other technologies), leveraging our geolib (for geo-temporal processing) and rule-based domain-specific languages (for classifying user behavior).

If both of these conjuncts satisfy your personality model: (a) you thrive on technical challenges in an agile environment, (b) you care deeply about your craft, we can't wait to hear from you!
> HN has a left wing/collectivist bias which tends to favor the former

Ha, first time I heard that. Usually we're accused of being libertarian wingnuts.

That said, it is true that there are a lot of Democrats here, though not really what I'd call "left wing" Democrats. Many of them Googlers and Apple employees, from what I can tell (and campaign finance data backs me up).
Could you elaborate on the drawbacks of having "too many languages"?

I thought that it was commonly accepted that having a diverse ecosystem of programming languages was good thing for everyone (Companies and engineers) because it fostered and fueled innovation in more mainstream languages by showing that feature X is relevant, or possible or desired by the community.

I sincerely don't see how it could be a problem? You can just ignore the bad ones or those that don't suit your needs while enjoying the others. Also, I might be mistaken but I am under the impression that new PLs have faster iteration cycles and are more receptive to feedback to suit one's particular needs.

I personally enjoy to see a new programming language makes the front page of HN because they often try to address existing problems in current big PLs, in a new way or incorporate state of the art PL theory concepts that I did not know!

Edit: why the downvotes? This is a genuine question!
Microsoft Support for Secure Shell (SSH)
I fear that at least one of the big DEs have contracted a severe case of developer paternalism.

In essence the developers involved are attempting to encode every use case they can think of into the program logic, and anything outside of that gets met with a "why would you want to do that?!".
I have a relative that was in prison for over a decade for a serious felony. He used the internet quite extensively. Even learned to program & work with databases.
Sockpuppet votes and comments aren't allowed on HN. We're turning the penalty down because we hate to see new work get penalized, but really please don't do that—it's bad for HN and gets accounts flagged and/or banned.
3-6 years? Sounds like someone who is in love with preparing for the actual work. I know this situation - whether it is setting up your development environment, getting the proper running gear if you want to get in shape or researching the best controller for your DAW (I used to work in audio production)...or reading books on how to get things done. These are tasks that easily provide a feeling of accomplishment, without ever tackling the actual work, the hard problems.

Don't get me wrong - it's good to prepare and I appreciate being organized, but it's very easy to fall into the trap of an endless preparing cycle. At some point there aren't any remaining benefits and all that is left to do, is the actual doing.
Nor should it.

As a manager, I try to let the team and the PM work out the individual tasks, and ensure there is consensus and follow through by individuals. Handling external pressures, clearing roadblocks, and resolving team conflicts are where I feel that my time is best utilized.
Show HN: Coffee2D – A simple HTML5 game engine
Did stuff like this when was a kid, but just used a binary counter hooked into the switches on the replacement remote. What I really wanted as a huge RF amplifier so I could broadcast the signal 5+ miles in all directions.
Oh, wow -- that's a great tidbit! I hadn't heard that before, Robert (one for the LFE Lore files ...)
The Hidden Geography of New York's Gay Nightlife
Who are the 43 people who voted against and why? Are there any good sites for public discourse with house & senators about why they vote a certain way?
I bought a $200 Android 'flagship' smartphone and it changed everything
Wow, I am glad that graph stuff is really starting to take off, for all the JavaScript people out there I wrote http://github.com/amark/gun .

Great work, I really hope you help usher in the era of graphs!
Anonymous computing: Peer-to-peer encryption with Ember.js
What struck me is it looks seriously like Hungarian notation applied to function naming.
My story goes like this. I listened to the messages, heard other variations, and still struggled with this concept. I'm not obsessed about the topic but for whatever reason, I struggled to 'catch' the idea.

I tried calendars, mail clients, to do lists, etc. Nothing seemed to help. Until I had someone teach me time management, in about 30 minutes. I'm not sure how, I'm not sure why but...it all finally clicked for me.

I've been using Things for about a year but I had it for like six years. It's my #1 application. I've been able to manage an 'inbox zero' for the past year.

My advice to newbies: Learn time management but start small. GTD isn't an all in one solution, it wasn't for me, but it's a great skill to learn. Do one thing, do it well, then build on that. If you ever overwhelm yourself with tasks, take steps back (ask yourself why you are doing these tasks). There is satisfaction to GTD filing system but don't let that guide you, it's your tool. Remember start small. A long journey always began with one step.
The summary at https://www.congress.gov/amendment/114th-congress/house-amen..., and the bill it is attached to, imply that only funding from only NIST to consult with the NSA/CIA is blocked. Wouldn't this sort of thing be coming out of the NSA's budget anyway? Seems like an easy loophole.

Edit: the loophole is even bigger than that! I listened to the discussion (http://www.c-span.org/video/?326244-2/us-house-debate-fy-201... around 3:16) where Massie says that the bill doesn't prevent collaborating with the NSA to strengthen encryption, only to weaken it. But the NSA can just claim they are helping to strengthen encryption... in fact that's probably exactly what they did when they first introduced DUAL_EC_DRBG to NIST in the first place.
On YouTube: https://www.youtube.com/watch?v=TuOOmjdYEt8
Remember Occupy Wall Street? Probably Not
Interesting. Thanks! (For a moment I thought the comment had a typo and was actually referring to Agda.)
How do you get the PC of a thread in a POSIX userland without sending it a signal? ptrace(PTRACE_GETREGS), I guess?
> but making an assumption that someone does not have skills based on their race, gender, sexual preference, or credentials is where he takes issue.

This is answered entirely in my original post. Adequately testing for the presence of skills might take weeks or months of testing, which is a prohibitive cost. Fortunately, a huge portion of the potential employees I have to interview already took those tests throughout their coursework, and I can pretty well trust the quality of the tests they took based on the institution they went to (unlike SAT/credential/GRE-style tests, which are too easy to game). Why should I blow thousands of dollars in my time testing the others? How is that fair to me? And why would I assume someone who never took a math course after highschool is going to be able to work on my linear-algebra-heavy software library?

Also, lopping university degrees and other credentials into a list of protected classes is insulting. A degree is something that is earned and requires time and effort on the part of the student. It's expensive sometimes, but it's also a lot of work (assuming it's a good university)
You have to work within people's limitations, that is, if you can't pick the people you work with. A team is only as good as it's most competent member's willingness to pull everything together and inspire the less-motivated to perform at a higher level. That's leadership, and there's precious little of it anywhere, even (especially!) in the products we use every day.

If there's no real leadership, then you're stuck in the backwaters of being managed. My advice is if you find yourself in this situation, either use it as an opportunity to work on your leadership skills or check out and throw your passion into side projects.
This is a dupe of https://news.ycombinator.com/item?id=9615519.

Please don't editorialize titles when submitting stories to HN: https://news.ycombinator.com/newsguidelines.html.
Related: How USA women smoking moved from taboo to popular through media manipulation:

https://vimeo.com/111346364

"Attractive women wearing skirts sat in a park mid-day. At precisely noon, they all lit cigarettes. Press, who had been told by Bernays to watch for something interesting, snapped pictures.. cigarette companies now doubled their consumer base"
Commutative, Conflict-free, Convergent -- the 'C' in CRDT sure is flexible. :)
And which of these is a True Scotsman?
There is a readme and a tutorial in the repo. The installation was simple and the first couple of tutorials run well. There is plenty to be desired, but it is much better than what I usually find in a V0.1 release. This looks very promising, but I don't understand how CalvinScript will allow me to read/write data to hardware interfaces.
Why hardly anyone dies from a drug overdose in Portugal
Windows Vista Product Key [ Activator, Crack and Keygen ] Free Download
I agree the number is probably a coincidence and it looks bad to focus on it. But the lawsuits in her husband's past are important to keep in mind due to the similarities with her current case.
> The one thing from Google that I do block is advertising on YouTube.

Which annoy(ed) you most? The leading ad-video or the banner at the bottom?

For me it's the second by far, although I don't see how the leading ad-video can have any decent conversation rate. Even with the best possible contextual placement.

Is it safe to assume there just isn't a good way to make ads work on a site like YouTube? 'Good' meaning what you described for regular AdWords (+Facebook) ads (text and display): being reasonably interesting/properly timed and generating a decent conversation rate.
For the last decade or so, I have used a cookie marked on bidmanager that buys myself at a high enough bid CPM that I basically always win.

I serve myself a blank ad.
divx, seriously?
> "When the firmware is freely redistributable, it's also included in the kernel source tree. Nothing more, nothing less. It's up to you to decide what to do with it - you can easily look up all the needed info and remove unwanted firmware files."

Only, this process could be made more clear and more readily configurable (as I suggest, for example, a libre verbosity level, and noblob params). It is also not hypocrisy to fight battles in order of proximity - rather, it is strategy.
Disagree. Maybe there's too many popular ones but I can't imagine there ever being too many toy ones. We're nowhere need figuring out how to make a perfect language. It takes a lot of trial and error to continue to improve.
Does anyone know why they don't use more modern directional representation systems, like curvelets, or shearlets?

My understanding is that they provide optimally sparse representation of this type of data - data that's smooth except on these wavefront sets, and that wavelets perform comparatively poorly.

http://en.wikipedia.org/wiki/Shearlet
http://en.wikipedia.org/wiki/Curvelet
He seems to be doing all kinds of things regarding Bitcoin lately - and has actually lost the company quite a bit of money by holding it on their balance sheet. None of this has really anything to do with OSTK's core business. Maybe Byrne is trying to pull a Bezos, but I wonder how long investors will let these adventures go on.
On Managing People: http://www.amazon.com/Managing-featured-%C2%93Leadership-Res...

It's a collection of ten HBR articles focussed on, you guessed it, managing people. I found it to be very helpful.
Drip doesn't typically help because the slow part is the Clojure compiler itself. Even if you preload your favorite clj version, it will be slow to load your project and libs.
Free market theory is not built on complete information, perfect behavior, strict reason, et al.

Quite the opposite in fact. It allows for and can easily withstand significant irrationality among participants, while still producing vastly superior outcomes. The 19th century in the US more than proved that fact; by ~1910 the US was embarrassing every major economy of Europe in terms of median incomes, growth, wealth production, etc. The free market results in an economy with far greater flexibility across the board. It can absorb shocks from irrational behavior better than any other system. The more distance you get from the free market, the harsher the penalties for irrationality: just ask all the Socialist, Communist, and Fascist systems of the 20th century.

The free market system has no opinion on the behavior of individuals, that's a relationship that exists among people and not with the system itself. In actuality there is no "free market" that you're interacting with, such that it punishes you for being irrational, there are only other people with economic interests of some sort that may take advantage of your irrationality.

Reputation is the answer to your last issue with the free market, regarding both advertising and complete information. Nearly every economic structure in any market system depends on reputation, and even more so in the free market. The free market doesn't require instant or perfect information, or expect participants to possess such god-like powers - the free market runs on eventual consistency, eventual recognition of reputation. Over time customers will come to know you as either honest, or dishonest, and they will vote with their money depending on the grievance.

Try running a typical business in a free market, lie to your customers non-stop, over-charge them compared to what you advertise, and see what happens to you. Your reputation will destroy you over time. This happens every day to businesses of every size in every city in America.
> Ads do work and the data for decades has proven it. Many people do benefit from eventually finding and buying products/services that they want/need.

Rather nebulous claim. And it's not clear that the second sentence is even talking about the same thing as the first.
> So ok() only has to check if threads have a reference to <oldval> that they are still using.

Right. The problem with doing this while other threads are running is that ok() can return true, correctly so for its point in time, then immediately after ok() returns another thread could enter objc_msgSend() while you are inside free(). Maybe ok() ran on thread A while thread B was right at unrelated function foo()'s "call objc_msgSend" instruction. The check is OK at a point in time, but perhaps by the time you enter free() thread B did an unsafe read.

> A thread that wasn't in BAD enters BAD. But that will use <newval>, so that's fine too.

You can't make guarantees that it will see newval. Whether or not it does depends on timing. For example, maybe the guy who calls ok() gets a page fault or is on a very busy CPU with lots of preemption happening. That will alter timing in the direction of this being unsafe. Cache coherence may also be an issue here.