skysight-inc/HackerNews huggingface dataset:
Show HN: Keep Women in Tech (Over 40% quit tech mid-career)
My Mac Development Environment
Best looking alternative I've seen so far.

You can't login to comment though. Or am I missing something?
Software Development Marketplace?Ekipa the Gateway
Well, there's the laws of physics, and the Second Law of Thermodynamics pushing the arrow of time forwards. Beyond that, not much is actually inevitable: people just prefer to rationalize anything awful as Inevitable because this gives them a comforting sense of metaphysics.
A bit more context: MIPS M-class CPUs implement full hardware virtualization into a microprocessor that is 0.04mm2 - this is 25x-50x smaller than conventional mobile chips manufactured in a 28HPM process node. In addition, a MIPS M5150 CPU can run up to seven guest operating systems in parallel, with minimum overhead on overall system performance and stability.

Virtualization will help developers create new and more secure applications for wearables, IoT and other embedded markets. For example, a MIPS M-class CPU inside a smart home hub can place door and window locks in separate virtualized containers to avoid compromised security throughout the home while a separate container can handle lighting control or the connectivity stack; any change in the operation of a container would not affect the others.

You can see this use case demonstrated below on a MIPS-based development board; when the Linux-based operating system running in one virtualized container restarts, the second container controlling the motor operation continues running unaffected.
https://www.youtube.com/watch?v=RjQZTBK1trY
Hacking the random walk hypothesis
Just wanted to express my deep admiration for your work. All the best in completing the work. (Loved the writeup, too.)
I responded to your statement that "the best solution to this is of course ending the welfare state", and said that's been tried (in late 19th-century America) and wasn't too great for immigrants. In fact, the American welfare state (or at least regulation) started as a response to what happened then.

I used "most people prefer" when it comes to valuing free-market vs. regulation, that are two competing controversial values (at least in the US). Regardless of that, when you contribute to someone's harm (as the entire US did to the slaves or as Europe did to large portions of the world), you should assist them. That, too, is a value judgement, but orthogonal to the free-market question, and, I think, a far less controversial one.
The language and culture of simplicity are great aspirations, all companies should look at doing this. However, not all companies are going to get such a huge benefit, as not all companies operate within a narrow problem domain. INSTAGRAM is another similar case: relatively simple solution (share photos with limitations), uses only single language PHP (at least since last I heard).

I mean this is partly a reflection of the teams brilliance, and the foresight. But its also that the operational cost is relatively low compared to a payroll system that needs to abide by government regulations and reporting requirements (for instance).
This is an interesting article.
I knew of a family that was nearly all wiped out by cancer.
One family member was my sister's best friend. She had leukaemia and died at 13. Her younger brother and sister both lived into their early 30's but both died of cancer.
Their elder half sister(on the father's side) died of cancer along with their mother(thought the cancer gene was on the dad side).

I did think it was like a curse indeed.
Fifa 16 epic goal montage
Well, the good news is that there's still taxes.
IBM has a smaller turnover and employs even more....
Hey, please don't have a green huge "try now" button and then put me on a page where I have to request an invite, after a queue nontheless.
Womens wear
which color earrings are perfect?
> Its a race that (if the ad industry gets smarter) will be very hard for the ad blockers to match.

Not really. I currently have my browser setup to strip out the main text content and display it "reader" style with images pre-loaded but requiring a click to display.

Even if you get tricky with loading of content via JavaScript trickery adblockers can always run the JavaScript etc but only "fake" render it.
> Transactions are FREE (the fee is always zero)

How would you deal with DDoS attacks? Taking down a ledger like this could be easy...
So I took a dive and signed up for Crystal, then did a vanity search. I have to say I'm impressed with the analysis:

"Max prioritizes achievement, pursues goals aggressively and methodically, and doesn't like when someone makes a decision on his behalf."

That last one really does piss me off. The rest of the analysis is quite good as well. Basically I like it when people get to the point. It possibly gleaned that from my short writing style - I don't carry on, and I tend to write short emails and posts.

Not sure what I'll be using this for in general now that I am a subscriber, but next time I need to write an ice-breaker I think it would come in handy.

--EDIT-- It just occurred to me that this may be of the horoscope variety, where analysis is on the safe side and can apply to almost anyone. I may have been fooled!
"Qwerkywriter's Return Bar functions as an ENTER key by default. But it's also programmable, remembering up to 5 characters."
Facebook hadn't denied it either. Perhaps they are to blame.
> Theoretically, it can guide operators to course-correct during a call to win over an angry customer

It's more like I feel like I have to get heated during every customer service call I might make now-a-days (at least when it comes to big companies) since calmly and rationally explaining your problem seems to give much worse results and waste much more of your own time.
> But the job is presumably not "being there from 9 to 5", it is to implement X. So why are you saying "they are not doing the job they are hired for"?

Most probably because measuring employees by results and not by hours usually means working overtime, not leaving early.

If an employer sees you leaving early while getting things done, why shouldn't she just give you more work?
Uh...what exactly are you looking to learn? If you're looking to learn the language, there are plenty of resources online (Fred Hebert's Learn You Some Erlang For Great Good and Erlang in Anger are great as introductory, and intermediate texts, respectively).

