skysight-inc/HackerNews huggingface dataset:
The product of 'num' and 'num2' is always going to be a multiple of 'num', so there won't be any error introduced by flooring when dividing by 'num' again.

One thing that can happen is an integer overflow: if you pass (0x10000, 0x10000), icc's and gcc's versions will calculate 0x10000 * 0x10000 = 0, 0 / 0x10000 = 0, while clang will return 0x10000. But clang's not wrong: signed integer overflow is undefined behavior in C, so compilers are allowed to just assume it never happens when making optimizations.
Markdown is quirk mode plain text. That was probably ok for its original purpose but it is not for what it is used nowadays. There are much better plain text like formats around and it's a shame markdown is in the position it is now. IMHO a well-defined subset of LaTeX (or context) with almost plain text markup for the 10 most commonly used commands would have been the better solution on the long run.
Anyone here can share their thoughts on benefits of Delaware C-Corp vs incorporating in Singapore?
>finally at age six did my pediatrician notice that my spleen was massively enlarged (due to working overtime)

Who was working overtime here? Six year old you or the pediatrician? Neither makes sense to me.
Great Yahoo - way to sink the ship.

Yahoo won't be the one and only lucky receiver, hello Google, Apple...
I am of the opinion that in the end strong AI will be a mishmash of many different components with a unified ego which will be simple enough to write once all the other components are in place. And many of the patterns that it will have in its subconscious will mirror those that we have in our which are acquired through various sorts of learning. In the end it won't really understand itself and why it does the things that it does, just like we don't.
In other words, act the same way that most govt legislators would act when asked about any non public relations information...."but sir, I was just following your example..."
One can never know the motivations of others, full stop.
Sounds like you're simply living in the wrong place. Within 30 minutes, I can drive from SJ to a number of great hiking trails or take my road bike to some super fun hills. Of course the streets are empty after 9pm... people want to be able to get outside when the sun is up!
You need to broaden your horizons. There are tons of things to do in the South Bay.

* Rock climbing
* Scuba diving in Monterey
* Bicycling on the bay trail
* Board gaming clubs
* Meetups
* Wineries
* The boardwalk in Santa Cruz

You can even take an hour train ride straight to SF and spend the day with the snobs and homeless. And then take the same train home to a place that doesn't stink like urine.
(num * num2)/num = num2

The division cancels out the multiplication. Just like if you were doing arithmetic on paper as you did in school. There's nothing more to it than that is there? What inputs do you think it's incorrect for in clang?

Overflow is of course undefined.
She wasn't. Then I sold a thing I did and it paid off our house and invested a whole lot of money so that we don't have to care much about our retirement funds.

It wasn't a huge amount of money (about 10m SEKR, in my opinion vastly overpriced) but considering it was a thing I did just for fun in the beginning I am more than happy with the end result.
Recall democratic legitimacy isn't necessarily moral authority. "The tyranny of the majority", etc.
Err, it's always ok, and shouldn't ever return the wrong answer... Unless I'm misreading it.

What arguments do you think it will do the wrong thing with?
Well then add the needed Preemptive move of tasks. Erlang does it and the force behind it was far less funded than most recent stuff like Go...

Ok i am a bit tongue in cheek, but still.
Courtyard of Church of Santo Domingo at Coricancha Temple Site, Cusco, Peru
I understand that webcomponentsjs is a polyfill, but it is a required dependency for Polymer, and until it uses the version with the fix, the issue will be a problem. Anyway, that was just one example of many.
I don't think there is anyone here doubting that premise.
The main reason to use AWS is so you don't need to do anything except calculate profit from your app, at least in theory.
If you need to set up own resolvers or anything else within the AWS there is no reason to use AWS in the first place.
It's really useful to see what key pieces of code look like in assembly (though easy enough to do locally), and reaaaaaaaallllly useful to see what they look like across compilers and architectures.

