skysight-inc/HackerNews huggingface dataset:
Which are urguably unikernel already. The idea is to take this to other platforms...
New WebRTC “real-time” updates review
Where did I say throw out RDBMS? MySQL does fk/pk restriction, transactions, field enforcement (contrary to article), and all of the other good ACID stuff just fine.

I'm complaining about things like PL/SQL letting you send an email inside a trigger (http://www.orafaq.com/wiki/Send_mail_from_PL/SQL), or Postgres's XML processing features. I don't think that belongs in the DB.

It's easy to say "don't do that" to a small team, but when you get to the corporate shops that do Oracle, that becomes a much harder thing to enforce.
If the company were worth a lot less it would be EASIER to support a different browser that already works.
By not using libraries you will write it yourself, if you are learning your code will be worst than the library.. .
And it will take you a lot more times than learn how the library works.

As advice, if you want to do something, always check if someone have done it before. (i think most of hn readers have this habit.. )

If you find big active project like opencv or numpy with good doc and a lot of stackoverflow threads go with it.
Thats not python, but it is better than python.

If it is less famous or active look the code.
Google has become a really crappy company in my eyes. I run Vivaldi nowadays as my main browser since it is great but it feels like a new UI on Chrome.

Why can't google support all modern browsers for their products? I work as a web dev and have done so for all of my work.
I used Brunch for my last project after I gave up configuring Webpack. It just worked and did what I wanted.

http://brunch.io
Not really being you - it's called Social Cooling: https://www.socialcooling.com/
I didn't say for him to lower his rates. I said for him to stop charging by the hour, charge by the project instead. An hourly rate is a fundamentally broken system.
One thing that's difficult about math is all the "mathematical maturity" required, much of which is notation and... abuse of notation.

Math seems like an Arts subject, where you must learn all the cultural background, as in English Literature. I'm not sure it's necessary, given it's not logical nor self-contained, but is arbitary and historical. Then again, I'm not absolutely convinced it's not necessary...
Wait, you're saying that you didn't see these kind of stuff? https://www.theverge.com/2017/2/12/14583124/nasa-sidd-bikkan...
it can be construed that way, but it can also be construed other ways. Perhaps how it is construed acts as a filter on who you want to work for.
> This has not been my experience of multi-master asynchronous replication in MySQL at work. We use only one replica for actual work and the second master is read-only until failover

That's not multi-master. That's single master with a hot standby.

> any hiccups in replication can be dealt with using restore.

Restore isn't an option when your database is so large that it takes most of a day to copy the backup onto the replacement master to restore from it. (Not speaking hypothetically here.) Obviously restoring from a backup is still there as a last resort in this case, but you really don't want to have to go there.
>I don't know, it's pretty unlikely at this point that anything will replace Linux as The Kernel

Depending on the domain (embedded, IoT, industrial, medical, etc), tons of other kernels are used (and prevail). We're not necessarily talking web services here.

>This is a battle that can't be won. Let's move on to one that is still undecided, e.g. which container engine will finally win.

That's a totally different concern.
I would use it. I'll keep this in mind when the time comes.
Btw, What css framework do you prefer working on these days?
This is great, the points he made really resonate with me. Not sure I could stick with it if I actually ever had infinite money, but I hope so...
That strategy didn't work for Liberty Reserve, which was in Costa Rica. If Uncle Sam doesn't like what you're doing, he'll find you wherever you are and get you somehow.

https://en.wikipedia.org/wiki/Liberty_Reserve
August mobile industry overview: land grab in the streaming space
MySQL is an RDBMS. What is my approach?

I just don't think sending emails and parsing XML should run in the database.
Was this really a "clever hack"? From the article:

> The incident occurred in 2011. Hill was a cub reporter at Forbes, where she covered technology and privacy. At the time, Google was actively promoting Google Plus and was sending representatives to media organizations to encourage them to add "+1" buttons to their sites. Hill was pulled into one of these meetings, where the Google representative suggested that Forbes would be penalized in Google search results if it didn't add +1 buttons to the site.

