skysight-inc/HackerNews huggingface dataset:
"When you are using Undefined Behavior, you are not using C."

Yes you are using C when you're using undefined behavior. It's one of the cornerstones of C's "design." The standard is poorly defined enough that different people building C compilers will come up with their own interpretation of what specific, legal, C statements mean. These are statements used in real projects that also compile with real compilers. The massive problems that resulted led to static analyzers and compiler checks for undefined behavior. Plus, people recommending you avoid it wherever possible for predictability, safety, and security. It is legal C, though.

Whereas, in languages like Pascal or Ada, you could express similar operations with their semantics making it totally clear what you could expect. They'll either not compile or include runtime checks to avoid similar problems wherever possible. C's designers just didn't give a shit: they were using what modifications of unsafe BCPL they could to squeeze max performance & memory utilization out of a PDP-11. Wirth's Modula-2 at least gave a clean language with many checks & sanity by default that you could selectively turn off if absolutely necessary. Not C, though.

So, it's legal, real C designed without safety, clear semantics, and so on. Different projects implement "real C" differently due to unclear semantics. Different, broken executions result.
Well, they definitely don't do any pointing-and-calling.

This might be a good subject for a study - compare both rail systems, does this really lead to higher performance and lower accidents?
- FLAVOR: Ubuntu Desktop

- HEADLINE: An option to automatically reopen applications that were previously running, after a reboot.

- DESCRIPTION: Not sure what else to say. MacOS has that.
Are you talking about ligatures?
A tear for the old skool.

Never again shall the sun of youth shine again

nor my code wander tended glades with wonder plain

and vigor unbound, exposed, unashamed, all in one

world
Before I read the post I thought how I would solve it. Dynamic programming starting from end states should avoid lots of redundant work. Also making sure to sort the players by money, to reuse symmetries.
Unseen Apollo
I never said easier. You just add a bit of redundancy for some events. This is not a "safe" system.
Rituals can be tricky things: when perceived as meaningful they can be beneficial, engaging, focusing.

When perceived as futile and hypocritical they become soul crushing.

Please be aware of this instead of just downvoting JohnJamesRambo's comment.
Ask HN: Why use Python?
I didn't even see you beat me to it. You should also link to KCC when you bring it up. Developers love practical stuff they can download and use to their benefit. :)

https://news.ycombinator.com/item?id=14012891
TL;DR: Users have been conditioned to think HTTPS means "legit site", the sky is falling.
I guess Ububtu is waiting for Debian to update to BIND 9.11, but Stretch is still on 9.10. It is a pity the next Debian release is not on 9.11 since that will be an ESV branch. https://www.isc.org/downloads/software-support-policy/
I tried it with powerline, but the characters don't align properly, the arrows are 1px higher than the other characters.
When I was a kid the Shuttle was going to launch every week, but that turned out to be impossible given the amount of rework it required, the most flights it did in a year were 9, and it averaged around 4.5.

Forget the 24 hour turnaround. If SpaceX gets to the point where they have weekly launches it will be utterly delightful and amazing. Essentially to do that they have to not only make re-use work well, but also have to pass cost savings to customers to increase demand.
I scrolled down to see if this was an april fool's joke. It's not in you are wondering.
Modsy | ONSITE | San Francisco, Portland, Salt Lake City | 3D Web + Full Stack Engineer

https://angel.co/modsy/jobs/217720-3d-web-engineer

https://angel.co/modsy/jobs/184657-full-stack-software-engin...

Modsy is a fast growing, SF-based startup that allows you to see inspirational designs and decor within the context of your own home. Using a combination of 3D art and computer vision, we allow you to "try on" furniture in your own home before you buy it. Our product is brought to life by a diverse and talented team of engineers, artists, designers and creators.

We're first movers in a fast-growing space that will become the future of home design. Check out modsy.com/portfolio and see if you can tell which of our images on our site are real vs. renderings (hint: they are all renderings). Our stack is React/Redux/WebGL + Django/Python.

