skysight-inc/HackerNews huggingface dataset:
There is a story about blind philosophers touching an elephant. Fortunately, in the case of mind they all are touching the same elephant, contrary to some theoretical physicists and dark matter/dark energy astronomers who are touching imaginary spherical elephants in vacuum, or french existentialists touching each other.

This means that after pruning out, like in a search algorithm, obvious nonsense the remaining insights and formulated principles "describe" the same phenomena from different perspectives, so the process is still have good chances to converge to some approximation of what is (or truth or absolute, if we wish to use archaic terms) while other processes are not even convex (this is another analogy). So, dismissing a proper philosophy as unscientific is a bit premature, in my opinion.

Sometimes metaphors are the only way to correctly express certain notions, which are foreign to our conditioned and specialized brains, like the notion of non-existence of time as a distinct phenomena, or that there are such things as appearances - patterns of sensory input which interpreted by the brain, conditioned to do it by the environment in which it has been evolved, to accept these perceptions as ultimately existing. Forth grade example with zooming form a solid into atoms and then "particles" would illustrate it best.

For the system theorists the analogy would be that they are talking about implementation details, while philosophers are talking about higher lever, linguistic abstractions, the domain of what we call the mind. It is easy to see that linguistic abstractions of the mind does not necessarily exist, like angels or dark energy.

The state of deep-sleep or losing of consciousness has been used as a counterargument to refute the separate good-created-soul dogmas back in the times of Upanishads. Nowadays we would say that some processes are suspended and then recreated, which at least refutes the dogma of separate, permanent self as a distinct entity. Obvious examples from software systems one could find himself.

The good AI research, like a good philosophy, which could be characterized by pruning of nonsense and collecting non-contradictory general principles, with help of evolutionary and social psychology already got what is possible and how it works in principle. What they, obviously, do not know is how exactly it works (due to complexity) and how it came to be, but these are non-principal questions.

At least, there is no doubt for a modestly educated person that most of mind-created appearances does not ultimately exist, like socially constructed dogmas or memes.

Time, soul, self are a memes of the mind, if you wish. Implementation details are irrelevant.
> the type-level approach with type classes and type families has increased the compilation time and forces me to use `-freduction-depth=0`.

Are you on OSX by any chance? I have some similar issues but they don't seem to happen on Linux.
Swagger RESTful API Documentation Specification -
Abstract Algebra – Visual Group Theory [video]
Isn't this really a vulnerability of php's mail() function (or at least evidence of bad design). It shouldn't let itself call a shell command with arguments unescaped.
Z-joyee Women Shoulder Bag 2 Piece Tote Bag Pu Leather Handbag Purse Bags Set
Kaby Lake Systems with Intel Optane SSDs Coming Soon
No other car can do this actually. Only Tesla
Objective-C will slowly move to where it belongs - the dustbin of programming language history.

Merging C with a higher-level language could only make sense in the 80s, where people didn't know better and invited all the dreadful problems of C code into application development.

Swift is the proof that one can have a safe, powerful language that can also be fast. It's not yet fully mature, but it will get there, the speed at which it's replacing Obj-C in iOS and macOS development is impressive.
More previous discussion:

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

https://news.ycombinator.com/item?id=13268768
That's how I do it. Check for an @. Anything past that is sendmail's problem.
Do people actually run this ?
It would help if this wasn't the first time I'd ever heard of sysprep. Microsoft don't exactly go out of their way to advertise it. It doesn't even show up when searching from the start menu.

Searching online, the easiest results to find seem to be either to manually uninstall hardware-specific drivers in the device manager, or simply to assume that motherboard upgrades will just magically work. Whilst one can find results that mention sysprep, how is a user to know that the sysprep method is the right one?

And now I read:

When sysprepping an existing Windows setup, it only works if the Windows was installed clean and has never been upgraded or repaired using repair install.

So that's great.
Conlanging gets somewhat close in that regard.
The unremarkable career of (some) modern software developers
Does this sync / delete tables in the correct order so that there are no foreign key constraint issues? Also, does it diff rows to tell what rows have actually changed or does it attempt to update every row every time? Does it handle cases where primary keys are not configured?

Percona's pt-table-sync has quite an extensive man page and explains how it accomplishes these. It may be a good reference to update your README.md to explain how the syncing works in gopli: https://www.percona.com/doc/percona-toolkit/2.2/pt-table-syn...
Brigador is a game that is finished and not a hastily cobbled mess of stock assets. It would easily pass basic quality control, and could get even more attention without trash making it hard to find.

With a normal book or an album you at least have to put in the effort to make it yourself. Steam does not need the equivalent of a robot's print-on-demand wikipedia article compilation.
GeneLisa – A Genetic Approach to Recreate a MasterPiece
This is a misleading comment. A Rust program may use reference counting by explicitly wrapping some value in Rc<> or Arc<>; the standard library provides these generic types. There are no "constructs" built in to the language or standard library that require the use of reference counting.
user space version of the NT kernel (known as NTUM - "user mode NT")