I suppose that Google counsel could have thought this through in advance, and realized that they could block press coverage by using NDAs with media organizations. But that seems like an iffy strategy.
Or stop eating processed foods stuffed with preservatives.

Also, stop dining out for the most part: such food is heavy in calories (ie unhealthy oils and cream), salt, sugar and carbs.

Fix your own food from sources you trust, eliminating many problems.
> Sure, that's true, but you can still ask questions like "does this #P problem have a polynomial reduction to an NP problem."

That's an ill-posed question though. NP is not closed under polynomial Turing reductions (otherwise we had NP = coNP), so some problem Q being polynomially Turing-reducible to some other problem S in NP does not tell you anything about the complexity of Q. Other notions of polynomial reductions, in particular polynomial many-one reductions, don't apply, because the require both problems to be decision problems. So while you can indeed ask such a question, it doesn't make much sense to do so.

Coming back to the problem at hand, consider what a polynomial certificate would look like that assures that no further solutions existed (if “does the n-queens problems have exactly m solutions” were in NP, such a certificate must exist), and how it could be verified in polynomial time (i.e., without checking each other solution candidate).

> Do you have a citation for counting n-queens solutions (not completions like in the featured paper) being #P-hard? (or NP-hard?)

Jieh Hsiang, D.Frank Hsu, Yuh-Pyng Shieh, On the hardness of counting problems of complete mappings, Discrete Mathematics, Volume 277, Issue 1, 2004, Pages 87-100, ISSN 0012-365X, http://dx.doi.org/10.1016/S0012-365X(03)00176-6.
(http://www.sciencedirect.com/science/article/pii/S0012365X03...)

Note that they assume a binary encoding of n, and hence get “beyond #P.”
When I finally learned calculus I was very surprised at how straightforward basic integration and differentiation are.
Can you hold it at the tip and does it increase temperature with increasing number of lines?
What is edge computing?
The Hudson River Dumps Millions of Fabric Microfibers into the Ocean Daily
Typo: responsable should be split with I.
I don't think that's entirely fair. Reddit does allow healthy community development, it just requires good mods on a subreddit. For example:

https://www.reddit.com/r/AskHistorians/
https://www.reddit.com/r/askscience/
Thanks for the response.

To clarify "module boundaries", I mean "separate shared objects."

As for Linux, I'm not too concerned with creating a single binary that works for all distributions.

I'm more concerned with someone being able to build a set of shared libraries on their distribution of choice and those shared libraries being able to interact naturally regardless of which compiler s/he uses to build each of them.

Say, LibA is built using LLVM. LibB is built using G++ and LibC is built using ICC.

LibA defines several classes. LibB creates some subtypes. LibC instantiates types from both LibA and LibB.

All the functions present in LibA, LibB, LibC make use of STL types such as std::string, std::vector, etc. Some may throw exceptions, whatever.

With respect to MSVC, I've read that compatibility between Debug and Release builds is kind of suspect, especially if you're using STL types. Not to mention differences in MSVC version. Is this still a concern?
Are your web and mobile APIs putting your business at risk
Desktop Linux Now Has Its Highest Market Share Ever
Like a plumber for CSS. Good value as many people hate dealing with CSS.
Also, you can't put straight furniture against the walls. And it's difficult to stand near the walls.
Personally, I think math should start at teaching kids useful stuff that 100% of them are going to use such as; taxes, credit products/home loans, budgeting, investments etc. I'm sure calculus is useful and great, but the reality is only a small percentage of kids are going to use it so it doesn't make any sense to force it on EVERYONE.
I was with you until the last sentence. A feed we curate ourselves? Really? I never got to see most of what my friends posted over the years, so I can hardly be curating any of it, can I? :)
>The big benefit (once Firefox and EDGE support them) is in not needing to download 132K of Javascript for basic platform functionality.