We do a phone/in-person interview with the Head of Engineering (me), phone call with one of our engineers, and then one day in office to meet the team.

Drop us a line at jobs@modsy.com if you're interested to learn more! We'd also love to talk to anyone who leans more toward pure front or back end engineer.
Considering the original comment to which I'm ultimately referring, can you actually imagine such as situation as it relates to humans and "artificial gravity"? Presumably we're talking about the scale of a space craft or station...
Except in Hong Kong. Obviously liberty for their citizens is the one to pick so the US easily comes out on top.

However if you pick percentage of their population they imprison or civilian death toll in expansionist/imperialist conflicts? Or scope of global assassination programs?

But a point by point comparison is not really the point here is it? Obviously the American system is more capable of checks and balances than the Chinese system. That arguably makes the massive failures to use them worse. We disagree on what the word "trying" means regarding a state's actions I suppose. That seems fair, it's a fuzzy idea in this context.
this is a good article.

but, it seems like deaths caused by accidents in manufacturing plants are more clearly measurable than deaths caused by chronic stress in, say, nursing, corporate law, wall street high finance or programming, etc

also, it's quite possibly easier to reduce or prevent deaths by accident in manufacturing plants because the cause/effect linkage is direct. but psychological stress is not so easy to measure and reduce.

so, the system is biased toward being horrified at manufacturing deaths and then instituting active systems and safeguards to prevent those deaths.

but some lawyer who has a heart attack at their desk while trying to finish up a huge workload -- how do you put a guard rail against that?
This is an abuse of Rice's theorem (which seems to be getting more common).

Rice's theorem says that no program can correctly decide what an arbitrary program will do, not that no properties of programs can be proven. There are useful programs about which non-trivial properties can be, and have been, proven, and Rice's theorem is no limit on the complexity of an individual program about which a property may be proven, or the complexity of a property which an individual program may be proven to exhibit.

Usually programs with provable properties have been intentionally constructed to make it possible to prove those properties, rather than having someone come along and prove a property after-the-fact.
This is called Hydrostatic equilibrium[1] and is one of the factors at play when determining if a body is a dwarf planet/planemo.

[1] https://en.wikipedia.org/wiki/Hydrostatic_equilibrium
But you either have to use unique ptr (then passing the pointer around is a pain), or shared ptr (then you pay a runtime cost of counting). In idris the type system deals with these things better.
Of course this leads into the realistic aspect of science fiction... sufficiently advanced drive technology is indistinguishable from a weapon of mass destruction. We love to talk about fusion drives or antimatter reactions propelling us beyond Earth, but the truth is that such technology has a very dark side and one we're historically likely to exploit.
Suppose you've gotten used to doing this and have the pointing and speaking sequence and associated actions such as reading gauges thoroughly memorized.

If at that point you replaced actually pointing and speaking with just visualizing and audiolizing [1] that you are pointing and speaking, respectively, would you retain the performance improvements?

[1] There does not seem to be a widely accepted word for the audio equivalent of visualizing. Some discussion: http://english.stackexchange.com/questions/1635/visualized-e...
This[1] Stack Overflow question sums up everything I dislike about shell scripting. Not only does it highlight the finnicky string-oriented nature of it, but the answers...

Multiple contradictory answers, disagreement, sub-sub-sub explanations, historical context, caveats, workarounds, hypothetical scenarios, portability, personal taste, different versions and implementations all show up. One answerer felt the need to include a footnote.

It's like the opposite of Python's "there's one right way to do it": There are 50 right ways to do it, all of which are wrong in some case or another, potentially depending on which way the wind is blowing.

All in regards to checking for an empty string.

[1] http://unix.stackexchange.com/questions/136628/bash-script-x...
You're right - MII and it's derivatives are fairly standard. I agree that the MAC -> CPU interface is the root of a lot of the complexity that the author writes about. However, that still sort of serves to illustrate my point: the software to interface with the MAC is the chunk that introduces the most variability. Standardize that and a lot of your problems are solved.

