skysight-inc/HackerNews huggingface dataset:
Interesting, but the headline is inaccurate. There's no such thing as 'free college' (or any free good or service, really). Better would be:

"German taxpayers will cover your college bill, no matter where you're from."
We think access is broadening out the network so that everybody who could contribute can get access to the network. And that’s the one that we’re working on.

I would like to hear a lot more about this. Being on the east coast the Silicon Valley crowd or even just the ethos around it seem totally foreign.

I will say I am somewhat connected in the D.C. area and I have heard from many Angels and VC's that the east coast will never look like SV simply because the money that is here is not like SV money - it's too tied up, needs too much due diligence and investors are too tightly wound as advisers/board members.

I don't know if that is true, and we are seeing huge growth in the Startup scene here, but it certainly feels much more restrictive than what you see on HN and read about how SV money/networks get thrown around.
No need to lie, I put them under "github projects"* because they are exactly that. When people ask for "work experience" they want to see how you solved someone's need. Of course, you can create an open source project that is being used by thousands of people, clearly demonstrating that.

* http://radekstepan.com/pdf/cv.pdf
I have no idea why you'd care. Some people read things just for the experience, "maybe this will be interesting, let's see". Then it is or isn't and they move on.

I liked it.
The principal thing I push learners towards after Haskell would be things like Coq and Agda. Coq has better learning materials, Agda has Haskell integration.

The usual sequence is [1] followed by [2].

Augment with [3] and [4] as needed.

One negative thing about Coq/Agda/Idris is they don't have a satisfactory encoding of typeclasses [5]. This is a problem in general with all dependently typed languages. Proof obligations get "churned" by changing code and the only tool to address that is extremely general proof terms combined with proof search. The best proof search is Coq, but the code extraction is heartburn-inducing for Haskell users.

Whereas in Haskell, we get extremely lightweight and type-safe code refactoring because of the way in which we leverage typeclasses and parametricity. This turns out to be very valuable as your projects get more serious.

That said, still entirely worthwhile to learn Coq or Agda.

By the way, this [6] is how I teach Haskell. Working on a book as well.

[1]: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

[2]: http://adam.chlipala.net/cpdt/

[3]: http://cheng.staff.shef.ac.uk/proofguide/proofguide.pdf

[4]: http://www.amazon.com/How-Prove-It-Structured-Approach/dp/05...

[5]: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceMa...

[6]: https://github.com/bitemyapp/learnhaskell
So, this isn't meant to be mean... but first you could work on your English.

"I have no network, what do u mean widen ur search criteria, like doing a barista job, which I already have" is full of spelling and grammar issues. If you want to work in tech I would expect it to be possible for people to look up things you write online. Take the extra time and spell out words like "you" and "your."

Also, it's "supposed to get a job," but that one is less obvious.

But to help answer your question for real, I recommend internships (hopefully paid) and agree with agilebyte, who mentioned looking for the jobs that don't require the 5 to 10 years of experience to start. Practice hard at interview-type questions and really make sure you know about the stuff you might be working with. There's lots of great starting jobs in tech that require less experience. Start there and get the 5 to 10 years, or be so good that you can knock 'em dead in an interview.
In theory you could use Tor (in the config file you can hardcode a list of exit nodes that you want to use). In practice you probably don't want to do this because: 1) If not everything is correctly SSL encrypted on the airline website the risks are much higher and 2) there's a good chance that the airline will block open proxy IPs.
I'm deeply familiar with all the existing HIG; I actually contributed to Gnome's a long long time ago. The reason why I wanted a PDF was so I could read it offline on my tablet and see the differences with existing documents.
I am amused by the level of intelligence the author expects of their readership.

Personally, I would have thought that people who browse Business Insider to have at least a basic grasp of currency conversion, rather than being introduced to a price in Colombian pesos as a mysterious concept that apparently is "a lot of mumbo jumbo to most people".
FOBO (YC S11) fades off into the distance
Didn't know about SIMBL. Learning something knew every day.