Instead of finding (or worse, building) a compiler or cross compiler locally and doing all the boring steps to compile properly (harder than it sounds) and disassemble the code, you can just splat some code into this and take a peek.

Less about "assembly projects", more about breadth of info available to a developer writing C/C++.
Considering I spent my youth writing assembler code, I find it pretty upsetting someone from the internet lecturing me on what I was deeply involved with is called. I think I know what I was writing.
i think the primary purpose is to find out what your compiler will do out of your C/C++ program, to see e.g. what optimizations are performed. but who knows, maybe it's also used for actually writing assembly :)
Transform templates to text like a pro
Huh? If a C-corp makes $200k and pays out $100k as salary to the sole owner/shareholder and keeps $100k in the business, the shareholder will pay payroll taxes and personal income tax on that $100k salary, and the corporation will pay corporate income tax on the remaining $100k.

OPs characterization seems correct to me. (That you pay taxes once at the corporate level, and once at the personal level.)
Programming Languages of the Future: Which One Is Taking the Lead? C#? VB? F#?
Aleppo battle: Hopes rise for evacuation of rebel-held area
Cuisinart Recalls Millions of Food Processor Blades After Reports of Lacerations
sure, if you ship broken man pages, people will stop using them.
Yes. I agree with this sentiment fully.

The main connotation which invoked my response was equalling the resentment of following the law unilaterally to the mindset of a criminal organization.
پیشنهاد ویژه تور تایلند در هتل های ۴ ستاره سامویی ورود ۸ ژانویه ۲۰۱۶
If you live in California you have no choice. Even if you incorporate in a foreign state, you'll also need to register your foreign corporation in California.
Hardware Security Module.

> How can the window.crypto API create and use a crypto key that's handled by the browser?

By setting extractable to false when creating the key, see https://www.w3.org/TR/WebCryptoAPI/#dfn-CryptoKey-extractabl...
hey.. patrick mckenzie aka patio11!
It's really cold and wet all the time. Non-compete agreements are valid so prepare to be screwed over if you change jobs. You don't have the California code on your side if you want to do a side project-- it will be owned by your employer. Amazon will work you like a rented mule and that bald guy in charge is creepy as fuck. Traffic in Seattle is worse than the Bay Area (yes really). They can't expand I-95 because they made the decision to tunnel it through a building (long story)
Dr Alex Karp of Palantir Meeting Donald Trump
You CBS Combine a session cookie with a jwt Token That get sent over a Header
He's not named but you can see him sitting beside Eric Schmidt. Why have Palantir been elevated to sit at the top table when Thiel's already there?
Unfortunately some vendors are more concerned about not admitting mistake.

Now, technically if they don't use the admin password they are probably OK. But (A) most people don't change their password. Heck, I work in IT Security and I still have admin passwords on some of my devices! (B) It's always good practice to change passwords ... just in case.
Funny, if you swap the order of the operands in the multiplication, GCC 7.0 with -O3 does optimize it away:

int retNum(int num, int num2) {
return (num2 * num)/num;
}

now becomes

retNum(int, int):
mov eax, esi
ret
Why are scene coders more correct than other coders.

If Agner Fog has no problem calling it 'assembly'[0], then neither do I.

0: http://agner.org/optimize/
"Computational mathematics" is indeed very interesting (and lies at the very core of some type theories), but as a developer rather than a logician, I'm less concerned with the foundations of mathematics and more concerned with the opposite problem: mathematical computation, namely how computation is represented mathematically rather than how math is represented computationally. Functions are a fundamental mathematical abstraction, and requiring them to be computable is interesting, but functions are not a fundamental computational concept, and going the other way to represent computations as functions is what complicates matters when reasoning about many kinds of algorithms, especially those that are not mappings of inputs to outputs.