If you already know the language fundamentals...you'd not be asking about linked lists; you can only have singly linked lists in an immutable language (without extremely bad performance, that requires every update/insert/delete to re-copy the entire list), and they're so fundamental that the language's core has them for you. And most of the common data structures are well discussed in Learn You Some Erlang For Great Good. Sorting, eh, https://gillesleblanc.wordpress.com/2012/05/12/sorting-algor... . Graphs, you need to narrow down a bit, different types of graphs require different implementations, and due to the immutableness of Erlang will likely require thinking about in a different way than in a mutable language.
> How would you deal with DDoS attacks?

That's the open question.
What about mold and mildew with respect to the water tank?
My understanding is that being laid off is a "termination of contract" - therefore making any noncompete terms in said contract null and void.

Not to mention that "restrictive covenants" such as a noncompete won't fly in this sort of situation. Then again, my experience is with UK employment law so please don't take this as legal advice.
Hackers was a landmark in my youth. I also really enjoyed the movie "23" about Karl Koch: http://www.imdb.com/title/tt0126765/
You know what is interesting? In the city I currently live (São Carlos, an inner city in the state of São Paulo, Brasil), there's a 20 years old research that is helping victims of cancer with a new drug. The idea is pretty simple, but unfortunately I don't have a source in english, so the following is in portuguese:

http://www.jornalciencia.com/saude/mente/5372-brasileiro-ter...

Here's the interesting part though, the Brazilian government and even ANVISA (Brazilian Health Surveillance Agency) are not giving a fuck about his discovery, thus the researcher is covering the costs of fabrication of drug and giving it away for free.

Thousands of people from all the country is coming to my city for this drug -- people who used it before says it is a miracle, it really works.

I guess the media can help pressing the government/ANVISA, and it is what is already happening (very slowly though). I hope this text I'm writing spread his discovery further and someway reach someone who can help us. I'm here for whatever questions you have and I will do my best in answering them.

Please share.
Statistics worrying about losing ground to CS: Claim that CS isn’t worthy
Could you argue that in a broader sense this exact same thing happens not just on the company level, but on the level of entire economies? I recall reading a few articles on how recessions/depressions often have a way of shaking up industries to align (or rather, catch up) with new innovations/developments.
> Although, since they will eventually die of energy depletion from growing too large, if they actually stopped growing they might go on ... a lot longer?

If humans stopped ageing they'd go on a lot longer, too. But as long as they can't it's a hypothetical scenario in both cases.
ready in 5 years! - zzzzzzzzzzzzzzzzzzzz
Working on Songfari - you can call it Product Hunt for new music. :)