So the answer is maybe: https://github.com/ravenac95/sudolikeaboss/issues/2

:)
> For reasons I never quite understood, every time I tried to book a domestic flight in another country, the prices were always exorbitant.

...

> But, say, once I was in Bangkok, that same flight that was once $300 would fall to $30 almost inexplicably. This phenomenon is because a ticket’s point-of-sale—the place where a retail transaction is completed—can affect the price of any flight with an international component.

The reasons are pretty easy to understand. When you try to book an in-country flight in Thailand from the United States or Europe, they infer that you are someone who will soon be traveling on an expensive international flight to Thailand. They infer that you will accept $300 for an in-country flight rather than say "screw this, I'll take the train or bus", because (1) you can afford international travel so $300 probably isn't a big deal to you, and (2) there's a good chance you are on a business trip and need that domestic flight to keep things on schedule.

When you try to book an in-country flight from within Thailand, those inferences do not work.

At some point, they'll get clever and look at your IP address when you make an online booking, and even if you are booking in-country they will give you the $300 rate if you are connected through a hotel that is popular with international travelers.
As an intermediate Haskeller I'm curious, what's the replacement for SYB? I've worked in haskell primarily on compiler-like tree tranformation code and SYB seems to fit the bill perfectly.
I haven't had a piece of technology make me feel like more of an idiot than Om. I don't know what it is but I just don't get it. I've found Reagent to be more accessible.
I know I can use an adapter, but it's one more thing to carry around, lose, or get stolen. It's an extra cost to the user, and one more device dangling off my laptop.
I agree, most students don't need a full 4-7 years of college... but I'm a little confused why the author thinks everyone needs at least one year so they can learn the fundamentals. Shouldn't that basic education be provided in high school?
Crashed twice on me now (other players stop moving, and the game stops responding to input).

IndexSizeError: Index or size is negative or greater than the allowed amount

Somewhere on line 18 of client_out.js, which is probably not very helpful because the source is minified.
Research, chip capacity, other divestments. What is IBM these days? At a certain point, the name should just be retired and committed to the annals of history. At least Sun and SGI are (mostly) not brought up in any fashion related to their prior glory days.
Reversibility is all about trusting a third party with your wealth, which has obvious downsides. That said, reversibility will always be there for those who are not prepared to take responsibility for their wealth.

Moreover, the scenario you propose is ridiculous. If Bitcoin wins, government will have to change, as it will no longer be able to coerce tax payment. Who would voluntarily give their bitcoins to the government in the first place? What individual or group could be trusted with the private key? I don't know how it would work, but it would have to be different.
You need to get straight who you're replying to. I'm not the guy who said he's having problems hiring. I'm somebody else. I've never hired anybody. I've only looked for jobs.

I'm asking you an honest question here. Would you, personally, engage another company about a job that you don't have the intention of taking, in order to gain leverage over your current company?

I can't see myself as being willing to do such a thing, but I'm interested in the thought processes of someone who would. Maybe I'm operating under false pretenses. You don't know unless you ask.
Wow this looks really cool, will it be in the US eShop? I would have loved something like this when I was a teenager playing with QBASIC back in the day.
I have a directory in /tmp set up for swap files. And indeed, it is much less annoying than having them in the working directory.
"Charlie Miller has been a grease monkey for almost his entire life. Born in Tippo, a tiny town in the heart of the Mississippi Delta, Miller overhauled his first engine when he was 12. He put himself through a local college working as a mechanic while supporting an addiction to drag racing and after he graduated he become a professional hot rod driver. In 1974 he opened an auto repair shop in Merigold, but it was 15 years before he was asked to offer an expert opinion, and only because of happenstance"

That didn't sound very complimentary to me. Maybe it could have been written like:

"Charlie Miller was asked by a friend to help in a court case. His friend has asked for help because of Charlie's unique background. Charlie had a love for cars since he was a child, and was smart enough to overhaul an engine at the age of 12. He was not only good with tuning an engine, he could also drive. He competed in drag racing as an amateur before becoming a professional driver. A graduate from a local college, Charlie was able to combine his love of cars, his self directed education and his keen diagnostic sense to solve his friends problem as an expert witness, and that is how he started his path to become the guy who solved the biggest recall in automotive history. "
"I mean, part of it is, I love arguing.

No, really?

The big thing about Twitter for me is it’s just more people to argue with."

You know, that does pretty much sum of the appeal of Twitter for me too.
Another similar one I've founds is to find a good price and then run the same request in several different country domains. The differences can be quite large e.g.

travelcompany.com

travelcompany.co.uk

travelcompany.com.au

Also I've learnt never to book an extra night at the hotel reception when plans change. It's invariably cheaper to go online and book through an aggregator.
It's doable on a trackpad (Macbook Pro) since I did manage to beat the game, but it was hard!
Lets hope the Patent Trolls are not the ones who find the IP pony in Clinkle
Alligator kills celebrity
Digital data and information storage is not a component of a software architecture? Of course it is, and anyone working on a similar project would need to include these layers in their architectural specifications.
> The entire OS seems to be of substantially higher quality than Linux.

That's a pretty bold statement. Care to elaborate?
The adult industry isn't lack of innovation, it has pushed the wide implementations of VHS, Online payment, Virtual Reality, teledildonic, etc.