This is pretty neat. Wonder if people could use it to run other Windows stuff on Linux

Edit: formatting
The Cache Flushing Fallacy (2013)
These are currently the rules in San Francisco and we do pretty well on the whole!

You know, it's interesting that you say that we can't expect people to follow all those rules, but I just got back from Japan and WOW. That country has basically gotten everyone on board with following every rule. There are like four different receptacles for trash and you have to walk all your own trash out to the proper drop point. It seems like a crazy complex system, but the people understand why it has to be that way (no landfill space) and why their civic duty matters.
Airlines don't charge you to cover any extra cost. They charge you just because they can. They will try at all costs to know how much are you willing to pay and offer you that price minus one cent. If they think you are on a business trip they will try to charge you more, if they think you are on an emergency they will charge you more, if they think you are without options they will ask for your soul. It's true that fuel cost is a huge part of airline costs but your extra weight is going to change that very little. What really costs airlines money is operating half empty aircrafts, something that sometimes they are forced to do. Ticket prices are determined by the market, and airlines markets are very special.
Dongle usually works because the chipset shouldn't be too uncommon. What I was referring to was the Wi-Fi chipset that use SDIO interface rather than PCI/PCIe/USB (like the mentioned RTL8723BS, which is a Bluetooth + Wi-Fi combo module used in few tablet models due to its low power usage).
I can make your code as safe as you like, if you only let me define what "safe" means!
You don't hear about it because one can't "patch things in haste" to fix performance issues caused by choosing the wrong programming language for the problem at hand.

Instead one hears complaints about Python's GIL, hears about people moving to golang, about this new thing called Rust, about a C and C++ resurgence and so on.
Any valid use cases?

No offence, was just wondering why would anybody use it...
Yeah he averaged about 500 LOC a day for 8 years. Which seems insane. That is a wildly productive programmer.
You're right. What's confusing is the speed reading on the dashcam lags by about 2 seconds.
Often, though, hour long lectures is the only way to go. You just can't learn much in 10 minutes with an animated video. Sometimes you just got to delve in.
And as usual, piracy wins.
It's worth balancing this against other research showing that users often don't like the experience provided by progressive image rendering:

http://www.webperformancetoday.com/2014/09/17/progressive-im...
Maybe We Haven’t Seen Any Aliens Because They’re All Dead
Also see the "Modern Algebra - Visual Group Theory" online course and video lectures by Prof Matthew Macaule at Clemson:

Course material, videos, and slides: http://www.math.clemson.edu/~macaule/classes/m16_math4120/in...

YouTube Playlist: https://www.youtube.com/watch?v=UwTQdOop-nU&list=PLCc9vhgj7w...
I was talking about myself, in this case. Quite selfish, unlike your comment :)

I use noscript and disabled JS on iOS Safari, for battery life and security. Not a fanatic noscript user at all, it just seems slightly less bad than full js at this point.

Graceful degradation is a better choice than <noscript> tags, where possible. Which, for <img>, it is.

thanks for considering the minority, even if it doesn't pan out :)
I'm using Linux for 10 years now and have to admit it got rather good.

But distribution upgrades are still broken.

I never got a distribution upgrade working. It always destroyed the OS and I had to reinstall the whole thing.

Just last weekend I tried to upgrade my Xubuntu to 16.04 (last LTS to new LTS), which didn't work out.
Yeah, I regularly buy games on my Mac and then install them on my Windows PC.

At the beginning Steam tried to be "smart" and made it really hard to buy a non-Mac game on a Mac which was extremely annoying.
> some sites also have silly JS breakage when you block 3rd-party domains while allowing same-origin requests. They blindly assume that stuff loaded successfully.

Oh yeah, that's the worst. I use uBlock Origin to block third party JS by default, then selectively enable domains I trust (mostly CDN services). This is usually a happy medium between raw and noscript, but it definitely breaks a lot of pages.
> fighting obesity has a lot to do with education

Based on the documentaries I have seen about US obesity, it also depends on your income. Its cheaper to buy junk food so lower income people prefer junk food to healthy food.
A surcharge for obese people because they are obese would be punishing people for their life style. A surcharge based on weight no matter what or why is not nearly as intrusive, and is only making you pay for the resources you use.
It's important for a lot of people and that's why it's marketed like that. It's also one of the most unique aspects of the language, and the primary goal of the entire project.

According to steveklabnik, about 50% of Firefox's critical security bugs were due to memory safety issues (source: <https://www.youtube.com/watch?v=_-fweBvtifA&t=27m20s>)