Integrating a bunch of analog/digital/vice versa fabric onto the same die is not a tenable solution to this particular issue. I'll admit the concept is mildly intriguing, but I think you'd find quickly that the silicon demands for a DAC/ADC of the quality needed to emulate any high speed waveform are a little out of reach fab wise. Too much space, not enough drive speed.
Here in the UK it shows as Celsius and m/s

MPH would actually make sense here but they don't even use that. Really strange.

[EDIT]: I just tried it in a private tab and sure enough get Fahrenheit and MPH. It can't be that hard for them to localise this.
Well... credit for solid intuition then.
First they came for the Kuiper belt objects, and I said nothing because I do not live on a Kuiper belt object...
I think it is important to distinguish between morals-as-statements and morals-as-actions. All GP is saying is that the actions of the Chinese state, while against western morals (as stated), are permitted by the (in)action of western states. They're not claiming western moral superiority (which would admit such a tu quoque argument as you present), or claiming that western states act morally (which as you point out is demonstrably false). I think you're reading too much into it.
More on the Navy usage can be found in David Marquet's book: "Turn the Ship Around" about his time improving training / operations on a submarine he commanded. Every one had to announce their intention to do an action before actually doing it, this gave others the chance to identify when someone was going to take an incorrect action before it happened.

It's a really great, short read that I'd highly recommend.
I have a security background and I've found (minor) security bugs in lastpass before and yet I still use it.

I use lastpass because it is safer than what I was doing before using a password manager and most inconvenience I'm willing to put up with for my day to day computing.

I like to think of it as a convenience vs security chart of password schemes and for me lastpass is on the pareto frontier of it and happens to be the most convenient option on that frontier.
This is kind of silly... this is really a problem with the human obsession with creating taxonomies and classifications of natural phenomena, when natural phenomena are basically collections of atoms that have very fuzzy boundaries. Clustering algorithms are, in general, very subjective, and it's no surprise that our scientific efforts to "cluster" everything often produce counter-intuitive or undesirable results at certain boundary cases.

It's the same problem with biological taxonomies - is a lungfish a fish or an amphibian? The reality is it doesn't matter apart from the artificial taxonomy we impose on it so that our brains can better cope with the complexity of the Universe.