If that's the big benefit, then it will be increasingly irrelevant (assuming its not already), including on the mobile space.

Especially since those 132K (for React, Angular, and the like) are not "basic platform functionality" but give tons of things that Web Components do not.
TensorFlow's dashboard TensorBoard has a stacked plot visualisation inspired by this album cover:

http://nerdyembeddedcomputers.review/hands-on-tensorboard-te...
In order to shed rain and be fastened to each other, the plastic sheets overlap each other as shingles on a roof would.

OK, that's good; a reasonable approach to leaks.

It’s all held together with bolts that bolt through all the layers. The shell of the dome is about 2 1/2 inches thick.

That's not so good. Many potential leak points. Stress concentration at the bolt holes. The plastic may tear. Nothing holding the edges together with a tight seal. Almost all the problems with geodesic domes are at the joints. The author is vague about how the joints work.

Buckminster Fuller's concept for geodesic domes was that they were to be made from factory-built components and modern materials. They were to be products of the industrial age. In a factory, parts could be made to tight tolerances and be weathertight. With modern durable materials such as aluminum and Fiberglas, the domes could have long lives. During the 1950s, many such domes were built for radar stations. There are large radomes in the Canadian north abandoned decades ago, but still standing.

Then came the era of hippie domes, which were built by hand from "natural materials". This did not end well. The author of Domebook I and II has repudiated his work, after a long history of failed structures. Trying to shingle a sphere does not work well. Nor does trying to fit a standard window into a dome. Nothing quite fits, and there are too many bad seams. All this gave geodesic domes a bad name.

The domes in this article look like the ones from Dome Village in LA, but less rugged. [1] That was an attempt to house homeless people. The Fiberglas domes of Dome Village held up fine for 13 years; the project failed for other reasons.

[1] https://en.wikipedia.org/wiki/Dome_Village
I don't think the audio-only format lends itself to programming instruction, but they can be good for exposing someone to high-level concepts, new developments in the field, or discussions and debates on programming practices.
Incorporation of Company Branding and SEO Nowadays
I'm working at a place where I don't know anyone who was hired except through networking.
Pretty much everyone working on AI/machine learning wishes Musk would just stop talking/tweeting.
> looks good!

> hasn't gained much momentum.

Not trying to be arch, but the above contradicting statements tell me these folks in particular are manifestly unable to prove their own worth.
I like the next entry, My Number 1 Spring Cleaning Tip

"If you haven’t used it in the past year, get rid of it. [...] chances are you probably won’t use it this year, and the unlikeliness of utility will just compound year after year after year."

https://adamcap.com/2011/04/12/my-number-1-spring-cleaning-t...
Tackle CSS bloat: How to find unused style sheet rules
I was curious if there were a cap on the temperature but the code does not actually seem to be doing something to the temperature after losing. I did not dig into the code too much but I suspect that the thing is either not implemented or that it heats over time regardless of you losing.
For me, the last major missing piece for Postgres would be a silent, seamless pg_upgrade when you upgrade your OS.
Buy and sell websites or online businesses
I can't remember if we ever did this, but the solution seems straightforward, just start an upgrade container that has both versions.

We definitely did not use the container that's in the locker library though. Ours did some custom checks on startup.
OK, I see it now, thanks. I would even edit my original comment if I could. Still, the original article is biased without mentioning strict mode, the fact that it's been recommended to turn it on in any serious deployment for years, and that it is enabled by default in the latest MySQL/MariaDB releases.

There are reasons to choose PostgreSQL over MySQL (and vice versa), but the article is certainly an example of unfair evangelism.
It's a personal thing. I have two pens that where ~$200 each. I do not think I would ever spend more. Another item like this would be a watch. I love watches, but I will never buy the one I really want (it's not over the top at around $8k) because I cannot justify to myself morally that number. I would always look at it and think what that money could do if I gave it to charity (my wife and I setup a charity fund after my last startup hit). Walking into the schools in Menlo Park and PA where they bus kids over from East PA and finding the cards on the tree at Christmas where a kid just wants a pair of shoes is always a reality check for this bubble we live in called Silcon Valley. For us, we always make sure that there are no cards on tree by Christmas. I guess that is my cut-off.