Presumably you don't think mozilla exclusively hires shitty developers.
Corrie Mckeague and his mysterious disappearance
>These are currently the rules in San Francisco and we do pretty well on the whole!

You say that, yet people are evidently kept awake at night by the thought of little plastic cushions.
"It's astonishing but true - Microsoft really has figured out how to package software for Linux. \o/"

It is not very difficult to create linux packages, writing microsoft has figured it out makes it sound as if its rocket science. It also sounds as if these packages are for 'linux' but the ones mentioned in the article are specifically for CentOS linux.

And as far as i understand they only released packages for CentOS/REHL and Ubuntu. Not all linux distributions.
I have no connection in this case at all, I just read this and started thinking through possibilities.

I'm thinking the search of the landfill was a bit superficial - but then how do you search a landfill site?

Any ideas on the phone tracking: what radius?
Remote Stories: Anonymous stories from remote workers
> Any valid use cases?

I'm personally a fully competent Linux sysadmin, and an extremely incompetent Windows sysadmin.

SQL Server is great, I love .NET, and the only thing holding me back all these years has been the Windows system requirement.
The declining productivity of education
I think Mercedes has a feature called PRE-SAFE Brake which does something like this.
It adds runtime overhead by forcing the programmer to work around the single-ownership rules, via runtime checking (Arc, etc) and more expensive interfaces.

For example, consider a simple thread-local counter. In C this would be e.g. an object in the tdata section, accessible via thread-local addressing. But in Rust, you have to use something like RefCell, which requires runtime tracking of mutable borrows. So Rust's borrow checker inflicts runtime overhead in this case.
All that effort just to avoid something PC gamers did for a long time - check hardware requirements to see if it'll run on their device.
I don't know if it's a futile battle regarding accessibility. I guess if you're a big enough company/group you'd have experts in that area.

Hmm yeah I guess I'm not as up to date with mobile(the stuff you mentioned)
This is the only research that claims progressive images aren't a good user experience though. I can't confirm with electrodes attached to my brain but personally I like progressive images better than baseline and they are smaller too!
Then dispense with the formality and Start pricing tickets like UPS prices shipping

Weight X Distance X rate

Treat humans like Packages, I am sure that will go over well
ILoveYou was an email attachment virus. Email attachments are forever being targeted, games less so.
Of course they decide! They're the storefront owners! They implemented and supported legion locking on their storefront and they dictate the terms under which the software is distributed.