The much needed disruption is how to bring positive impacts to the mainstream market by using sex technologies, without leaving the sex element. How to use sex technologies to help couples to stay intimate, increase safe sex awareness, help individuals to understand his/her sexuality, sexual wellness, help men to understand female orgasm (no, it's not about bigger dick), etc.

In the recent years, we started to see sex-positive startups stepped up to this challenge. From MakeLoveNotPorn, Jimmy Jane, Crave, RevelBody, HappyPlaytime, PerfectFit, DOWN (Bang With Friends) and many more.
I'm the co-founder of www.vibease.com, the world's first wearable smart vibrator. I created Vibease because I was in a long distance relationship and I couldn't find any solutions that was easy to use and not invasive. Eventually we 'pivoted' to create immersive pleasure experience for women using audio erotica.

Cindy Gallop from www.makelovenotporn.com has been a great advocate to disrupt the old adult industry. She successfully brings the hard topic, porn to be discussed in the society. She takes the good parts of porn and leaves the bad ones behind, to encourage a healthy discussion about sex.

The challenge is that these startups always being treated like the old shady sex business, especially from the mainstream and holy (aka. hypocrite) institutions. The best way to overcome this problem is to pitch it boldly and hide nothing.
Insisting that Apple put scare dialogs in front of millions of users before doing something that is pretty darn safe is some real douchebaggery. Either it scares users into declining a feature that they'd probably actually appreciate having if they weren't required to click past a scary dialog, or it's one more step towards training users to unconsciously approve dialogs warning them of dangerous actions.

If you care so much about the possibility of a feature using the internet (as opposed to what would actually be a privacy violation, which is selling your information or queries to third parties, instead of, ya know, just using it to provide the functionality you're trying to use), then it's your responsibility to actually learn what this stuff is doing.

But you admitted to installing a brand new major OS update without reading anything at all about it. It's not Apple's fault that you chose to be so intentionally ignorant.

If you don't want the existing OS functionality to change, then don't install major OS updates. If you install major OS updates, then expect functionality to change. And the most cursory of searches would let you find out what's new and updated in the OS. Perhaps you should read the list to find out if any other functionality you use has been modified: http://www.apple.com/osx/all-features/
recorded a video of my experience (1h40m with level bookmarks in description):

http://youtu.be/vtuZlufpfag

truly great idea. thanks for the game!
All the deliverables are accessible here [1], and from the most relevant one (D5.4) the short story seems to be:

- The core library's memory safety was verified using VCC;
- A Frama-C plugin was used to verify (a limited form of) side-channel resistance.

Correctness verification seems to have been done by reimplementing NaCl in CAO, a language made during CACE for this purpose. It is not a 1:1 match to C, from what I can tell, so this does not imply correctness of the C code.

However, none of this is verifiable at all. The NaCl code has no VCC or Frama-C annotations, or associated CAO; there is absolutely no mention of this in the NaCl page. So we are forced to take the authors of that report at their word, if we want to believe them at all.

[1] https://www.cspforum.eu/documents-reports/description/cace
I do believe SOI has some cost disadvantage, and this contributed to its unnpopularity. The POWER8 chips are huge and probably can't be made cheaply, or to consume sane amounts of power. IBM would have to take a very thin cut to compete with Intel.
Agree with most of these issues but your last claim is only true for older versions of MySQL. Newer versions do support microsecond resolution[1].

1- http://hackmysql.com/slowlog
I don't know what you mean by "a few" frames per day, but it sounds like you have a misconception about how it works. Typically many, many thousands of frames are rendered every day, and most of those are rendered multiple times as artists iterate.

The unit of parallelization for renders is always the frame. On a machine with multiple cores each core will render tiles in parallel, but across machines jobs are split up by frame. This is both because it's the simplest type of distribution for people to understand (machine goes bad? You lose one frame, not arbitrary pixels in an image). But also because it's most efficient for a single machine to read all the data for a single frame instead of multiple machines requesting the same data repeatedly across the network. I think people tend to underestimate just how massive the geometry and scene description files are for a typical feature and how much of the work involves managing the storage and network efficiency.
It's about living on your own, and setting your own day's structure. I agree with him about having students do one year of college before going straight into the real world.
From using it, when you start typing, it immediately shows the top local hit, but it doesn't expand to show results until you've stopped typing for a noticeable period of time. Note that if you type a long query slowly, you'll never see results, even though you've been typing for a while.

Based on the consistency of the delay, I assumed it was doing the quick local search for the top hit, and then deferring the more expensive searches (including internet-enabled searches) until it's decided that it's time to show the results window. So I tested it, sniffing http traffic, and while I didn't pinpoint which particular queries are sent by Spotlight, there was reliably a burst of HTTP traffic right before the results window was shown every time, and no noticeable HTTP traffic before then. This suggests that my assumption is correct, that it's not doing the internet-enabled search until it believes that the user is done typing.

Based on this, if you type your search and hit return immediately, then it won't have sent your query anywhere.
As others have said, it's not nearly as bad anymore as It was when Bob wrote that post, but I would say, please do not take that as a reason to not take what he says very seriously. I use haskell because it is a very practical tool, (bona fides: I am an experienced haskell developer and I actually use it full time for my job---not an armchair evangelist) but it has become very clear to me that the next great thing will be more like ML than like Haskell. There are of course many important lessons to be learned from Haskell though!
The magical lack of documentation?
Would love some examples that showoff the benefits
Yes, I think this stuff has nothing to do at all with type erasure. it's very confusing when a well defined concept gets appropriated for something that is very different, and totally unrelated.
Drone War seems like it will tend towards the Star Trek episode "A Taste of Armageddon", no one wants to go nuclear, and no one wants direct confrontation with boots on the ground, so fleets of drones will fight it out and bomb strategic and tactical targets with conventional weapons while the civilian populations can do nothing but count the destruction.
I'm curious what your objections to the value restriction? It's a tradeoff for allowing impurity, which is of debatable use (I like it), but it's not totally off the wall.
It seems like this could pose some problem for the DOD, since IBM was the only trusted foundry with a cutting-edge process for logic. Presumably they don't want the government of Abu Dhabi fabbing chips for them.
fiy reagent is not "unmaintained" anymore

there's a reorg going on, a github org has been created and development is restarting

previously, dev was happening at whoops' fork
Time Machine to a Linux file server (large RAIDZ2 ZFS array) for both my MBP and the GF's iMac.

CrashPlan family edition (unlimited backups for up to ten computers) for both of us, the Linux file server and my parents laptops as well.
IBM has sold off their PC business, they sold off their mainframe/server business; now they're selling off their chipmaking business.

What, exactly, does IBM think that its core business is? Making Jeopardy-playing AIs?
Except that American Airlines doesn't allow you to use a non-US credit card on their US site and fails with a completely obtuse, out-of-context error that you only discover the reason for after calling their callcentre.
Come and Talk to Keystone Partners Financial Services Provider
When I was in elementary school, I distinctly remember an optimistic perspective in response to automation of labor. Now, I highly doubt that children are being taught that this is a good thing and it seems to be mostly doom and gloom (although perhaps I'm just too separated from this point of view, having no children myself).

What changed? Certainly people during the past industrial revolutions were not all optimists, especially in the time before unions when labor was considered almost 100% disposable. But in the last few decades, hasn't there been some shift in what we expect out of this "new wave"?

I think about this almost daily, and all I can come up with is some sort of improved welfare system that depends on a very cheap, automated production of food. And I imagine we will have to shift (already!) back to single-earner households as the economy just isn't made to provide so many jobs anymore. If anyone could point me in the direction of some actually decent reading material on the topic I would be grateful.
TIL Mark Zuckerberg didn't know what Netscape was before meeting Marc Andreessen. Zuckerberg may get some slack from the reporter and even Andressen regarding this, but it's a shame that a person can start off knowing so little about the industry they end up having such a huge impact upon.
This looks incredible, hopefully we'll be able to upload scripts we write on desktops. But more likely they'll have some stupidly small limit and only inputable from the console. It'll probably be measured in Nintendo "blocks", which they decided to use over literally anything else.

edit: nope, I was completely wrong. This looks awesome. Finally, the nintendo 3DS is easily user programmable.
The cheapest node today and for a long time is 28nm. But there are many applications where people are willing to pay more for performance, like processors.

Second there's a debate whether SOI is more expensive once it reaches volume. The claim vary between 10% more expensive , to cheaper , to something in the middle. We'll see.
Sure.

Everything is more reliable. Not one crash yet. When I use Linux, I would have expected several by now.

Everything works perfectly out of the box and has sane and safe defaults.

Everything is more consistent. For example, the ifconfig/iwconfig/wpa_supplicant/etc. mish-mash on Linux is replaced with just ifconfig. All interactions with the OS are straightforward and standardized.

The code is substantially better. Less macrotanium, better naming, more understandable.

There is clearly more attention to (and more expertise about) security. This is, of course, what OpenBSD is (rightfully) known for.
There's http://www.haskell.org/haskellwiki/Template_Haskell, for one
... then, head on over to Spotlight, and disable its similar feature, apparently distinct but named the exact same thing.[0] And hope there are no other instances of this type of thing. That's what on earth I'm talking about.

People have pointed out that this option is kind of hard to find, even if you're looking for it (under Search, not Privacy.)[1] Also, if I chose the "Google" option, I might reasonably believe my searches were only being sent to Google, not Apple.[0] If this was a Microsoft computer, I'm pretty sure we'd all be angry if they had a default-on option phoning home Google queries!

Is [0] downvoted because he is factually wrong about the two options, or because everyone is determined to prosecute him to fullest extent of the HN downmod, for originally being sensationalist/mistaken and/or for having certain views on privacy?

[0] https://news.ycombinator.com/item?id=8480364
[1] https://news.ycombinator.com/item?id=8480239
> The American Enterprise Institute, I think, does a lot of good work.

meh
Guru Meditation Error
3DS homebrew coming soon... https://twitter.com/smealum/status/523002877514493952

There's already a "C library for writing user mode arm11 code for the 3DS (CTR)" https://github.com/smealum/ctrulib