skysight-inc/HackerNews huggingface dataset:
Can't imagine this will last long.

I don't have adblocker/ublock/etc installed because I dislike adsense or adwords. I can ignore them just fine, but every blue moon I'll find something worth clicking.

It's for 99.999999% of the other ads that drive me insane. Or did I completely miss something?
The cmake benchmarks used the make backend on linux and cygwin, and the vcbuild, msbuild and mscv-ide backend on windows/msvc.
The ninja backend is indeed faster than the make one. An update to these benchmarks is needed to take it into account.

PS: I fixed the broken links in that benchmark page.
Your help page states that this does not support gems yet - so I guess a running Rails app has not been tested yet?

Would love to try it out if you did.
Demystifying artificial intelligence: the Singularity is not around the corner
Amigaville Issue 3 [pdf]
I'd wager it is harder for sports such as baseball and hockey. But opportunities does happen, at least in football. But ime they are ephemeral so you have to be very quick to catch them. Updating once per hour isn't nearly fast enough. For example if news get out that a player is injured and will miss a game, then the odds will shift but some bookies will be slower to react than others. That can give you a window to arbitrage for 20 minutes or so. You can do it a few times, then the bookies ban you and void all your bets.
It isn't white on black that is an issue for me. I use gray on a black background all day for coding.

This site is gray on gray, which makes it really freaking hard to read (and I have no issues with my eyes at all).
I love this, but is anyone else a bit put off by someone appending PhD in their name _on a blog post?_

I'm not salty or anything, and it wouldn't have influenced me into reading the article or not. It just puts a bad taste in my mouth.
I was going to ask about browser trust but their FAQ (https://community.letsencrypt.org/t/frequently-asked-questio...) addressed it. If others are curious:

> Are certificates from Let’s Encrypt trusted by my browser?

The short answer is “yes”.

The long answer is that our issuing intermediates are cross-signed by a widely trusted IdenTrust root531. This allows our certificates to be trusted while we work on propagating our own root. Most platforms that trust that root should trust Let's Encrypt certs. One notable exception is Windows XP, which currently doesn't accept our intermediate630.
Though more than this, is the app gluttonous crisis. Websites, sure, drown me in your fatty acids. The alternative is a "lean" app.

Yes it runs slimmer and faster. But why does every app I install need to know every facet of my existence, and every facet of what every other app knows about every facet of my existence, and so on? This is a much bigger problem.
But the improved quality of life and so on has been built up in an unsustainable manner. We have been using or otherwise destroying our non-renewable resources (arable land, fresh water sources, and so on) at an accelerating pace.

Its actually typical for a society or civilisation to be at the height of its power before it collapses; the easter islanders had their greatest population and were constructing the biggest stone heads just before their collapse.
Important to realize the AI fails completely at other Atari games.
What are some of these sites? My favorite sites are gone, or deemed illegial. I go to HN daily. Then--it's trying to avoid social media sites, or anything remotely related to Kardasian's.
Or it could be, a system capable of reasoning its way to doing X would be intelligent, but you can also teach to the test, so to speak, and build a system that does X without being generalizable and thus satisfy X without being intelligent.
Already done :)
I don't have a lot of experience with microkernels, but I would imagine the objections due to communication are not a result of serialization of the communications; they would tend to be C structs, more or less, not a terrible XML document, creating them wouldn't be a significant performance issue, although actually doing the IPC may be a performance problem (or may be perceived to be).

I think the market issue for microkernels is that

a) there aren't a lot of choices for microkernels that are 'production ready', today I could reasonably run a website on Windows NT, or OS X, but the Hurd is perpetually not ready.