That being said, these pens are a work of art and as such I have a great deal of apprication for them and their creators.
Das Neuron
> This is counteracted by the fact that employees now have the option of walking away from their jobs

I don't see how either a UBI or a job guarantee limits employees from walking away from their jobs. The presence of a job, or an income, hasn't stopped many people from starting their own thing.

> But either way, I think a UBI is necessary so that people have the option of working for themselves rather than being forced to answer to someone else.

The option to work for yourself isn't taken away by a jobs guarantee. I can see how the presence of a UBI would permit people to do things no one would pay for otherwise. As idyllic as I really do think that sounds, I suspect that examples of people doing things no one would pay for would be used over time by UBI opponents to drive down the value of the UBI to below a living wage.
Don't apply for jobs that have a laundry list of technogies you should be experienced in. Look for positions where they realize that tech will change every year and people will need to learn. That is the kind of place where they don't see you as replacable labor that needs to deliver on day 1 because they expect you to be gone within a year or two.
Find a place that hopes and thinks you'll be there to see a few tech stacks come and go.

A broad technology such as having experience with "databases" or "functional programming" or whatever might be appropriate, but if an ad says "need N years experience with Framework-X" etc. then run away.

If your first contact with the company is a non technical HR person screening you for the appropriate buzzwords: also run away.
You're missing the point. And saying what exactly? That we should just roll over and let them do whatever they want because empowering the user is hard?
Show HN: (UK) Compare bots/apps to help you save and manage your money
I came into Forth with 32 years of mixed experience from Lisp, Smalltalk, Haskell, C++, C, Java, Perl, Python, Clojure, Scala and more; it's difficult for me to judge anything from that perspective.

I've never written a standard Forth program in my life though, never installed any other implementation. The second I was introduced to Forth, it clicked; Lisp took me much, much longer to get by comparison.

Like I said, I'm not very much into rebuilding what has already been built better by someone else. Anyone who's written any amount of code is bound to have own ideas, and the nice thing about Forth as a substrate is that doesn't come with that many ideas of its own.

I've written a few blog posts explaining design choices (https://github.com/andreas-gone-wild/blog/blob/master/forthy...), there's more interesting stuff to come now that the pieces are falling into place; I've only been working on Snabel for a couple of months.
Code Golf – check all the keys on a Standard 101 keyboard
What search engine have you been using? I've tried others but none seem to come even close, unfortunately.
Here are some kinds of claims I would like to be able to verify on my stylesheets, whether through testing, fuzzing, proving, or magically intuiting via some proprietary black box APIs for $99/month:

- The number of columns in the article is 1 on mobile.

- On desktop, the sidebar is to the left of the article.

- There is no horizontal scrolling.

- All paragraphs have a line height equal to the baseline.

- All elements are vertically aligned on the baseline grid (the "vertical rhythm" property).

- All sidebar icons are 1rem squares.

I want to take high level desired properties, specify them as assertions, and then use that to continuously check that the assumptions still hold, especially as I change the code, or switch devices, etc.

We seem to need this for CSS styling, because as soon as your website or app reaches a threshold of complexity -- a very low threshold, in my experience -- it starts to happen very easily that a seemingly innocent new stylesheet rule has some detrimental "action at a distance"... it's right there in the name, "cascading".

You might be thinking that you can get around this problem through proper abstraction, and I'm interested to hear about that too -- anything that can structurally improve stylesheet quality is urgently necessary. I note that CSS variables are still experimental technology, and that from what I've seen, various CSS preprocessing technologies mostly increase the need for verification (maybe because they tend to encourage even more complex forms of cascading).

In practice, for most projects, I would end up conceding that we can't test our CSS beyond things like screenshot diffing (which is a pretty nice technique), just because it would probably require some "original research" into specifying stylesheets.