Perhaps a better (but more annoying) way of classifying everything would be to use hierarchically clustered taxonomies for everything, so that we could make statements like "Earth is considered a planet if we cut the dendrogram at level 5, but a dwarf planet if we cut at level 4, etc".
Well, exactly as much as any other cpus can do by solely controlling it's output electrons: not much. Let's not ascribe deity-like powers to things that we can understand fairly well.
Second world war stories that are considered best
It's not though, they clearly put a lot of effort into these things. It's just a marketing exercise.
Airtame (https://airtame.com) | Copenhagen, Denmark | Full-time, Onsite or Remote

Airtame is a fast-growing startup in the heart of Copenhagen. Our wireless streaming solution helps people work better.

We're currently hiring:

* Web Developer (https://airtame.com/jobs/web-developer)

* Senior Software Engineer in Test (https://airtame.com/jobs/senior-software-engineer-in-test)

* Embedded Linux Engineer (https://airtame.com/jobs/embedded-linux-engineer)

* Senior Application Engineer (https://airtame.com/jobs/senior-application-engineer)

* Full-Stack Engineer (https://airtame.com/jobs/full-stack-engineer)

* Infrastructure Engineer (https://airtame.com/jobs/infrastructure-engineer)

* UI/UX Designer (https://airtame.com/jobs/ui-ux-designer)

* Senior C/C++ Software Engineer (https://airtame.com/jobs/senior-c-software-engineer)

* Technical Support and Network Specialist (https://airtame.com/jobs/tech-support-network-specialist)

Our talented engineers are given significant ownership and responsibility over projects. We value rapid iteration, continuous integration and testing, and we are serious about producing high-quality, maintainable software. Frequent code reviews, linting, and pairing are all integral components of our engineering culture. We encourage experimenting with new technologies and constantly challenge ourselves to improve our code, processes, and systems.

You can read a bit about our values on our Company Culture Trello Board: https://trello.com/b/ZXs2YYy6/culture-airtame

Send an email to tech-jobs@airtame.com if you're interested. We can sponsor work visas for non-EU applicants.
Could you elaborate on the idea that hermetic magic is purely functional? How does a practitioner make a state transformation in oneself?
Can you name any company with 1000 employees or more that has used NeonCore? Or are you talking about other tools? That's really the crux of the situation, the packaging & intent - not the individual features in vacuum. I've seen plenty of people open CD trays and swap mouse buttons for left handed use, but none of them use popular trojans like NeonCore or Sub7 to achieve these tasks remotely.
This helps a lot when coding too! Specifically when debugging. I am lucky enough to have my own office so I can do it without disturbing others.
I definitely support that. Many tips I give to people for their projects came straight out of 1960's-1980's CompSci or industrial work. It has been a ridiculous amount of effort finding all of it, though. So many silos. It needs integrated on a per topic basis, cleaned up, an executive summary, and references available for follow-up. Preferably with FOSS tools if it's an analytical method, language, etc.

Then, people might quite reinventing the wheel or missing obvious things as much as they do now.
It's not a business, it's a non profit founded by Elon Musk, Sam Altman and others, with $1 billion in committments to funding.

How is this controversial? Just because some people know each other?
That would be my take on this too. If you get code written by people who don't know the language, the result is pretty much always dreadful. I know of no language that mitigates this.

However, I'd be interested in which parts of Racket and CL klibertp thinks are making them better languages than clojure.
Or don't accept requests from known Tor exit nodes and open proxies. Lists of these do exist, though you'll have to pay.
I've looked at all the providers and couldn't find one that was flexible enough and also isnt overcharging, I.e. paying for the service, credit card charges, payment gateway, etc.

That said, I've found cheddargetter to work quite nice. Has an API, includes the payment gateway, and provides enough flexibility for custom prices per subscription. So far I've implemented three startups with it.

Hope this helps.
Scala with Emacs + Ensime
In interview what appeared to be a potential-hire's strength - became a real nuisance when we hired him. We wanted someone who could do both android and iOS. He was a senior, had enough to showcase and plenty to 'talk about software architectural things'. It turned out, he was jack of all trades (python, java, objective-c) but he really-really struggled at designing software but he could talk through people and walls. And then he formed a bad habit of mailing in out-of-hours to group that somebody's else code has this problem - how to fix, so on and so forth. Initially we didn't know of what to make of it. He could small bug-fixes ok. Then we assigned a good chunk of work in new project. And boy, did he create a mess of it. Since he was lagging behind from dates assigned - we sat for a code-design-review. I sat in horror that day on how confidently he was presenting to what was not even a freshman's work. He didn't have a clue on why blocking calls should not be made on UI thread. We didn't give any good work to him later. He left us soon and last time I checked - he was a CTO of a mobile development shop! N
Any write up about the errors they found? Are they a problem with SCOOP as such or an implementation issue?
No democracy without ostracism? Who would you kick out?
I'm not conflating anyone's morality with actions of their state. I'm challenging the assumption of moral high ground that underlies the premise of the argument.

As in: "Country X has these strong morals but isn't following them" and I reply "Country X doesn't have those strong morals".

Please, please believe me that when I tell you what I'm trying to say, that I'm being truthful.
I scrolled to the end and can see why someone would question that. But framing it as a personal grant is misleading. If we're going to keep telling users that on HN we want them to make substantive points thoughtfully and apply the principle of charity, it's only fair to say so here as well. We like pith, but fairness more.

(In case anyone is curious, I don't know anything about the story; I just saw it on HN.)
Good Haskell style already presupposes top-level type annotations.
"Properly speaking, a man has as many social selves as there are individuals who recognize him and carry an image of him in their head." -William James
There is plenty of material online explaining how all of this works, but you will have a lot of trouble finding primary sources from the companies themselves because they hide it behind "contact us for more information" gateways.

That said, here are a few terms to search as a starting point:

* Ad exchange

* Real time bidding

* Search retargeting

* Data management platform

* Demand side platform

Here are some product names:

* Doubleclick Bid Manager

* Google tag manager

* Google AdX

* Adobe Media Optimizer

And some companies to look up:

* AppNexus

* Bluekai

* Excelate

* Celtra

Finally, I'd set up your own AdWords and Facebook advertiser accounts to play around.
I don't see a discussion of the actual technical definition. Only bad semantics.

Wikipedia, in brief: "In the end stages of planet formation, a planet will have "cleared the neighbourhood" of its own orbital zone, meaning it has become gravitationally dominant, and there are no other bodies of comparable size other than its satellites or those otherwise under its gravitational influence."

Note that this definition has to make an allowance for Earth, because our moon is "of comparable size" by some definitions, but it is also under Earth's influence. (Pluto and its moon co-orbit a point beyond the surface of Pluto so if Pluto is a planet why not Charon)
Not necessarily be ripped out but it will heat up substantially.
I may be overly paranoid, but the majority of what Fuscia is trying to accomplish is extremely bad for open platforms.

The outcome of moving drivers to user space will be proliferation of binary blobs and black box drivers. If you think binary GPU drivers are bad now, imagine an "open source" OS where every single driver is a binary blob. It will become impossible to run Fuscia devices on any other operating system because you have no drivers, sealing off the Android platform permanently.
hehe i think you can engineer a solution for addiction
I've regretted hiring a few developers who have been apathetic about the actual software product we're making.

I am sometimes too optimistic about a technically proficient candidate sharing these traits, during the interview process.

After hiring they are depressingly unexcited about delivering a new feature that promises business value, significantly improves performance etc. It's just work to be done.
Samsung Galaxy S8 Specifications and Review – Digitalample.com
Not to start a war, but Python's "there's one right way to do it" is nothing more than an ambitious claim with little ground. Maybe it applies for doing something brainless like printing a string, but the claim completely falls apart when trying to do something as simple as list indexing/slicing or even iteration. I'm not condemning Python in anyway, I am a fan of the latter mention features, but that "zen" of Python is not applicable.
I've thought about that recently. The right type of skepticism came out of the election. I'm grouping all sides/factions together and, I may be wrong, but I don't see it as an increase in critical thinking. I just see it as an outright dismissal of the credibility of any information coming from the nebulous establishment or mainstream, accompanied by an acceptance of any conspiracy theory that paints the mainstream in a negative light. It's skepticism that discriminates based upon the messenger, not critical analysis of the content of the message.

I joke, but I also weep knowing that if there were an article that claimed that either candidate supported relaxing or increasing regulations on the chemical dihydrogen monoxide, a significant number of people would think it was a serious issue without actually researching it.

Just my 2c regarding PewDiePie: He may be a youtube star, but he not a comedian and not humorous IMO. Don't make jokes about touchy subjects if you aren't exceptionally funny or have a very thorough and intimate understanding of the subject. There's a reason Louis C.K. can do skits on controversial subjects without being pilloried, he's not a crass amateur. If no one laughs, at best it comes off as insensitive. Also, his fan base is primarily 12-15 yr olds, not exactly old enough to understand the subtleties of satire. Kramer's racist rant post-Seinfeld at least was aimed at adults.
Ask HN: Any recommendation for affordable SEO expert for a bootstrapped startup
Synology Bug Bounty Report from BambooFox
I was wondering before if it would count as a planet if it wasn't bound to Earth. It is around 6 times more massive than Pluto. There are also other, bigger moons in our solar system, such as Ganymede, which has about half the mass of Mercury (but also has a bigger diameter, due to being significantly less dense).
There are three sponsor companies from Waterloo (granted, not the big ones) so not ruling out something in Waterloo
Slashdot turned itself into 'Slacker News' today...

https://news.ycombinator.com/item?id=14010623
Narratives and statistics of current economics
Do you carry that watch-making equipment on your wrist along with your watch?