b) Monolithic kernels are 'good enough'. The benefits microkernels promise don't really make a huge impact (or aren't perceived to). Yes, it would be great if my filesystem driver didn't crash the whole system when it crashes, but if it crashes in a microkernel, I expect I would still have to restart all the processes that had open files, because the state is lost; and either way, I'd rather not have my filesystem driver crash. Most users of monolithic kernels don't spend a lot of time developing or debugging kernel drivers, so developer efficiency there doesn't really pay off. Most of the problems I track down to a kernel issue are things that could be equally present in either style kernel: bugs/inefficiencies in the tcp stack, stupid disk controller resource leaks, etc. Maybe it would be easier to track them down if the tcp process was clearly spinning on all the cpu, or the disk controller process had a ton of ram/resources assigned to it, but it's not that hard to track things down anyway -- figuring out why they're broken is much harder than figuring out where they're broken.
Whether author's "whining" is justified or not, his outlook is valuable because the break gave him a perspective that we lack while living in and through the change.

I can imagine a person who went to jail before the rise of NSDAP and got out into the Nazi Germany could be horrified by the new world. All the while everybody around them is happy with the change because the world got clearer, simpler and with a lot fewer annoyances like freedom of speech and all the confusion it causes.

Dismissing such an observer as an outcast who just doesn't get The Brave New World would be easy, convenient and very unwise.
I'm assuming "mAP" in this context is "mean Average Precision":
http://fastml.com/what-you-wanted-to-know-about-mean-average...

The other possibility would be "maximum a posteriori" which doesn't fit their usage here.
Node 4/5 (really arrow functions alone) largely eliminated the need for Babel on backend code IMO.
On the other side, Ruby refuse to move to Github, but are actively trying and hoping to attract more contributors.
Managing your emotional state is fundamental to great design
You can already use Rust on seL4, today! It's not ready for public consumption yet since there are no docs, but I've been working on it a lot recently and hope to have a release of the foundational libraries sometime in the next two weeks.

There's a mailing list, if you want to watch: https://lists.robigalia.org/listinfo/robigalia-dev

And the (still in-progress) source code: http://gitlab.com/robigalia/sel4-sys.

I have some ideas about encoding RPC protocols as DFAs in Rust's type system, and then doing verification of the protocols in a more abstract setting (perhaps NuSMV or a similar checker). This is somewhat similar to the (ancient at this point) "protocol compiler" that used to be in Rust, doing a similar thing for channels.

I'm interning at Data61 (née NICTA) on the verification team starting Jan 18, and I'm hoping to transfer some of that experience and knowledge into verifying Rust.
Wait. I guess you did not read the article at all? It is all about atlasing.