Maybe Google or Facebook could sponsor it. They're both producing frontend development resources because they want web developers to succeed in making cool stuff that they can link to (and surveil).

Is there an academic clique somewhere with an interest in formal methods for stylesheets? Or a startup?

It seems interdisciplinary enough to be cool, right?
What made you want to pivot from Xamarin? Did you find there is a lack of opportunities, or do you dislike the technology? As someone who is looking into moving to Xamarin development I'd be interested to hear your thoughts.
The first line of the article:

> The Kremlin hacked our presidential election

Stopped reading at this point.
So glad this is PHP! What is node.js used for? Could I go without it?
Best Microsoft .NET and related books list
I'm not sure why do you think that in my comment I expressed any interest in this primitive mean of harnessing the ocean of energy that we swim into. Wind and solar are possibly the most primitive ones and not a bit more advanced than burning fossil fuels. Nuclear energy is the only intelligent mean we have invented so far - everything else is savagery.
Tackling the Cloud for Better Criminal Evidence Gathering
That depends on where you live. I can put plastic wrappers in the recycling bin just fine.
How does that make sense? If a culture is tolerant and somewhat smart they can add tolerance to their constitution. By doing so they will both allow tolerance and not have to worry about anyone (tolerant people or not) taking away their "ability" to tolerate.
There's an alarming list of behavior MySQL got negligently wrong at some point. That code is mostly still present (you can't prevent a client from enabling it!) and I have to assume some of the maintainers who thought it was reasonable are still involved.

And not everything on the list has a fix available. Off the top of my head, there are still broken storage engines that can't rollback, not all of them can be disabled, and STRICT_ALL_TABLES won't stop you from writing to them. Some foreign key constraints are supported while others are parsed and then silently ignored.
Off topic: You can speak Russian and Hebrew?
We Are At War For A Free And Open Internet
Here's updated data:

http://www.ace-eco.org/vol8/iss2/art11/

Wind power kills far fewer birds than a wide range of human activities, including other forms of power generation even when compared per GWhr.
That's not propaganda. I thought HN would know better.
I listen to non-technical audiobooks during my walking part of my commuting - psychology, self-help, history and science fiction.

I've also installed mobile apps for pluralsight(paid by my employer), udemy, udacity -- which allow me to download content and watch it in the subway; but I stil have to re-visit the course material and type things on my computer if I actually want to learn anything, otherwise its just more junk food for the brain.

I don't think there are many text-only technical audiobooks, so if you actively drive that kind of sucks, because you can't watch videos, but then again, you're not missing much, I don't think there's anybody who aquired any technical skill by just listening to an audiobook.
Why? illumos already exists and has been developed by a community and several commercial backers for almost a decade. Oracle Solaris has just been causing confusion for the free software fork (based on the original sources that were published before the Oracle acquisition of Sun).
I think the article is about price of producing electricity rather than the price on market... We've gone from the "Renewables are theoretically good but too expensive" to "Renewables are too cheap" stage surprisingly fast. The growing influx of intermittent renewable energy means either you adapt and use the cheap electricity for you benefit. Or pay a higher price for more expensive electricity sources if you can't be flexible.

A lot of power dependent things are going to start being priced like AWS spot instances.
Not entirely, and that doesn't account for the rise in sales. Paradoxically, the destruction of handwriting by computers may have benefited some fountain pen makers. As most everyday writing tasks are now computerised, writing by hand is increasingly becoming an activity for special, often personal occasions such as writing a journal entry. Now that the task has become rarefied, it occupies a different part of the mind which attaches a higher and perhaps more ritualised value to its tools. The experience is now done for pleasure not utility, and so the implements should be as joyful to use as possible. The emotional attachment to the activity justifies the disproportionate money and time spent on it (as is typical of recreational activities).
Imagine the public reaction in the US if the Russian say "Windows might be a threat to the national security".