In other words, I don't think that an interesting way to apply computational concepts (of typed lambda calculus) to the foundations of mathematics is necessarily the best way to apply mathematical thinking to computation. "Computational math" may not be the right math for "mathematical computation". There's an example of this unjustified (although possibly true -- we don't know) reasoning in the introduction to the Lean paper:

> In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do.

The problem is that the kinds of computations relevant in the first case and the kinds of computation in the second case can be wildly different. Computations used in proofs are very much "functional" (map input to output). Computations in real-world software systems that really need formal verification rarely are. The most common type of computation in either category is the least common in the other, so the assumption that the same mathematical foundation (and/or the same tool) should be used for both is unjustified. While the authors use the term "in practice" to preface their statement, judging by their publication history, I'm a bit skeptical of their experience in verifying real-world software.

Nevertheless, Lean does seem like a great way to learn about dependent types, and as you pointed out, the work on dependent types and their possible application in software verification is far from done, so it's very hard to judge at this point whether or not the direction is the right one. In the end, regardless of formalism, the proofs and techniques of software verification turn out to be very similar in all formalisms.
My goodness, if you really insist on arguing this point, here are a few books for you.

6502:

https://www.amazon.com/Assembly-Language-Programming-Lance-L...

ftp://ftp.apple.asimov.net/pub/apple_II/documentation/programming/6502assembly/6502%20Assembly%20Language%20Programming.pdf

Z80:

http://maben.homeip.net/static/S100/zilog/z80/Z80%20Assembly...

https://archive.org/details/Zilog_Z80_assembly_language_prog...

68000:

http://dev-docs.atariforge.org/files/Asm_Lang_Prog_68K_Famil...

https://www.amazon.com/68000-Family-Assembly-Language-Progra...
It's not the Ruby way, much like it won't be pythonic doing like Ruby does. It won't be as clear in Ruby, hence my initial difficulties with the pythonic form despite being similar to the standard mathematical notation.

Ruby has methods, not functions. We call methods of Enumerable to transform list like objects (anything that includes Enumerable) and return another list like object to apply other methods to. And there is also Enumerable::Lazy for some use cases.

Anyway you could open a feature request at https://bugs.ruby-lang.org/issues/ and see what happens. See the two issues at https://bugs.ruby-lang.org/search?utf8=%E2%9C%93&issues=1&q=... first
Donald Knuth calls it 'assembly' in The Art of Computer Programming, which he started to write in the early 1960s.
>HSM

Hardware Security Module. It's a piece of hardware that goes in a server and manages encryption keys for the server without ever exposing the keys to the server. Usually they're made so that it's infeasible to extract the keys even with access to the hardware: they're made hard to open, covered in epoxy, they erase their keys if the case is breached, etc.

>How can the window.crypto API create and use a crypto key that's handled by the browser?

There's a function for creating a key and you get an opaque object back out. You can pass the key to encrypt and decrypt functions. You can save the key object into IndexedDb, but you're still just dealing with an opaque object reference. There is an export key function, but it only works if the key was created with the "extractable" flag turned on.
San Francisco MUNI CTO discloses details of ransomware attack
This entirely misses the point of Markdown: that it's completely readable as a document without needing to apply any kind of visual formatting to it.
There are several studies that show adult neurogenesis from aerobic exercise, particularly running, in rats and mice.

Example:
Physical exercise increases adult hippocampal neurogenesis in male rats provided it is aerobic and sustained.
https:/www.ncbi.nlm.nih.gov/pubmed/26844666

A review article here:
https://www.researchgate.net/publication/5566493_Neurogenesi...

There is at least one study that allows us to infer that the same effects may occur in humans (quoted below).

Please let us know if there are more studies like this. It looks like a very practical approach to improve your cognition and prevent dementia with little risk.

From: http://www.dana.org/Publications/Brainwork/Details.aspx?id=4...

"Columbia neuroscientist Scott Small and colleagues appear to have found a way around this problem. First, they put mice that had been running voluntarily for two weeks into a magnetic resonance imager to map exercise-induced changes in cerebral blood volume, a measure of increased blood vessel formation in the dentate gyrus. Then, by sacrificing the animals and counting new neurons, they were able to correlate the neuronal proliferation they observed with changes in blood volume.

The researchers then conducted magnetic resonance tests on a small group of middle-aged people who had been exercising about an hour a day, four times a week, for three months. By charting exercise-induced changes in cerebral blood volume in the human hippocampal region and applying the same algorithms used in the mice, they were able to deduce that neurogenesis was also occurring in the humans. Changes in blood volume in the dentate gyrus, they concluded, provide a correlate of neurogenesis in humans."

Anecdotal, yet may not be completely coincidental: Alan Turing was an avid marathon runner. This is not part of the argument--so please don't take it into account when responding. ;)
Comparison of GeChic 2501c Portable Monitor
If you're eligible, I think you should run for office.
I wonder if there are CEOs who would be comfortable doing as little as possible all day long for years.
You know they're serious when they have a Bridgeport at home. (Not a Jet.)

Want a business that's machining-based but needs better software? Design and make injection molding molds automatically. Injection molding is incredibly cheap per unit, but the molds cost too much (average is around $12,000) and may not work right the first time. Mold design requires highly experienced mold designers.

Make that process easier. Be able to start from 3D printer type models.
Advise the naive user interactively on how to modify their part for easier injection molding. Figure out all the flow and cooling and release stuff automatically.
To be fair, pretty much every MD5 discussion I've ever seen or been involved in (including with "security expert" former coworkers) has had someone making the same claim.
"intelligent AI"... so IAI?

sorry, couldn't resist ;-)
I don't know about regulations, but Uber has made traveling around my city a cheap and pleasurable experience for me, which was certainly not the case before with the so called "legal and regulated taxis", constantly offering shit service and outright scamming people. When it seems like the regulations are not helping consumers, it's only natural that the consumers will not care if a company follows them.
Νέο Site Για Την Εταιρεία Αποφράξεις Αντωνίου – PMAR.GR WEB DESIGN SEO MAGAZINE
Body weight exercises such as pull-ups, sit-ups, and push-ups are the best for fitness.
I don't think anybody is claiming it's not called assembler, just that it's also / mostly called assembly. fwiw I wrote some [machine code via mnemonics] in the '80s (admittedly not lots) and assembly sounds more normal to me.
really nice project - i was playing with compilers and javascript a while ago see http://embeddednodejs.com/compiler - as a simple experiment to learn about javascript's role in compilers
'Jeopardy' champ dies of cancer before show aired
How Long Before AI Systems Are Hacked in Creative New Ways?
> the complexity involved in finding a collision for a specific hash

If it can be shown that a preimage collision can be computed in less time than an exhaustive search, the algorithm is generally regarded as having a weakness, even if the given "less time" is still a very very long time.

The theoretical complexity of MD5 is 2^128, but a preimage attack was discovered in 2009 which showed that a collision can be found in 2^123.4. [1]

Collision attacks against MD5 have become more practical, there are even frameworks for it [2]. The complexity of 2^123.4 still makes a preimage attack against MD5 computionally unfeasible, but given that it's been shown to be weaker than its theorerical 2^128, it's possible that MD5 has other weaknesses which would allow the complexity to be reduced to a level that is computationally feasible.

[1] https://www.iacr.org/archive/eurocrypt2009/54790136/54790136...

[2] https://marc-stevens.nl/p/hashclash/
changed to strong ai.
I love that hack:

module.exports = Module;

// Do not recurse into module and waste all day
Module.inspect = function() { return '[Module]' }

from
https://github.com/fabiosantoscode/require-emscripten/blob/m...
I think, and correct me if I'm wrong, but I think he's saying that semver's system that forces major version bumps for breaking changes is good because it discourages the maintainer from making breaking changes more frequently than he is comfortable releasing a new major version. That is, the effect of getting a maintainer to batch up breaking changes in exchange for version consistency is positive, and thus semver should not be changed as you propose, because it would decrease the cost of releasing a breaking change.
It might have established meaning in the US, but we prefer to rely on a version that makes sense in the UK.
I'm surprised these shitty / declining areas don't take advantage of

I'm not. If the smart people keep leaving then the quality of decision-making is virtually guaranteed to decline.
interrupts in out-of-order processors were the topic of last's week coursera comparch course https://www.coursera.org/learn/comparch - nice to see the discussion for a smaller machine
Why are scene coders more correct than other coders.

Because they've written more applications in assembler than anyone else in the history of computing. Look at Aminet, and csdb.dk, and that's just Amiga and C=64, I haven't even included the Spectrum, Amstrad CPC, Atari ST and PC.
I thought multitasking had been shown not to exist.

Since these people's minds don't wander I expect another study showing how Running is the Non-Creative's Sport.
Clearly Reagan's quote was a warning to us about a future GOP President...
Yup, booters are pretty scary stuff. And some so-called allies are even protecting the bad guys as well. Luckily, it seems the authorities are trying to get some of the bad guys https://krebsonsecurity.com/2016/12/operation-tarpit-targets...
These are troubled times.
This seems like a nice idea on the face of it, but it's a lot less simple (who decides what's major and what isn't) and plus, when you introduce a "small" breaking change you have no idea what impact that's going to have downstream. It could be a really big deal for a client. The fact that it's a breaking change by definition means it's going to be a problem for someone and you really have no way to know how deeply entrenched that small piece of API surface is.

What bothers me about the current trends in release management is that there is way too much emphasis on iterating quickly, even for libraries where that's completely inappropriate.

It's much better to just put all your breaking changes into an unstable branch and only merge to stable (and change version numbers) infrequently, when you're sure the dust has settled. Anyone that really needs the latest updates can pull the unstable branch at their own risk, but everyone else doesn't have their build broken every other day. This is a really serious problem in the JavaScript ecosystem right now (even disregarding the left-pad debacle).
funny illustrations
One optimization I've always found impressive:

#include <stdint.h>

uint32_t testFunction(uint32_t x)
{
return ((x & 0xff) << 24) | ((x & 0xff00) << 8) | ((x & 0xff0000) >> 8) | ((x & 0xff000000) >> 24);
}

compiles into:

testFunction(unsigned int):
mov eax, edi
bswap eax
ret

Another fun one, that only works with clang:

#include <stdint.h>

int testFunction(uint64_t x)
{
int count;
for (count = 0; x; count++)
x &= x - 1;
return count;
}

compiles into:

testFunction(unsigned long):
popcnt rax, rdi
ret
From 2009: a preimage attack reduced the complexity from 2^128 to 2^123.4 [1].

It's still a big number, but it's less than the theoretical complexity.

[1] https://www.iacr.org/archive/eurocrypt2009/54790136/54790136...
Adopting DNSSEC
So, You Want to Be a Computer Programmer…
It's difficult for me to understand how these types of things (specifically, the order by California to halt testing of self driving cars) can happen at a company as ostensibly as sophisticated as Uber.

There are two possibilities:

1) Uber had no idea it was illegal to begin testing cars in San Francisco/California without a permit, or somehow otherwise messed up getting the permit.

2) Uber knew it was illegal and didn't care or was a positive, probably because any potential penalty is essentially negligible, and free publicity results from a kerfuffle with a state regulator, reinforcing Uber's image as risk taking and cutting edge.

Option 1) beggars belief for a company of Uber's size. There are numerous legal issues around self driving cars and it would be very strange to devote millions to R&D without having at least SOME resources devoted to examining the legal and regulatory environment. The most basic question of all when testing a car... "do we need a permit for this?". It's difficult to imagine this falling through the cracks anywhere.

This leaves only option 2) in my mind, strange as it may seem. Maybe I'm giving them too much credit...
Take it up with the people who thought it was a good idea. All the above is sneaky. Just talk with people up the chain if someone is following orders from someone else. If that means you end up in the white house, so be it.