There are issues with atlas of glyphs; so rather than putting the whole glyphs in atlas, he slices the glyphs in a grid, the grid being defined by the intersection of the underlying Bezier curves. And then he puts the grid pieces in atlas.
Recovering from individual components crashing is a nice property, but in practice we don't use it at the kernel layer. But it does show up in other places -- when designing datacenters and web services (Netflix, Chaos Monkey, horizontally scaled web servers behind a pair of load balancers), and, in web browsers (Google Chrome is a bunch of processes; if Flash takes down one tab/process, the others keep running).
I'm under the impression that in the 90s, a lot of Blue Screen of Death errors in Windows 9x were caused by poorly written drivers.
To make it clear, I'm not comparing Facebook to NSDAP, merely commenting on the value of non-participant's observations.
I saw a sibling reply posted shortly before mine outlining your work. Nice job. :-)
Amiga Classic Motörhead Is Converted and Re-Released in Tribute
AC-LITE is what you want and it's $89 each
Last Great Articles of 2015
If you want to test out ES2015 features (incl. proxies) coming soon in V8, you can download Chrome Canary and turn on the Experimental JavaScript flag (under chrome://flags). With the flag enabled, Chrome reaches 91% percent on the Kangax table [0]. We're working hard to turn these features on by default as soon as possible.

[0]: https://kangax.github.io/compat-table/es6/

(Disclaimer: I'm a PM on the V8 team)
> Then there's google images, which shows the images on the google site itself (a vast copyright infringement, unlike the search engine result pages these are copies of the images at quite high resolution).

Well, image search would be a lot less useful if it didn't show images. And Google's image thumbnails are very modest resolution copies. The larger image previews displayed when clicking a specific image result are actually hotlinked from the original source, and hence not copyright violations:
https://en.wikipedia.org/wiki/Inline_linking#Copyright_law_i...
This is for when there isn't a web server. I assume the impetus for this experiment is for Chrome apps, judging by the mention of Chrome Desktop.

> The larger question I want to answer is this:

> Can we recreate the same "instant" page loading experience in our web application without the server-side rendering

If one were using a web server, virtualdom is easy to render on the backend. Also it would be simpler than having to patch sluggish UX with pjax.
I don't see any mobile development positions listed.
I agree with you, it is well written and to the point.
Wow, really disgusting to hear how FreeBSD core reacted to this. I've read through a lot of the source materials; she hasn't been perfect in every move; but that's she's been able to be so level headed and professional about it in the face of an onslaught of sexism, intimidation and smear campaigns is... nothing short of a miracle.

I don't care about any argument of if she's ever committed, or if her code is any good; that's bike shedding and irrelevant to the fact that no HUMAN BEING should be treated this way, let alone in a leading open source project.

> The next communication from core asked me to stop talking about this publicly. They told me to tell everyone it was being solved through private mediation, and that the problem committer was on vacation for a week, so they didn’t want to do anything about it until he got back.

WHAT

> I had talked to someone from the FreeBSD Foundation earlier on the phone about what was happening. During this same conversation, they actually said “maybe you should be nicer.”

THE

> A week later, I received an email from this person threatening to involve the FreeBSD Foundation lawyers if I didn’t change my username immediately. They tried to pass it off as a trademark infringement

ACTUAL

> The FreeBSD Foundation had stealth added ‘usernames’ just prior to her sending that email, adding the word but not updating the date at the top.

FUCK

The shit she's had to go through makes me lose hope for humanity. While the way she's handled it has restored it. We need more people in tech like this, and I'm glad she's putting up such a fight.

It would be easy for anyone to just be a loudspeaker for change; but she's actually getting her hands dirty, talking to people, and engaging about it, and learning and sharing along the way. I seriously doubt most of us would have the gumption and fortitude to handle this the way she has.
It's /only/ 30 man years of effort from experienced engineers. http://ssrg.nicta.com.au/publications/nictaabstracts/Klein_A... page 56.
Congrats on the progress and thanks for the very useful update. Unlike many messages of this sort, yours answered all my questions, was appropriately respectful to alternative implementations, and included URL footnotes. Nice job.
To the best of my understanding:

- with numerical differentiation, you take an algorithm to approximate a function, you repeatedly evaluate that, and you use the results to approximate the derivative

- with symbolic differentiation, you take a symbolic, exact representation of a function (which you could evaluate with floating-point numbers to approximate its values if you wanted to use numerical differentiation instead), and you apply rules like linearity and the product rule to get a symbolic, exact representation of the derivative, which you evaluate with floating-point numbers to approximate the derivative

- with automatic differentiation, you take an algorithm to approximate a function, which must be implemented using basic floating-point operations, and you apply rules like linearity and the product rule to the operations used to implement the approximation, and you get an algorithm that approximates the function's derivative

Put another way, when people say they're using symbolic or automatic differentiation to "calculate" the derivative of a function, "calculate" means different things: in the one, they're "calculating" the exact, symbolic expression for the derivative (which can optionally be evaluated); in the other, they're "calculating" the floating-point approximation of the values of the derivative.

To me, automatic differentiation is GENIUS. My friend, who's written a Julia package [1] based on some of the ideas behind automatic differentiation, introduced me to them; unfortunately, according to him, numerical differentiation is usually more practical. I don't remember why but I'm going to ask him.

[1]: https://github.com/jwmerrill/PowerSeries.jl
I would love to see some blog posts regarding your experience during this internship.

I am working on some formal verification myself for some commercial projects, and I enjoy reading about stuff like this.
Sorry, missed this. For Meditations I actually listened to it on audio book: https://www.youtube.com/watch?v=yXcmkSqAqTI I'm not sure which translation it is, looks like George Long's from http://www.amazon.com/Meditations/dp/B004INMVDY but I also remember browsing http://www.bartleby.com/2/3/ a few times afterwards and thought it was readable (much better than the Gutenberg one).
Oracle as the New IBM
Very interesting post, thanks! If the TS model means that more stuff can be added to c++ even faster, I'm not sure that's a good thing though. On the other hand, people have expected the language to crumble under its weight for a long time now, and that hasn't happened yet.
Dave- happy to see how we can help. Sign up on the homepage or if you have some more specific things you'd like to discuss, you can email me at the email at the bottom of the job posting.
Reaktor, New York City | ONSITE | Full Time | Software Engineer

Reaktor is a global technology studio that that constructs vivid, inspiring and lasting experiences through exceptional digital services. We are best-in-class designers, developers, digital innovators and IoT experts – crafting one-of-a-kind services for the media, retail, travel, mobile, and banking industries. We believe that first-class quality can only be achieved by tightly binding design and production together. Reaktor’s 350-strong team works on “boss-level” projects for exciting clients like HBO, Michael Kors, Nasdaq, Panasonic, Samsung, SuperCell and Finnair.

We hope you have used modern technologies like Clojure, Node, Scala, Rust or Swift but we definitely won’t frown if you’re an expert in the likes of C++, Python or Java. In general we are language-agnostic and always pick the right tool for each job.

One of the best things about Reaktor is the high autonomy and freedom with which we operate. We don’t run on bureaucracy or hierarchy. Instead, we invest our time in more fulfilling activities, like enjoying a nice craft beer together. At Reaktor, you will be a member of a close-knit community of professionals, picking your weapons of choice for the job and taking on meaningful projects. You have a say on how, where and when you work.

Full job posting: http://reaktor.com/careers/passion-driven-developer-reaktor-...

Apply by sending your application to Mikael Kopteff at careers-ny@reaktor.com
Meet the woman leading the race to build the world's first quantum computer
What intrigues me is the network stacks on linux for 40 gigabit network adapters ignore the kernel for as much as they can.

Perhaps microkernels make more sense for our future hardware. Dunno just shooting from the hip here.
In Firefox, I use reader mode whenever it's available. If you're using chrome there is probably an extension which does the same thing.
I think he's testing from a MacBook which of course it's Wlan driver was tested extensively against the Airport.

Wifi drivers are a nightmare because of the severe fragmentation. It's most consistent on OSX and Linux/BSD, but on Windows the exact same chip rebranded might never get all the bug fixes in their copy/pasted driver. The SOHO access points have similar problems.
Traction Engines – 150th Anniversary Road Run [video]
Here's some code I just hacked up to show the idea: https://github.com/darius/sketchbook/blob/master/misc/autodi...

At the bottom it computes both the value and the derivative of x^3 at x=2. x^3 is 8 and 3x^2 is 12.

For comparison, symbolic differentiation is implemented halfway down http://norvig.com/paip/macsymar.lisp where there are the rules you learn in calculus class, lines like

(d (u + v) / d x = (d u / d x) + (d v / d x))

which means code that looks at the formula as source code and rewrites it. It blows up in the example the OP brings up, because it's working on an expression instead of on a DAG; I think if you made up a DAG-adapted symbolic differentiator it could output a compact sequence of formulas for the derivative, though I haven't tried it. It should be equivalent to symbolically evaluating the code from autodiff.py.
Even though Ed has a really cool project I am guessing since he does not have a business model it must be hard for him to work on it :(

Unless he figures out how to convince people who are :

1| C# Developers

2| Interested in OS development

To give him money for his work its going to be a tough sell - sadly.
UrbanFootprint / Calthorpe Analytics | Berkeley, CA | Onsite | Front End Software Engineers

Help us build SimCity for real! We're hiring software engineers to help us build UrbanFootprint, the world's most sophisticated urban planning and data analysis platform. We are an established, successful business creating and scaling a cutting-edge, browser-based geospatial web application that serves a broad range of public and private-sector users.

We have an aggressive product development plan, the funding to get it done, and a strong current and potential user base. We are looking to build out our software team with mid-level to senior developers who combine coding chops with creativity and passion. We offer competitive compensation, a fantastic location in Berkeley, CA, stock options, and a chance to be part of something in its early stages.

What we do: http://calthorpeanalytics.com/

Open positions: http://calthorpeanalytics.com/hiring.html

Our stack is rapidly evolving but you'll be sure to run into at least:

* Python/Django

* PostGIS

* Leaflet

Interested? Send a cover letter and resume to softwarejob@calthorpe.com.
Erm. I suppose I should mention that I'm an SRE at Google, but I'm very carefully not talking about my current job here (which is special in ways I can't discuss). Interpret my perspective as relating to personal projects and a career of working at assorted medium-to-large companies.
Is that really any different than GitLab though...?
We need scholarships for Women in Tech
Another example of bad UI of a sort: comment form spam, demonstrated by the last two comments on your link.
i too, am interested in the sources. Viewing the source on the page is an OK option too i guess, but it'd be nice to have it as a library that i can examine (and potentially use!)
I don't understand how that could ever come up. How you being trans has any bearing whatsoever at all in your involvement with the community.

You don't have to like it(trans), or understand it; but you do have to accept it, and be accepting. And there's just no excuse or room for that kind of thing in a project. Maybe on 4chan and maybe on reddit, but not in an OSS project. Who the fuck acts like that? I just don't get it.
The 75% performance drop due to bad implementation hurt it a lot.

I know a number of people who were on the team that tried to "implement" that architecture, and it's highly unfair to them to call it "bad implementation".

For example, there was this insanity:

The instruction set also used bit-aligned
variable-length instructions (as opposed to
the byte or word-aligned semi-fixed formats
used in the majority of computer designs).
Instruction decoding was much more complex
than in other designs.

In the available Intel fab process of the time, just the CPU portion needed to be split into two chips to be "implemented". That's not bad implementation, that's oblivious architects "playing in the sand" without any regard for the practical ramifications of their architectural decisions.

There was a reason that the successor i960 was much simpler, and why Glen Myers was brought in from IBM to bring some adult supervision to that architect's sandbox.

The point is, it doesn't matter just how forward looking or elegant or innovative the 432 was, if it wasn't possible to build it.

https://en.wikipedia.org/wiki/IAPX432#The_project.27s_failur...
This paper from 2014 is the best recent work I’ve seen about rendering vector graphics on the GPU:

http://w3.impa.br/~diego/projects/GanEtAl14/
I agree.

But I do not have the time to go back and do another degree on design. Try convincing people with money to shell out extra for someone with good design experience.

I guess once we have millions of customers we might have to think about it - but small companies without much resources its hard to justify spending a lot of resources on good design.
In a lot of these cases a small foot print and guaranteed latency is vastly more important than raw speed. As in with a task that runs 20 times a second, it's not important that it finishes in 1 ms or 3 ms, but having the system go away for 500ms is not acceptable.
Download WebcamMax 7.9.6.8 Crack Plus Serial Number Free
Ramnode, Vultr, others.
It sounds like a really cool idea, but to some extent we already have this with Linux out-of-tree modules - it doesn't work very well, but it's there, you can build a new version of the module, unload the old one, and load the new one. I suspect the microkernel version of this would be hard to implement for most of the same reasons, and probably fail in most of the same ways, which boil down to "APIs change a lot so things don't stay compatible for long".
What is the likelihood that millions of people across the globe have worthless VHS tapes due to decay, and worthless VHS players too?

One can only wonder -- will we notice before it's too late?