skysight-inc/HackerNews huggingface dataset:
Anything that fails isn't moving anything anywhere.

And in the type of place that has a dysfunctional, legacy software system running core business operations, don't count on all the other ducks being in a row (anything resembling agile, ability to release to prod on a reasonable cadence, ability to provision sufficient test data, working test systems, etc).

If it's an internal system that you've been working on and maintaining... for 10 years... maybe (just maybe). If you're a consultant stepping in, I wouldn't touch that option for love or money.
> What formalism, if any, is the human mind subject to?

There could be many that could answer some such questions, paraconsistent and inconsistent for example.
But again, the difference is that it's full Windows 10 on ARM with x86 Win32 emulation. You can take your 32-bit Windows x86 software and run it with no changes needed if you want to. You don't have to buy into any new ecosystem because there is no new ecosystem.

Here's a demo video they released at the start of the year: https://www.youtube.com/watch?v=A_GlGglbu1U
And the camera person doesn't have a picture...
Show HN: Versatile web crawling framework for Ruby
did you exercise?
If you have good health you can work to better your life which turns into a home. If your health is bad you may not have the ability to make your life better.

It is the old teach man to fish vs give him a fish thing, but with a twist. Someone who is physically unable to fish (ie disabled) will not eat for a lifetime no matter how much effort you put into teaching.