http://songfari.com
Systematic inequality and hierarchy in faculty hiring networks
In fairness, looking can also be a precursor to attacking.
Judy Asks: Is Schengen Dead?
Tackling Your Troubles – Building a Bug and Problem Database
> The good bits of US healthcare are the bits provided and paid for by the government.

Like the part where I have to spend hundreds of dollars to see a doctor for something silly? Most of the time I go to the doctor, he doesn't tell me anything any nurse couldn't (and it's probably something I knew myself, walking in). So costs go up. That's all government.

See also the basically unchanging pay-for-treatment model with is more-or-less mandated by acts of Congress. Want to create a medical retail startup that charges flat rates based on outcomes somehow? List all of the risks in that plan. How many of them are due to government regulations?

To be fair, maybe medical regulations are fair, but acting like the private sector ruined healthcare is ignoring the tradeoffs of those kinds of regulations.

> loss of earnings of those DVDs

Exactly. Violating a business model. So the company should be able to recoup their losses in civil courts if it's unfair competition.

https://en.wikipedia.org/wiki/Criminal_Copyright_Law_in_the_...
Would it be feasible to make a similar site for Facebook events happening in an area?
Why the Drudge Report is one of the best designed sites on the web
Asynchronous IO in Rust
"Code in Parallel
In using Erlang, WhatsApp is part of a larger push towards programming languages that are designed for concurrency, where many processes run at the same time."

Concurrency is not parallelism! /whacks author over the head with a Go manual
> One thousand times NO. The rule of law applies to all equally.

This is just your cognitive dissonance talking.

You can say "NO" a million times, but Bradley Manning was just imprisoned without trial (and tortured for months.. years?), even though Habeas Corpus was supposed to apply.

> The president murders their spouse, expect them to be charged.

Why would you expect that? If the president murders his spouse, he's probably reasonably sure he'll get away with it. Otherwise he probably wouldn't.

> By definition the rule of law applies to all.

That's what we're trained to believe.. so many TV shows and movies show police officers risking their lives in fighting crime and courts being fair and just and all, but have you ever dealt with the court system? Did you get justice?

You've probably heard of "plea-bargaining", right? http://www.truth-out.org/news/item/12556-overwhelming-use-of...

People are blackmailed into accepting a punishment for something they haven't done, to avoid the potential life-ruining punishment for whatever outrageous bullshit they're charged with (that they haven't done either).

And you insist that everything is fine?

Maybe this will clarify things: https://www.youtube.com/watch?v=BNIgztvyU2U
Looking for Drupal Back-End Developer in London
Every day people wake up and think about changing the world. Join one of the most innovative start-ups in digital fashion, help and support thousands of creatives and make change happen. Become part of fun, dynamic and simply awesome team and take the NOT JUST A LABEL platform to the next level by shaping its future.

At NJAL we are the leading designer directory for showcasing pioneers in contemporary fashion, and we are looking for an experienced Drupal developer for an immediate start at the company’s head office in Shoreditch, London. The role would be ideally suited to a skilled and enthusiastic developer with at least two years experience in Drupal development, who is now looking to take the next major step to progress their career.

NJAL operates in a start-up environment with a team of committed and enthusiastic individuals. We are strong supporters of free and open source software and therefore give back to the Drupal community by encouraging our development team to engage closely with the Drupal project. We are looking for a new member to take main technical responsibility while engaging in all sides of the business across different sectors: giving input and sharing opinions. She/he will work closely with the founding members of NJAL to envision and further develop the brand's place on the web, helping to cement its position as the market leader in digital fashion.

https://www.notjustalabel.com/job/senior-drupal-developer-2015
7 things I learned about Gmail working at Google
No F-ing way. That thing is a bloated pig, riddled with ad serving api shit. I am not bagging on the content, just the crappy performance.

see here:

https://loadfocus.com/website-speed-test?pageloadtestname=ht...
NoPhone: plastic rectangle “that helps you stay connected with the real world”
> This whole progressive enhancement thing is mired in decade old dogma. While progressive enhancement can work sometimes, it is NOT the only tool. We shouldn't wholesale prescribe solutions without knowing someone's problem.

The "first load" problem is a recent addition to the canon of reasons why progressive enhancement is a solid approach. I think that trashes your argument that this is "decade old dogma".

And to further counter your point, the notion that "decade old dogma" is "bad" is refuted by success of POSIX/UNIX. And wheels. Some "old" ideas are still state of the art.
This sounds exactly like every quack scam out there. The mean old medical authorities are ignoring me! They must be jealous. Yeah, that's it.
Loads of recognition for erlang, but not a single word about ejabberd in the article...
(A great post, ckozlowski)

Is not only a question of sympathy. One of the sides is breaking the law. In most countries is a crime to harass or kill a protected or critically endangered species.

The typical actitude in the last years was "dunno what happened, not my problem and the next week we'll be in Melbourne so, good luck".

And really is a problem that you created for somebody because:

1-A dead whale floating 10cm under the surface could easily wander with the sea currents, go unnoticed and crash with a ferry.

2-A dozen of rotten 2500 Kg carcasses stranding in a beach is a public emergence. It will contaminate waters and sand used by literally millions of tourists with dangerous bacteria and the most foetid rancid fat that you can imagine. Is expensive to clean the area again.

3-Is also a potential "bomb", because rotten cetaceans explode, literally. I have stabbed several.

4-The blubber floats. If in the water will atract sharks from open sea to coastal areas and beaches.

5-You could kill a fisherman by mistake with your sonar, or explode the ears of a silicon valley tycoon or an US senator enjoying an expensive diving holidays with the family, or whatever...

So is obvious that is in our best interest to put some limits to the army paranoia. You could estimate the probability of a third country making a first strike and starting a war in a scenery of peace, and I bet that is very low.

Is obvious also that we need to design much better 'high energy' sonars (most sonars are not a problem at all) or just to improve satellite surveillance, or maybe create autonomous robot-cameras that can go and explore silently a 'treat' instead to blow up all just because you get nervous...

And is in our best interest also to protect cetaceans, because an unbalanced marine ecosystem without cetaceans means probably lots of mesopelagic squids (unedible), much less fishes and famine for millions of humans.
Related, but much much less complete: https://github.com/nathell/lithium
I'm sure you could do it in an afternoon, right? Just like anyone on HN can make a "basic CRUD app" like Facebook in a weekend.

I really dislike the arrogant attitude behind these types of comments. Have you worked at WhatsApp? Do you have any idea what they spend their days doing, what their systems look like, what their requirements are like?

WhatsApp have close to a billion users, 50 engineers and they manage to produce a near flawless experience. This is not trivial, no matter how many armchair critics claim otherwise. It used to be the case that people dismissed FB as just another CRUD app ("not even written in RoR, but in PHP, yuck" ~ 2005-2010), but given the tools they have been pushing the last few years people seem to have stopped dismissing them as casually. Perhaps in a few years people will stop dismissing WhatsApp as casually as well.
That's true of many industrial process; they're often inherently dual-use and it's only a matter of time/effort before the hardware is re-purposed[1]. Fun Fact: if you're sophisticated enough to have an agricultural organophosphate pesticide plant making, say, malathion or diazinon (i.e. not particularly sophisticated), it's a straightforward process tweak using the similar chemical precursors to produce nerve agents like Sarin.

If you're interested in more, the Wassenar agreement[2] is the framework within which dual-use non-proliferation is dealt with. It's kind of daunting to see how much industrial output is considered dual-use.

[1] One should, of course, always be dubious of claims like "24 hrs" out of context. Such things are famously exaggerated and often posited on contrived pre-conditions like "all safety protocols ignored", "all raw materials and additional personnel already on site and ready" and "logistics infrastructure already converted to military needs".

[2] http://www.wassenaar.org/
Thanks for the link.
I read about TLAPS. It seems it relies on SMT solver to uncharge proof obligations, and no way for you to manually prove your claim using lower level tactics, like in Coq. So you rely on heuristic nature of SMT solver.

About Spin[1]. If you compare the user base of Spin with the user base of TLA+ I bet you will wonder how many users out there were using verification tools all those years. Lamport released his tool like 20 years later than SPIN started to spread. He did a great job, but there is no innovation in my opinion.

I think that serious industry players like Intel, Google or NASA are using all spectre of verification tools, including self written tools. Intel is using there own tool for some of their chip verification AFAIK. My colleague went into Intel to help develop verification scripts using this tool.

TLA+ has been promoted by Amazon with their latest technical report. Yes, it has more expressive types (records,tuples,sets), but it comes with a cost of lowering your verification performance rate. There are many subtle tradeoffs to make.

We tried to use several formal verification tools in our latest distributed project. We tried Spin, TLA+, mCRL2, Coq. There is its own philosophy, pros and cons behind each tool, but in our case Spin made the best job: we had to invest not so much time but found many concurrency bugs in our distributed algorithm. Its pros is that it has very basic data types and not very good parallelism support nor in multi thread nor in multi-node form.

[1] http://spinroot.com/spin/whatispin.html
IBM blacklists anyone who ever quits. Its emotional blackmail - "You'll never work in this industry again!" They're experts at giving the impression of career growth while underpaying.
https://en.wikipedia.org/wiki/Barnum_effect
HP is particularly dumb in this area. My personal acquaintance with this was with their strict "up and out" policy that was in effect several years ago. A decade ago I had a secondary responsibility of supporting a legacy DEC terminal environment.

The crew supporting it were HP badged guys not making alot of money, but being billed at some wacky rate. Never heard from HP hq until some VP of something flew in to tell me the whole crew was being laid off due to not getting promoted. (Keep in mid they were easily clearing $2M a year in profit)

Long story short, they all left, started a little consultancy and were able to win a bid at half the billing rate that 3x their take home.
HP is trying to save its printer business because in the short term that will be better for senior management's options than changing the the company's course. Wall Street will bump the price and HP management will claim success and see their bonuses rise. That's much more attractive than changing course.

If the printer business was flush, HP could afford to bet on a diversity of services and products. They would be in the business of making money rather than saving it. 25k redundant staff doesn't speak to a track record of sound management decision making of the sort that would inspire confidence in this decision being a great one. Layoffs aren't innovation.
Public School Students Are the New Inmates
I second you. People throw in things like "Duh, it's a lame technology, duh, I am working on something far superior, duh, that 3 people will ever use, duh"

Don't forget WhatsApp has applications on all platforms.
I just recently started using WhatsApp for some international travel and to communicate with friends abroad and haven't received any spam for several months. I've also found it to be far superior than regular SMS, especially in group settings with people using different operating systems and would probably keep using it had I received the occasional spam (as I do with many other services, Skype, E-Mail, etc...)
The Zipf Mystery
Do you have some ideas on how to deal with it?
Show HN: Coaching for technical trainers
"Prior to its initial public offering, MasterCard Worldwide was a cooperative owned by the 25,000+ financial institutions that issue its branded cards." [1]

[1] https://en.wikipedia.org/wiki/MasterCard
Comments in this thread are quite cringeworthy. People calling WhatsApp a simple application seem to fail to understand the cost of simplicity under such scale.
More ES6 Proxy Traps in Depth
Let the interviewee talk freely and make himself sound messianic and stupid
Here's an interesting submission about the last cassette factory (which is also having a resurgence): https://news.ycombinator.com/item?id=10197449

Let me know if you have questions about the format, I run a small tape label (scalatapes.bandcamp.com).
Cool! I'll check that out. Funny, I also read "An Incremental Approach to Compiler Construction" once.
You buying into propaganda, none of the industries you cited are free markets. All of them are government run and regulated. All government does is centralize power, handling control to smaller and smaller groups of politicians who are bought and sold, replacing what should be millions of individual personal choices with one central corrupt authority. Time to stop drinking the leftist kook aid and think for yourself.
A day? No thank you...