skysight-inc/HackerNews huggingface dataset:
Vulkan/SPIR-V looks promising just needs chip vendors (ARM, Qualcomm, AMD, Intel) to come together and invest in CuDNN equivalents.

Although I reckon deep learning on mobile (at least for some use cases like cameras) will use dedicated silicon from Movidius etc and ultimately be embedded in the camera chips directly
Why not remove that obviously trolling comment?! It has no value and the list of stuff does not need to be preserved. The Lisp community has already good pointers to resources.

This is another troll who calls others 'retarded' to stir up controversy and have fun with it.

Please remove it.
How many years do you suppose it will be before "My own car" is about as meaningless as "my book" or "my album"?

Bootlegging ROMs will, without doubt, be attacked with DMCA style laws (if that's not happening already - I hope "your car" isn't made by John Deere - or General Motors...

http://www.wired.com/2015/04/dmca-ownership-john-deere/

https://www.techdirt.com/articles/20150513/18001030993/john-...
Hellbanned's Law: Those who comment on Internet voting will, on average, get downvoted.
MISP – Malware Intelligence and Sharing Platform – Web-Based
Forbes downgrades Theranos from $9B to $800M, says CEO Holmes worth “nothing”
I loved the concept video, the only problem was that it wasn't executed:

https://m.youtube.com/watch?v=b9ifQvQCO7Y
Emails for E-Commerce – How Effective Are They for Any Business?
Content Management vs. Knowledge Management
The old remember what it was to be young.

The young do not remember what it was to be old.
Do you have a source, or is this a thought experiment?

> Or give the same groups a Lego set and the instruction booklet (especially the tediously piece-by-piece modern ones), and see which population completes the set more quickly and more accurately.

fwiw, Lego are overwhelmingly marketed to, and given to, boys. I'm not sure it's safe to draw a conclusion from this.
I freaking love sites/articles like that. Even if in the end it turns out to be completely mundane, a good writeup can do wonders.
I wonder if they still use Vorbis now that so many use Spotify on their smartphones. Lack of hardware decoding might be an issue.
My current company has a comparable bootstrapped history and seems to be in a similar phase, but hiring hasn't been an issue.

If I'm hearing you correctly, it sounds like you have 3 people, ~$1.8 MM net profit and since your tax burden is low it looks like you pay out most of that by the end of the year. So are you looking at annual compensation of $500-600K each?

Why not stop paying yourselves so much and reinvest more in your business?

IMO, it's a lot easier to hire and take risks on money if it's set aside in a pool of money that you've designated as NOT being for founder salaries. If you cut back to a more reasonable $150-250K salary each, you'd have tremendous free cash flow available for all sorts of hiring and even acquisition possibilities.
Looks like D3.js is used.
As a women who would love to have my future husband raise the kids, let me tell you it's not easy to find an intelligent man in a big city who is willing to stay home and raise children.
Wow, those poems are wrenching, even in translated form. They really are an open door to somebody's personal grief.
Developing Dependency Awareness
I've still found them to be incredibly helpful when you get through to someone, but it can take an hour or two on hold. They're also helpful via mail correspondence, but letters seems to have a 30-45 day turnaround.
Some stuff vista broke were never fixed even...

1. Vista disabled parallel ports direct access, new cnc machines, or people using old printers and scanners still use xp.

2. Vista removed support for directx before dx10... Microsoft realized later how shitty idea that was, but instead added dx9 and below emulation layer. The problem is that it only works almost 100% right on win 7, thus why many gamers still use it ( instead of 8+ where some good games are very buggy or slow )

3. Vista audio model disallowed drivers to do anything that could be used to disable hdmi drm. As side effect all 3d sound cards stopped working properly. Lots of people blamed Creative and other sound card makers, that got generally screwed... now that this tech proved to be essential for vr gpu companies are doing workarounds, for example AMD has as selling point of TruAudio that it skips Windows normal audio stack.
Great. A lesson in individuality and it's importance to self, and the whole.
AMD management has completely missed the memo on deep learning. No mention of deep learning or FP16 perf yesterday when Polaris was announced - it was all around VR.

They are just not turning up to the party and as a company are running out of time if Polaris and Zen dont sell.
I'm asking why a company who hasn't done anything novel in the realm of science garners so much attention for its science. The fanboy-ism for SpaceX seems uneducated. Please tell me how I am wrong.
Great work!

I love this sort of stuff - Reminds me of the chart in that Jack Black film (School of Rock) that sub divides all the bands into genres and sub-genres.

Minor bug - I tried to search for Hüsker Dü and Husker Du and neither showed up - but they appear in the Post-Hardcore Playlist.
'the cloud' is associated with tagging type metadata and searching descriptions; I think that's what is being referenced.

The actual implementation of storing and searching also becomes someone else's problem. In a way it's just another slosh back and forth in the cycle of centralization and de-centralization of processing/storage.
It was fate that lead me to read your reply.
But this is a binary problem (they did or did not ID the driver); "inconclusive" = did not.
> All the people in the market are probably much cleverer than me in coming up with substitutes. The price mechanism can guide them.

I'm not sure you're going to like the market price of parking. If a parking space is 25% of the size of a $3000/month apartment then the market price of a parking space should be something like $1/hour, which isn't that high. And which puts it right in the hard spot where people subsidizing the price down to zero may actually make sense.

If all you care about is maximizing the revenue from parking spaces then you can set a price like that, but having a price at all discourages people from using parking spaces that you've already paid to construct whether you use them or not. And if you don't use them then the local shops lose customer traffic. So the local shop owner does the math and says hey, if there was free parking here I would get an extra $20,000 profit from more customer traffic, so I should go lobby the city to have free parking even if it means my taxes will be $10,000 higher.

Then their customers realize that if parking was paid for through taxes rather than at the meter the local businesses would be paying part of it instead of the customers paying all of it, so they would be paying less, and paying at the meter is more stressful than paying via taxes anyway.

Then the government realizes that to get the money from taxes they only have to put a slightly higher tax rate on the tax forms but to get it from parking they need meters and credit card processing computers and customer service and parking wardens and dispute resolution systems and the whole works.

So the vote comes up and 90% of everybody votes for free parking because the lack of free parking would collectively cost them more in money and grief than it costs to provide free parking.

The way out of this is to make the alternative to cars (or parking) more attractive, without making cars less attractive. Because people are going to fight you and win if you try to make cars less attractive without immediately replacing them with something which is at least as good.
Yep, named-readtables do a pretty good job on packaging read-macros. You've probably missed it.
S E M I C O L O N S
E
M
I
C
O
L
O
N
S
Not sure why you've responded in such a presumptive and negative way. I find it rude. Maybe your family isn't close and it's not something you can identify with?

My immediate family are always interested. I don't bombard extended family or friends though many still voluntarily follow feeds dedicated to the children.
Comprehensive niche keyword research guide
This is completely anecdotal, but I've noticed that gender ratios in groups in general create pretty harmonouus groups if they fall in ranges of 40% - 60% or <10%. Like put 4 women and 6 men in a group, they come along. Or put one man and 9 women in a group, they come along. Put 3 guys and 7 women into a group and there is constant power struggle. This seems to be more true for kids.

Small minority is likely to adapt or leave. Close to 50/50 ratio genders balance each other out. With strong minority the minority tries to have balanced group, but the majority wants to engage in "guy talk" or girl talk". The way men interact with other men and how women interact with other women seem to be one of the most distinct differences between genders.
>"Also, there need not be more than 50% of schools enforcing this policy, for it to discourage men from entering the profession. Even 10% would be a lot."

Unless they're quick to "take a hint", then only a handful of examples could have a huge impact.

I'm not in that profession, and judging from the state of society at the moment, I too wouldn't want to work in a profession that functions near children. I could post links to a few articles, but a general search about it will yield multiple examples of parents being hostile/suspicious of male teachers around children. Recently read about an airline that forbid male passengers from sitting next to unaccompanied minors. We as a society have deep problems with gender, but meanwhile we're busy focusing on just one.
People want and need other people around, doing human things. Even if the musical output was impressive, I can't think of people developing a deep relationship with it outside of novelty. Algorithms are cold, and music is usually very much the opposite - I can see an "uncanny valley" effect cropping up with the imitative forms: people hearing something that is supposed to come across as laden with emotion, instead leads people to revulsion. What do we get out of computers composing songs that are supposed to relate to the fragility of the human condition?

Sure, the algorithms, once sufficiently advanced, could probably trick us into thinking that certain examples of generative music were made by a person and then later reveal its algorithmic origin to prove that "the humans are stupid" and "the google algorithms are clever" but what are we actually proving here?

Can a computer devise new artistic forms that have some genuine impact on people - can a computer come up with Bacon's Triptych of George Dyer outside of regurgitating fragments of what it already has seen? What do we get out of a computer aping the alcohol-fuelled sweaty anarchic performances of The Black Lips?

The interesting stuff will be to see if this goes to other places that music has not yet gone - some new composition method - manipulation of frequency in ways that humans have not yet devised.
Add a 9 to Uptime with ChatOps
I wish I could upvote this 100 times because this is the absolute honest to goodness truth. It's not that talent is over-rated so much as really well-run places are underrated. Perhaps that's because talent is actually a lot more common, and thus better understood.
For anyone interested, I went through a few iterations before settling on LibreOffce Calc and Python:

Initially I was using: PHPExcel (https://phpexcel.codeplex.com/) which loaded a given spreadsheet on demand - this was before I though of changing it into a client server model. In a web application context, the response time for anything other than relatively small spreadsheets was simply unacceptable.

I then moved to using Apache POI (https://poi.apache.org/) and used the client server model. This worked quite well but I ran into some problems as some functions had not been implemented yet.

My current thinking is that LibreOffice will continue to improve both in terms of function feature completeness with Microsoft Excel. It may also improve in terms of performance and memory usage.

Any solution that re-implements excel/calc functions, other than LO, most probably has a smaller user/developer base. In my mind, the smaller the projects user/developer base, the more likely active development could slow to a crawl or stop entirely. Not such a great solution for years down the line.
A multi-order radix tree
I know, but that's just using it as a debit card, not an Oyster card.

Using it as a proper travel pass is far more interesting, because that will be an instance of using a watch as a custom access card, which will lead to the popularisation of the idea for everything from workplace security to hotels to boarding passes. It would be a gateway app in terms of normal people seeing the utility of a smart watch.
It's not more dire than people let on. The stakes are huge, and the ability to change it is small for any one person or even one country. However, weighing the collective action problem against the idea that we would need to completely rework the way our society works (and has worked for several hundred years) in a 20 year or shorter period, I'd say that innovation is much more likely to happen than rapid de-industrialization and a pullback to a rural subsistence lifestyle for billions of people.

On the bright side, pretty much everything we need to do to dig out is stuff we would likely be doing anyway since fossil fuels are not an infinite resource. It's just the timeline for them needs to be pushed up dramatically to limit the amount of permanent damage to the climate.

The other good news is that the change, while rapid in geological terms, is still slow enough that even if we fail to avoid some damage, there's still a good chance that we can make the changes that need to be made and live with the consequences. And if not, well, so long and thanks for all the fish.
Perhaps the supercomputer does experience a kind of proto-consciousness.
But how can you validate your own existence, if you don't have other lives to compare it against?! ;)

I think the whole phenomenon is fascinating - people these days can't experience anything without photographing it, or updating their status about it. It's as if they need to prove that it really happened.
Sorry if it wasn't entirely clear, but the second list were the killer apps I was referring to.
Great, I'll have to take a look into their solution to see if I can learn or improve anything. Thanks for the heads up.
>> I think you've missed the point. This is exactly what I did. Both my partner and I have CS degrees from a top 10 university, and we decided that her career looked more promising.

This.

You come from educated backgrounds. Most common folks don't agree with this. A non-working husband will be called a loser.
Tick's tales: Multiplatform game written in Clojure
Ask HN: How to Move from Journeyman Developer to Software Design Engineer?
I have been working in software industry for 9 years now, the first four as a
sysadmin and the last 5 as a software developer. I have been very lucky
to work remotely, first in Italy and now in Thailand, for an awesome company
(Cycle Computing). I am stereotypical of many modern developers in that I am
very knowledgeable about the tools I use but weak in CS fundamentals. I know
that these fundamentals aren't essential to working in this field but IMO they
make a huge difference in what kinds of problems you can solve and how well you
can solve them.

I want to embark on a very specific self-study course to acquire these
fundamentals. The irony here is that I actually have a B.A. in
Computer Science. I changed my major to CS midway through my junior year of
university and took all of my CS courses in a mad rush before my university
scholarship ended. I enjoyed these courses but my retention (and grades) were
fairly poor.

I have looked at online master's degrees for CS and by and large they don't
address my weak fundamentals and they are also quite expensive. I am currently
looking at MOOC courses.

These appear to be the most essential courses:

* Computer Architecture

* Algorithms and Data Structures - this could be even 2 or 3 separate courses

* Probability and Stats for Engineering

optional:

- Cryptography

- Compilers

- Computer Networks

- Operating Systems

- Machine Learning/AI

Which courses do you think would help me best achieve my goals? Also, I would
very much appreciate your recommendations for the online courses that best
address them. The prioritization of these courses is pretty critical because I
will have at most 15 hours a week for self-study.

Thanks in advance for your help!
I like any unsolved problem that includes "Yeti" as a possible solution.

https://en.wikipedia.org/wiki/Dyatlov_Pass_incident#Yeti
> ephemeral nature of Snapchat, combined with the lack of public "likes" makes it a much more positive experience to post

That's an interesting observation, something's gone highly dysfunctional with social media feeds - every platform I've watched, they used to be good but have all become a mental tar-pit for depression, fwd:fwd:fwd-ing viral outrage, virtue signaling, othering, etc.

You can free yourself from those in the tar-pit and simultaneously solve the cycle of ads/monetization-fuckery simply by switching to something like Hubzilla, but the pattern suggests something deeply rotten at the core of social media that you still might not be escaping, and perhaps this persistence and instant ratings is what feeds it - encouraging the careful sculpting of precious(sss) virtual identity, probably triggering brain reward pathways like a social one-armed bandit.

Cheers. It hadn't occurred to me that innocent things like "like" buttons might be a part of the deeper problem.
Yes, Jews are overrepresented in journalism, politics, finance and other highly impactful careers. Take the percentage of Jews in such a category, divide it by the percentage of Jews in the general population, and you get a number larger than one: that is just a numerical fact. The anecdotal version of this simple statistic is that you see a lot of Jewish names.

But that is not proof of any conspiracy or nefarious scheme: it is simply the result of the high value Jewish culture places on learning. I think we all see that.

However, when there is a similar, or even lower, rate of overrepresentation for other demographics in other categories, suddenly the conspiracy theory becomes common sense. Too many males in tech because of sexism. Too many whites amongst entrepreneurs because of racism. For lots of people, and an even larger share of the media, that is an obvious fact that requires no justification.

This is what I find unbearable: that the exact same statistical signal is obvious proof of evil with some categories, while to even suggest the same of others is beyond the pale. Even making this comparison is wrongthink in the eyes of some. And I want to make peace with it, but I cannot. The mind rebels. It will not bend.

And that is why, as much as I love the Jews, I find myself unable to muster any outrage over this extension, until the same outrage is afforded to other categories. Not even outrage: the same defense. The same presumption of innocence. Or at least, the same non-presumption of guilt. Can't we even have that?
I wasn't really referring to the type of ecosystem Apple had, more that we need a new company who can design brilliant products in the way that Old Apple (Jobs Apple?) repeatedly did.
Don't try to explain basic concepts in all languages. Better make sure that the languages you have are covered for as much as possible. Then add other languages.
Where did that happen? I'm not doubting you in the slightest -- just interested in data points (my gut says maybe somewhere in the South, if this is the US, or somewhere rural?) Also, any factors he thinks might have contributed -- e.g., daughter crying, or does he have a big bushy beard, or was there a crazy parent who had a bad interaction with him, or...? That sort of reaction from authorities is just absolutely chilling, no matter the case.
Chinese hacked CNN (sportsillustrated.cnn.com)
> Don't forget all the Adam Chipala stuff in Coq

Has there ever been another non-trivial real-world program written in Coq (or another dependently-typed language for that matter) other than CompCert?

> Didn't know people actually used TLA.

Oh, far more than Coq; possibly more than Isabelle, even. TLA+ was designed for engineers, and evolved along with careful observation of how it is used by them. Coq is mainly used by type theoreticians to explore proving various mathematical theorems using ITT, and by PL people exploring various PL theories. TLA+ is used by engineers for large-scale software[1][2][3].

> I'd still want a it embedded in a hosting type-theory so I can use it both for proofs and macros.

I'm not sure what you mean by macros (I'm not a type-theory person in the least), but what does it matter if it's a type theory or a set theory? Lamport's thesis was that just as virtually all math proofs don't require type theory, neither do program proofs; indeed virtually none of the algorithm proofs in computer science employ type theory at all. TLA+ is a formalization of such proofs.

The main advantage of TLA+ is that it's as powerful as Coq for verifying algorithms (though it is not designed for proving general mathematical theorems), yet it any engineer can master it in weeks, without learning any new (not to speak of rather exotic) math. Also, it is amenable (and indeed supports) to model-checking, which alone is enough to make it practical. Deductive machine-checked proofs (which TLA+ also supports) are just too time consuming, and have ever been used on full programs only a handful of times. Their main use in industry is to tie together model-checked programs[4].

TLA+'s disadvantage is that it's very hard to extract a program from a TLA+ spec. Translations going the other way (from code to TLA+) have been done a number of times (for C and Java) but only in academia AFAIK. But this is unsurprising as Lamport's (and Dijkstra's) thesis is that effective, practical, program verification can only be done at a level higher than program code (unless it's a small program, specifically written in a simplified matter for the sake of verification, and the very large effort is acceptable -- all three conditions that have been met in the few cases where deductive, whole-program verification has ever been used).

[1]: http://research.microsoft.com/en-us/um/people/lamport/tla/fo...

[2]: http://tla2012.loria.fr/contributed/newcombe-slides.pdf

[3]: http://research.microsoft.com/en-us/um/people/lamport/pubs/h...

[4]: http://events.inf.ed.ac.uk/Milner2012/J_Harrison-html5-mp4.h...
I am not saying that I would rather no see such assemblies at all. I know people have good intentions but I wish there is a bit more holistic approach to this rather than, it being just for a type of woman. It should include male, female, non-sex, people who wants kid and people who don't want kids, people with different aspirations in life, not necessary the traditional path set out such as school, work, marriage, kids etc.

beepboop2045 made a good point though about women working under female leadership. We do need role models. I just wish there are other paths being considered and talked about.
Biggest Sixes – Classic Sixes – T20 World Cup 2016
> The meta-discussion around Peter Thiel and Gawker is fundamentally about power and who wields it in society.

We agree on that much, but the Media are returning fire against Silicon Valley writ large, not just Peter Thiel.

They view us as competition. It's not about rich vs poor at all, it's a power vs a power. The media wants to drag the government into regulating Silicon Valley as a special case.

https://news.ycombinator.com/item?id=11824117

I think the future is weirder than they think.