Your point about stability is important, but it not a major factor for large numbers of poor people. (don't get me wrong, for others it is the large factor)
> Yes, the public demo is just fine for trying things out.

OK. Could you point me to the specific operations on the public demo that are slow in Firefox? I've been trying a few things side by side with Chrome/Safari and not really seeing a perceptible difference, but I don't really know my way around this UI, so it's possible I'm not finding the right things, or not noticing lag that you're noticing... Note that I was using a Firefox nightly; if you're seeing the slowness in a specific Firefox release, which one is it?
Any company can innovate like Google
This hasn't been my experience. Perhaps the difference is that my end goal is just to live comfortably? I interact with a lot of people that, like me, do well in a niche spot. No aspirations to change the world...just content to be my own boss.
The rise of cheating in undergraduate computer science
The problem with big bang rewrites is you end up falling in every trap the original developers fell into.
The site has a Start Free Tial option but I can't find anywhere what it contains or how much I will have to pay afterwards
Not sure why this was so controversial... I mentioned my requirements in my original post and moonscript clearly doesn't satisfy them. Sorry if that hurts feelings...
"believing the largely non-existent left in the United States is capable of such a thing."

I think the left does very much exist in the US - see the support that Sanders got on a more or less socialist platform. The issue is the economic left has no political power (unions in decline, the anaemic healthcare reform that Obama passed is being pushed back, etc.). The 'social' left, on the other hand, does have power (e.g. gay marriage is legal and widely accepted, and the extreme pushback to border control and enforcement of immigration law).

This contrasts with my own country (which shall remain unnamed), where on economic grounds, the left is strong (state funded education and healthcare, strong public transit and social safety nets), but, in some social areas at least, it's weak - the marriage equality referendum failed, and the very lukewarm, centrist party in power, put up a border wall within weeks of fearing we might need it, to little fanfare. Contrast that with Trump's loud threats of a wall, and the accompanying accusations of Nazism, which hasn't yet amounted to much.
Since Golden Rice gets its color from beta-carotene, carrots are already pretty golden in that sense.
> The most important is environmental. Aluminum is more abundant than titanium, it is easier and friendlier to extract/process.

Don't worry, they won't sell many of these phones.
All software is written three times.

First, to learn the problem. Second, to learn the solution. Thrice, to do it right.

Skip a step at your own peril.

Incrementalism and do-over both have their place.

If you're resurrecting legacy code, I can't imagine successfully rewriting it until after you understand both the problem and solution. Alternately, change the business (processes), so that the legacy can be retired / mooted.
Debugging, like most things in clojure, is a library. You can view the implementation (as an nREPL middleware) here[1]. It's possible to use this debug middleware from any random nrepl client, but I'm not aware of any that actually implement a command-line debugger such as you get with python's pdb. I suspect, but don't have any time or inclination to verify, that implementing a basic command-line debugger using this library would be a weekend hack. I suspect this debugger is far more useful integrated into your editor than stand-alone since clojure isn't really a file/line-oriented language (which would make selecting forms hard).

[1] https://github.com/clojure-emacs/cider-nrepl/blob/master/src...
Tagove: Talk to your online customers through live video and voice chat
That's a loaded argument.

Human biology, and by extension human minds, follow a myriad of rules that are a result of biological processes being played out. Likewise "machines" also follow the rules laid out by their physical design. There is no fundamental difference in this regard, there is no new set of information-theoretical rules that comes into play when you switch to a carbon-based machinery.

> What formalism, if any, is the human mind subject to?

In the context of this argument, the mind of the human mathematician would be subject to the rules of the formal system. Since Gödel we know that such a formal system cannot be proven true inside the system itself. However, an entity that views the system from the outside can potentially see it's true. There is no fundamental difference between a human mind and a hypothetical machine mind as far as the capability to come to the same conclusion is concerned. That's why Lucas took special care to specify upfront that the machine mind is prohibited from coming to that conclusion, by confining it to live within the formal system only. Yes, their argument is really that circular.

> Isn't our current conception of a machine that it will bound to some formalism in terms of reasoning? Are we so bound?

We are not, and neither would a generally intelligent machine. The burden of proof is on Lucas/Penrose to show that a generally intelligent machine would still be bound to that formalism, at which point it would cease to be considered generally intelligent. They seem to argue that their postulate is true because the individual components of such a machine are bound by those rules, but then again so are the individual components of our brains.
Regarding the bikes being kept for personal use, its a quirk of the way one of the bike-sharing systems worked. Ofo, one of the biggest players, didn't have any sort of GPS system on the bikes. Rather, each bike has a license plate with a numerical code, which, when put into an app, gives you a number for a padlock which will unlock the bike. Now, the number in the padlock doesn't change, so people quickly figured out that they could write down the code for the padlock, rip the license plate off the bike (or scratch off the number), and then no one else can use their bike.

I believe this company has added GPS tracking to the bikes now, but this was a pad enough product design flaw that it should have rendered this company incapable of making money. I haven't seen any numbers from them, but I would be extremely surprised to see them bringing in any significant revenue, nonetheless profits.

I haven't downloaded their app, but I've used their bikes a number of times, as they're currently littering the sidewalks of Shanghai, many with their locking mechanisms ripped off or permanently opened.

Nonetheless, this company was valued north of $1 Billion as of their last fundraising round.

Feels pretty bubble-ish to me.
Doesn't seem to work on mobile Safari.
Must-Know: How to determine the influence of a Twitter user?
Creative Social Media Visuals You Might Want to Use This Children’s Day (free)
But the examples they give from intro courses are not where you want this type of behaviour.

A student handing in dead code either doesn't understand it or didn't care to go over it after copying. Either way, that's not someone you want "looking up answers" on Google as a professional.
"Only data delivered via P2P counts against your video CDN plan"

lol, this is ridiculous. So they basically charge me for the bandwidth of my users?! :D
Wiki says two thousand are still flying, which is pretty stunning. Remarkable aircraft.
> Isn't our current conception of a machine that it will bound to some formalism in terms of reasoning?

No, that's just a current limitation of the kind of machines we know how to make.
What do you mean exactly by "P2P transactions"? Because what I initially read that as is the digital equivalent of handing someone cash, which would pretty much be considered a hard fail by everybody from top to bottom if that becomes illegal.

Believe me, the government would love to know every time cash changes hands. It is not about to illegalize digital transactions of that sort... it is far more likely to mandate them than forbid them.
Intel unveils X-series platform: Up to 18 cores and 36 threads
Most of these articles read: "They cheat because A, B, and C... it could be because of D..."

I would love to read an article which is like:
"I cheat because X..."
"I cheat because Y..."
"We cheated because Z..."

In other words, an article or a study based on an anonymous survey. Straight from the horse's mouth.
LastPass Down?
Great advice. Writing integration tests or unit tests around existing functionality is extremely important but unfortunately might not always be feasible given the time, budget, or complexity of the code base. I just completed a new feature for an existing and complex code base but was given the time to write an extensive set of end-to-end integration tests covering most scenarios before starting my coding. This proved invaluable once I started adding my features to give me confidence I wasn't breaking anything and helped find a few existing bugs no one had caught before!
There have been a lot of problems with software/firmware in the auto industry. Each instance has not been the end of the particular company in that case.

Software is hard, and firmware is harder. Every modern car has computers to handle a number of very important systems (ignition, diagnostics, ABS, traction control, throttle, speed plate, and so on). Break-fix cycles are almost unavoidable in today's world. It happens with lowly kitchen appliances, and it happens with cars, trucks, airplanes, boats...
Diversity – ISC 2017
> One counterargument takes off from the point that Lucas' argument assumes that any computational model of a mind must be consistent, and depends on a mind being able to establish its own consistency.

Which would obviously be false. There are clearly true theorems we will never be able to prove. Simply because we can prove many theorems that simpler formal systems cannot, entails nothing about our logical consistency or completeness.
Maybe because in the USA, you don't "apply for a degree" at the undergraduate level? You apply to be at the university full stop, or at most an honors program.
Why are you downvoting what I wrote? You are arguing against statements I did not make.

PHP worked for many people in what I can only consider a quite generous definition of "worked", in tandem with countless security problems that arise almost necessarily from its low-level data representation. I am not arguing that this has impeded its adoption, that most users care about this, or that it does not "thrive". These are not signs that it works in the way I prefer software and languages to work. In particular, for writing secure web applications, I cannot recommend PHP.

In the future, I expect to see more and more Prolog web applications. The necessary frameworks are now becoming available, with much better safety properties.
New Contributors to Open Source, Please Blog More
This might be true (big bang rewrite) for small web sites or non business critical utility software, but if your cash flow depends on the software, you do not want failing software to stop that cash flow.
> - Lasts a full day

Many phones do this. Both my iPhone 6 and my iPhone 6s do this and more (usually two days). The issue here is that your use case is likely different than mine. It isn't enough to just say, "full day" without specifying full day doing what.
Most of the jobs you're talking about are absolutely useless to people in foreign nations. People in China don't care about your child protection case workers, health care workers, utility workers, construction workers, and teachers, because they have zero effect on their economy. What incentive is there for people in China to manufacture stuff and send it to your country if you have absolutely nothing to offer in return for trade? International trade only works when you have stuff to trade; you can't run an economy based on consumption only, and have the rest of the world working hard to provide you stuff to consume. That "buying power" comes from your nation exporting something, whether it's manufactured goods, specialized services, etc. Otherwise, it's eventually going to fall apart. What does the US export?
My feeling is that the "robot" concept requires feedback loops and flexibility to adapt to a wide range of situations. As technology progresses, the required amount of magic required to warrant the title is a moving target.
Well you can always argue for otherside as well, ECC support, more PCI lanes, and spend $7-800 differnce on RAM, SSD etc.

Personally, I would choose Ryzen.
I think this mostly applies to newer startups who have changed teams with no or little hand off.

Fighting technical debt is hard. Fighting it with a blindfold is harder. Fighting it with 0 frame of reference is daunting. Fighting it the rest of the company is demanding new features right now is a recipe for stagnation, bugs, and burn out.
Don't forget Jerry Pournelle, if anybody holds that title it should be him.
Slight tangent: Am I the only one that's a little bit annoyed that it seems like you need to start using the complex beast that is Emacs to get first class Lisp support? There are one-off apps, but everyone swears by SLIME mode or similar.

Yes, I get it. The editor itself is written in Lisp. It's the most hackable thing out there. Yes, fine. It is a masterpiece of technical achievement. That's all well and good, but...

I just want to learn the language, not the language and an editor that seems entirely alien at the same time. If I had to learn vim as a prerequisite to learning and writing Python (specifically using the debugger and a REPL), I probably would have never learned Python.
Another thing you can do is start recording all requests that cause changes to the system in an event store (a la event sourcing). Once you have this in place, you can use the event stream to project a new read model (e.g.a new, coherent, database structure).
Divest before it's too late...
I understand that people at Google tend to think in the "purely technical", but that's why I feel they're so poorly equipped to protect people. They fail to account for the real world, where people do dumb things. It's not okay to build a platform you intend non-technical users to use, and then blame the user for getting exploited when you do nothing to prevent it.
IMHO Intel GPU's are not that bad. If you're not gaming they handle most tasks such as image editing with Photoshop and driving multiple screens at high resolutions. And frankly, that's all a consumer really needs.

Sure, an external dedicated GPU is nice to have, but being able to buy a decent processor (ie. Pentium G4560) with an integrated GPU for 50 dollars is really awesome, if you're on a tight budget.

PS: I'm writing this on a laptop that has the very first Intel HD Graphics (1st gen i7). I don't have any problem with it, except gaming and a two monitor limit.
I use an "Edimax EW-7811Un" (aka the N150-nano) usb wifi adapter. Only costs 8 USD on Amazon.

It uses the urtwn driver in OpenBSD and FreeBSD. It works...ok. Super small and a handy built in blue-LED so you know when it's powered and connected. I tend to leave it plugged in even when I reboot into macOS because it's pretty much ignored there due to lack of out of box macOS kernel module I believe.
A big use case for me on Chrome is multiple users with their own passwords, cookies etc. At work it's essential for logging in to multiple Salesforce orgs at the same time, and at home I use it to manage multiple gmail accounts. I can't consider using Firefox as my main browser until it has multiple users as easily as Chrome does.
I have an old AMD bulldozer 8290 ro something liek that, the highest end one. Its stock clock speed it capped at 4.0Ghz. I have all 8 cores stuck at 4.7Ghz since I finished building it (It was a long and fun project and took several weeks of weekend tinkering).

I started off using the machine for gaming and building C++. Now that machine is is part of Jenkins cluster running several VMs each building C++. This machine is about as stressed as a desktop CPU can be. I do not believe these are built to fail.
Show HN: Tad – A fast, free cross-platform CSV viewer
I would argue that refactoring a legacy code base without tests, is not refactoring.
500m is 0.008% of the 6.5 trillion unaccounted for at the pentagon[0]. Why did we make such a big deal out of Solyndra, while overlooking a problem about 3 orders of magnitude larger? I think the scare quotes are warranted. Solyndra was only a big deal because a Democratic administration did it.

[0]: http://www.reuters.com/investigates/pentagon/#article/part2
yeah i think maybe numericals aren't the best example since the initial value is always labeled x_0 and if you want to create a 2d array with the first array your X_0s then creating an N + 1 array makes sense.

your matrix example is totally bizarre though. the top left of a matrix A is always A_(1,1). so not sure what a[0,0] means. a 1x1 matrix is always 1 element, which is a[1,1]. the number of elements in a mxn array is m*n.
> When we notice an inconsistency within ourselves, we generally “eschew” it, whereas “if we really were inconsistent machines, we should remain content with our inconsistencies, and would happily affirm both halves of a contradiction”

I feel that only philosophers & logicians are this black-and-white. There are many people content to occupy a midpoint on the spectrum of "This fact is true"..."This fact is false"; some even will accept a range!

One fact I think we can all agree on is that philosophers are: old; white; dead; men; and wrong.
Ugh, this again.

1. Let's suppose for sake of argument that humans really can see the inherent truth of "Peano Arithmetic is consistent". That doesn't mean humans violate Gödel's Incompleteness Theorem: it could just mean that humans use axioms stronger than PA.

2. Gödel's Incompleteness Theorem only applies to systems that are perfectly logically consistent. Not sure how Penrose didn't notice, but humans... aren't.

3. When scientists proposed Quantum Mechanics as a replacement for Classical Mechanics, it was on them to explain how Quantum Mechanics simplified to Classical Mechanics in the common case. "Penrose Mechanics" is an even more radical departure — especially from a physics of computation standpoint, as Penrose Mechanics by definition would allow solving at least some of the problems in (ALL - R) in ~polynomial time. Penrose needs to explain how Penrose Mechanics reduces to Quantum Mechanics in the common case.

4. Penrose proposes that (a) there exist new physics, (b) that evolution has learned to computationally exploit the new physics via microtubules, and yet (c) that humans are the only lineage to make use of this feature of microtubules, even though microtubules are found in all eukaryotic cells (from mushrooms to amoebae). From a predator-prey standpoint alone, it would seemingly be a huge evolutionary advantage to be able to compute NP or R functions in polynomial time. (That ability is not _strictly_ implied by Penrose Mechanics, but it's a very likely consequence.) Penrose needs to explain why only humans are taking advantage of the computational power of microtubules, when microtubules have existed for billions of years and across millions of species. (TL;DR: It's the pineal gland all over again.)
I generally clear my head by reading mailinglists and looking at how projects of my interests do things and keep their commits in order, especially around bugfixes. OpenBSD is a fun one to read through as well as others. I also go to/watch talks about people managing their own piles of manure and change processes.

As long as you keep your eyes open to other people doing what your organization is struggling with right the first time it gives sufficient motivation to approach every problem with 'why is this here and how could we do this better.' The great thing about the state of F/OSS right now is that you have codebases that have to change because of things like large amounts of RAM being so cheap- that very well understood algorithm designed to only do things in 64MB so as to not swap out no longer makes sense and so there are intelligent motions to fix it. I've been planning on reading the Postgres 9.6 changes for parallel queries to understand how they did the magic in a sane and controlled manner and shipped a working feature.
I think the worst part about it is not necessarily that some lower-end/slimmer laptops have integrated Intel GPUs. That's fine, there's a market for it.

The worst part is that Intel has coerced OEMs into buying their integrated GPUs even if they buy a dedicated GPU for their laptop.

Imagine if ARM said that if you wanted its Cortex-A CPU, you had to use a Mali GPU, even if you also bought a PowerVR GPU to put in your device...That would be crazy, right? Then so is this.

Intel has done quite a few anti-competitive things since it was last sued (and lost) in the EU for such behavior, almost a decade ago. I wonder why no government body seems willing to take on it anymore. Everyone's tired of doing the whole antitrust dance with Intel again?
I don't disagree with you, I just don't think the Republican leaders are going to see it that way. In their worldview capitalism is the answer to all economic problems and so it's going to be very difficult for them to see capitalism as being the source of problems. They're going to be very suspicious of anyone suggesting there's problems with capitalism and view it as some sort of socialist plot. It's not obvious to me how we're going to get them to see things differently.
PSA: FiveThirtyEight are running the problem again [1], and this time have released the data from the previous battle so you can see the soldier distributions that everyone took last time [2]. Submissions are due this Friday.

[1]: http://fivethirtyeight.com/features/the-battle-for-riddler-n...

[2]: https://github.com/fivethirtyeight/data/tree/master/riddler-...
Ok, but you ARE receiving partial credit. It wasn't all-or-nothing, as was implied above.