They can easily decide that they won't carry region-locked software (they didn't). They can easily decide to fix their broken storefront to not show misleading and false data (they also didn't).
Porting existing/legacy software to cloud. Though SQL Server is just a part of the stack and you still can't fool software it's running Windows.

But it's like SQL Server on Windows Server Nano - nobody asks for it, because only full system has required tools and features.
How is LOC a measure of productivity?
>>and two tablespoons in an ounce. Or is it the other way around

an ounce is around 30g. A tablespoon has to be half of it and a teaspoon is ~5g
There are two problems in interactive theorem proving.

The first is proving theorems, which is essentially tree search and should actually be amenable to Monte-Carlo tree search. Based on my own experiences, it seems reasonable that this step could be automated within 10 years.

The second is theory building. Which procession of Lemmas will bring you closer to solving your problem? Which background theories and structures are useful for modeling your problem? This is entirely open ended and if you can solve this, you could equally well automate all of programming... All results in the literature for tackling this problem boil down to random search, which probably isn't what humans are doing.

The main problem and the reason why automated theorem proving has so far failed in formalizing interesting mathematics is that these two problems are not separate. There are reasoning principles in higher-order logic which require you to invent new Lemmas on the fly. For instance, in order to perform induction you typically need to generalize the goal statement to obtain a more useful inductive hypothesis. This can be arbitrarily complicated.

I'm sure that this is another problem which will eventually be solved (same as AGI?), but if you can solve it at even a fraction of the efficiency of a normal human then you have just made programming obsolete. It is a simple matter of encoding some refinement calculus in Coq and then synthesising programs by giving examples and constraints...

One last remark, before somebody accuses me of being excessively negative: There are some subproblems for which we have solutions that work amazingly well. For instance, if you are looking at purely equational reasoning, then a computer with a good implementation of paramodulation or unfailing Knuth-Bendix completion is better than any human. Boolean propositional logic is another example where computers are much better. Finally, there are classes of sums/integrals/recurrences/differential equations where again, computers are better.

There are more problems like this, but I'll stop here. The point is that we only know how to solve specific problems. Nobody has ever made any progress in developing a program which automatically explores a theory and finds solutions to new problems. Saying that we will solve this problem within 10 years is the same as saying that we will solve teleportation in 10 years. There is zero real progress in the problem, so what data are you extrapolating from?
> ...you don't know enough about Rust to see why they are promoting it.

If you have to know a lot about Rust to find out why you're using it in the first place, you certainly do have a chicken-or-the-egg problem. And, if the promotion doesn't leave you with a clear idea of why you might want to use Rust, that promotion couldn't have been very successful.
This project is very young, I'd really like feedback from people. Is this something you think you would find useful? What features would you like to see?

I have only been using it a little bit, but found it most useful on larger projects. I have spent lots of time grepping OpenStack repos. Hopefully this will make it easier for me.
I think the idea is not that they shouldn't charge to cover their costs but that they should raise all prices and spread the cost out over all passengers. You shouldn't be punished for being born a certain way. If you choose to be a way that costs extra then it is reasonable to charge you extra but not if there's nothing you can do about it.
Had to do it for the project website. The solution was to generate inline placeholder images and substitute original src attributes with them when DOM is loaded, then back on scroll and click events.

The placeholder images are JS-generated solid color PNGs downscaled to just keep the same aspect ratio. SVGs could be much easier but less supported probably.
In many half-empty flights, the crew allows passengers to freely change seats, after take off. Obviously only a few do, but wouldn't that be dangerous anyway, given your comment on balancing weigh?
> and so I'm stuck with C++

If you're stuck with C++, might as well do it safely:

(shameless plug) https://github.com/duneroadrunner/SaferCPlusPlus
This reference looks nice. Thank you for your comment.
Gopli's README is so plain and just a kind of overview.
So I should write down the process of syncing and notice about key-constraint and so on.
If we keep thinking about the past we will never move forward. Shit happens in our life and a lot of it some it we can control some of it and we can't. It is called destiny my friend. It is not easy to let go of the past but learn to come to understanding that everything happened for a reason. I am sure there are people that loves you and want to share countless moments with you so stay strong fight hard and never give up
Why do anything that makes sense? All I can say about the PHP maintainers' decision process without swearing is that it bewilders me.

Last time I tried configuring a Linux-hosted PHP to do SMTP on localhost:25 instead of shelling out to call sendmail, I found that only Windows builds even have that functionality compiled in. You can apply the same configuration options on a stock Linux build, and they won't cause errors, but they won't do anything, either. Maybe that's changed recently, but it would have to have been very recently, because I ran into this (for the umpteenth time) just a few months ago, while reworking my team's dev environment to allow for examining sent mail without requiring heroism.

I'm not a PHP hater, exactly. I don't like the language at all, but I understand it well and have made a very good living based partly on that knowledge. But the mail story in PHP has never not been a dumpster fire.
A single example coming up as 13 is not remotely enough justification to say 14-15 is wrong.
Hmm, I always thought that checking the hardware requirements for any kind of PC gaming is something that's obvious to everyone. Especially considering the Intel chips not being able to run most of the modern things.

At some point you as a customer need to accept just a tiny bit of responsibility for your purchases, it's not up to companies to babysit you and check if you actually need the thing you're buying. Especially on a storefront like Steam, where you can buy a game on one platform to play it on another.
True. As ever, it makes sense to A/B test these things with your userbase. Their behaviour is more important to your own sites than any research or personal preference.
> Yes, but just what are those states?

That's covered in the introduction.

> Despite these efforts, the structure of liquid water is still not fully understood.

> This suggests that there are of two states in bulk liquid water that differ in the amount of their dipole moment. Unfortunately, a correlation between the dipole moment and the microscopic structure of these two states has not yet been determined.
China plans to increase software patents via examination guidelines
I think it's a bit of a stretch to try and enforce an NDA on a project that has become public

(of course, if there's a technical/commercial detail that is still not divulged this is still covered by NDA)
A big point people in the thread below this comment seem to be missing is that airlines aren't aiming to break even. A tall person on a flight isn't going to make that flight unprofitable. Prices are set based on what people are willing to pay, not the cost of flying them. It makes much more sense to raise prices across the board by a couple $ than waste time and money weighing every passenger you fly, dealing with people who lie about their weight when booking and trying to charge them extra at the airport.

Not to mention there is probably a large section of the populace with an illness that effects their weight that would have to be ruled out of this anyway due to discrimination legislation.
It's the standard speed limit on highways in Italy. It can be lower when the road or its conditions suggest prudence.

It can also be 20 km/h faster on wide straight roads but I still have to see that. I guess nobody is risking the bad press after the first accident at 150 km/h.
Can't you just reason that images coming through earlier is a better experience than not? Do you really need to AB test this?
Ask HN: Have you ever ordered custom icon design?
How did you search for it? Were you satisfied with the process and the results?
TFA references "an American airline". Since we Americans are misanthropes, when we freely choose our seats we have a balancing tendency. Your concern would be more valid for populations who would naturally choose to sit together.
ICQ Launches New Emotional Editor for Photo and Video