skysight-inc/HackerNews huggingface dataset:
AND might give some inmates a sense that while the government did put them in prison to begin with, government isn’t just there to hurt you. The government also provides services that directly benefit those in the society.

AND, maybe they will want to pursue becoming firefighters or other similar jobs once they leave prison.
There are many contexts where defining either 1/0 = -1/0 = ∞ or 1/0 = +∞ and –1/0 = –∞ is better than the alternatives, especially when working in an approximate number system like floating point.

In geometric modeling kinds of applications, I would say that these definitions are typically desirable, with 1/0 = undefined only better in unusual cases. As a simple example, it is typically much more useful for the “tangent” of a right angle to be defined as ∞ than left undefined.

But anyhow, there are no “facts” involved here. Only different choices of mathematical models, which can be more or less convenient depending on context / application.
Facebook's reappropriation of a well-understood term in academia doesn't mean it's not ambiguous... If anything, it's disingenuous.
Sometimes you wish copyleft licenses were still popular...
Hey look, /r/badmathematics is leaking
> We’ve now established that if we choose some constant C, then defining division such that x/0 = C does not lead to any inconsistencies.

There is no proof in this post that 1/0 = 0 maintains consistency. Rather, it contains refutations of one or two arguments that claim inconsistency, along with appeals to authority.
TRAGIC MISHAP on Binging with Babish
If division by zero is not undefined, yes. But how does this disagree with the assertion that it's mathematically inconsistent (as opposed to programmatically inconsistent)? If any case exists that leads to a logically false conclusion, then it's not logically consistent.
I've been doing my Vulkano learning on a mac about half of the time. MoltenVK makes it good enough to get things going.
"Is it fine for me to pressure and suborn an electric company into cutting off service to someone I don't like (after all, without electricity, they can't make those bad internet posts!). If I can rile up enough of an internet mob, can I get them evicted from their residence, simply by annoying their landlord until the trouble's not worth the monthly rent cheque?"

The really funny, and by funny I mean sad, thing about your argument, is that you're all upset about this happening to racists and bigots, but you completely ignore that this was a fact of life for many of the marginalized communities that they terrorize.

"I've seen firsthand these tactics used by internet mobs and it's a very ugly process, and it's not something whose prevalence I'm happy to see expand."

You know what's even uglier? The tactics used by white supremacists to terrorize marginalized communities.
There are many similarities between oppressive states and large corporations, but they are not the same. If there is a market for a spectrum of biases in the media, which there clearly is, the spectrum of those biases will manifest in available media, which it has.

Your parents have chosen the lense through which to consume information, so have you. This is not a luxury afforded by an oppressive state.
Asking someone for more than criticism of a topic isn’t criticism or entitlement, it’s engagement.

If I were to have blindly said the program is more than you have ever done for the encarcerated, without knowing your experience, fine, but I didn’t do that.

I personally have served as legal counsel to untold numbers of detained immigrants and criminal defendants. I coordinated the legal representation of all the Haitian minors in the 2008 Hallandale Beach Haitian boat crisis. I have made complaints against guards in the Chrome Detention Center for referring to my client as a bitch in front of me specifically referencing my clients physical appearance as a result of a hormone imbalance that gave my male client breasts. I have filed motions for fraud upon the court against the chief broward county prosecutor against the interests of my own career. I know a thing or two about the system and the ugliness of the system, and tried engaging you and your generic response about declaration of human rights and the constitution to support your criticism of this program. And your response is to lash out against white males because their excessive privilege and suggesting my demand is ridiculous, that’s very interesting.
Why do you think homocide rates are somehow correlated with legality of drug usage?
What? iPhone 6s and newer supports NFC.
Zig defines checked versions of mathematical operators in its std lib [0], which return an Error Union. It's like an Optional (which Zig also has), but with an error instead of null. Your code can choose to handle this error however it wants.

[0] https://ziglang.org/documentation/master/#Standard-Library-M...
S/KEY one-time password system - Lamport's scheme
> Let you write Java-style code in Rust?

Yep

> Why would I use this?

You wouldn't. It's a toy
Not much at all, all .vue files in the components directory gets registered globally, so if you create a Navbar.vue file, you can use <Navbar /> anywhere in your theme. Easiest templating system I've ever used. If you learn a bit of how passing props work, you're golden!

Some info on vue single file components:
https://vuejs.org/v2/guide/single-file-components.html

Props documentation:
https://vuejs.org/v2/guide/components-props.html
It is absolutely impossible. There is no conceivable way to secure an electronic voting machine, especially one wired to a network. These machines solve a problem that does not exist with methods that are not necessary or well suited to the task.
While Vulkan is a better abstraction for modern GPU hardware, I’ve always thought OpenGL better mapped to how humans think of 3D scenes, and imposes relatively little* tedious boilerplate on the developer. If I wanted to get a quick experiment up and running that just shows a model and maybe using a few shaders, I know which API I’d rather use. If I wanted to make a simple, non-AAA budget game without using Unity or Unreal, I know which API I’d rather use.

Vulkan, to me, is the assembly language of graphics APIs. Few should need to drop down that far, but those who do really need to.

*The exception being platform-specific window management which has always been terrible, but mostly solved by compatibility libraries.
Ah, of course. Still, this definition gets you to something stricter still -- the "things that normal people think of as numbers" are closed under those operations. (Depending on what happens for overflow and 0/0, I guess.)
I like walking to town though the park and listening to a good podcast (through the phone's speaker, I don't bother with headphones.)

Also sometimes when I've spent time indoors on the PC/internet I realize that sitting outside with a book would have been better.

I s'pose that access to nearby walking routes and some sort of garden can be a big help here and I'm lucky in that respect.
Users' Reference to B (1972)
they are already in jail for committing crimes and are offered between status quo or to fight fires. they are already in jail, so you cannot threaten to put someone into a situation they are already in.
Pssht, don't tell them :D
They're already in jail. The work is not mandatory. I'm interested to hear arguments from prison abolitionists but this is just hyperbole.
This is "Worse is Better[1]" engineering at its most infamous. In order to make the interface consistent and simple you take the exceptional case and just make it work the same as all the other cases. It goes with the "Worse is better" credo that "it is slightly better to be simple than to be correct". Also "it is better to drop those parts of the design that deal with less common circumstances than to introduce either complexity or inconsistency in the implementation". So throwing an exception on division by zero or returning some complex thing like NaN is too much complexity, so we just return 0.

[1] https://en.wikipedia.org/wiki/Worse_is_better
https://www.newyorker.com/magazine/2017/02/27/why-facts-dont...

https://www.theatlantic.com/science/archive/2017/03/this-art...
GPL, LGPLv3 or commercial.
So You Think You're Customer-Driven?
I'd work with a sampling procedure before the certification combined with using humans if below a certain threshold.
This is explicitly talked about in OP about 2/3 of the way down the page. "If 1/0 = 0, then 1 = 0 * 0" is untrue. Your argument is "1/0 = 0, so multiply both sides by zero: 1/0 * 0 = 0 * 0, and then take 1/0 * 0 = 1 * 0/0." That last step isn't the case for reasons covered in the article we're ostensibly discussing.
I don't think so, it seems to give better results if you select domain available
Is anyone surprised?
OK but that doesn't have a lot to do with what TFA is actually talking about.
A Botulism Outbreak Gave Rise to America’s Food Safety System
Where did I say anything about computers? I’m referring to real numbers.
Just a design note on your product landing page: the big gradient "responsivedevices.css" in your hero looks like a big CTA button, although not clickable. Might want to change that, or make it direct to something.
‘BlacKkKlansman’:How Black Detective Ron Stallworth Infiltrated the Ku Klux Klan
Within the broad range of violent deaths, the core element of intentional homicide is the complete liability of the direct perpetrator, which thus excludes killings directly related to war or conflicts, self-inflicted death (suicide), killings due to legal interventions or justifiable killings (such as self-defence), and those deaths caused when the perpetrator was reckless or negligent but did not intend to take a human life (non-intentional homicide).

https://en.wikipedia.org/wiki/List_of_countries_by_intention...
Not to be pedantic, but one of the author's own examples involves pi inverse, so I think discussing FP numbers is valid.
1/0 = +infinity; 1/+infinity = 0; simple.
The original Show HN has some explanation on how it works.
https://news.ycombinator.com/item?id=16686005
When dealing with integer quantities and together with modulo, it's pretty natural. n/d gives the integer result, n%d gives the rest. n/2 for example always gives you the "middle" element. And in e.g. a loop where you e.g. transmit elements in blocks, you handle full blocks n/blocksize times, followed by a partial block with n%blocksize elements.

It's not always what you want, but it's pretty reasonable. The alternative would be if it always rounds up, which seems weirder to me. I don't think rounding to the nearest integer makes sense with integer quantities at all, that's strictly a real number operation.
What encrypts the vote? The machine I don't (and should not) trust?
If Jones was truly silenced by Apple, Google, FB, and Spotify, how is it he also has a larger audience?

Removing him from their list is a minor inconvenience, looks nothing like the worst acts of censorship in human history.

You know how you can find Alex Jones: google.com, duckduckgo.com

It was a superficial act. You seem to get that by labeling it a failure.
i'm sure the neo is flying off the shelves at $50 ...

it's awkward enough for desktop use that push to mobile is a superior UX
Ah yes, pointing out the existence of a privilege system built on racism, and a relationship between privilege and entitlement - the hallmarks of casual racism!
You use the tool as it is intended. With Keybase if you are opening and working directly from the Keybase folder that is mounted then you are using it wrong, so your scenario wouldn't happen if you are using Keybase correctly.

The point I was trying to make is that for many people being able to copy back and forth between a local folder and a mounted directory is no different than what they do everyday at work with networked folders. Many people are just moving the occasional document, picture, or folder. For those people Keybase could definitely work as a Dropbox replacement. I don't think the typical Dropbox user is expecting their ZSH profile to be omnipresent on their multiple computers/laptops/tablets.
$2 + 2 days of freedom
> With DifferentialEquations.jl I also could just

yep... I took a look at the DE packages in Julia today, and quite frankly they're much better than the situation in Python, perhaps because of one or more prolific applied mathematicians are making a concerted effort, which is lacking Python? I dunno, but I did recommend my colleagues look at Julia for DEs, for this reason.

That said,

> Pass a list of functions, and some parameters and I construct a right hand side function from it. Unfortunately this does not work with numba.

I'm pretty sure I've done this before with numba, so maybe getting concrete would help, e.g. an Euler step

def euler(f, dt, nopython=False):
@numba.jit(nopython=nopython)
def step(x):
return x + dt * f(x)

where user can provide regular Python function or a @numba.jit'd function. If a @numba.jit'd function is provided, and nopython=True, this should result in fused machine code. This sort of code gen through nest functions can be done repeatedly for e.g. the time stepping loop.

I've done this for CPU & GPU code for a complex model space (10 neural mass models, 8 coupling functions, 2 integration schemes, N output functions, ...) which, by the above pattern, results in flexible but fast code.

Is this a pattern that captures your use case or not yet?

> implement sparse matrix algorithms by hand because I can't call scipy.sparse.

agreed, this is a surprising omission, which I attribute to not much of the numerical Python community making use of Numba, but could be fixed rapidly.

> constrained my users to use numba compatible code in their right hand side functions

what did you run into that was problematic?

> I had to implement a non-linear solver from scratch in numba rather than being able to use scipys excellent set of solvers

I didn't follow; passing @numba.jit'd functions to scipy is in the Numba guide, so what exactly didn't work?
I came here to post something similar. The re-re-re-invention of the wheel is getting tiring. I'm having a hard time as seeing this as progress.
Being one who delves into the conspiracy corners of the Internet I got to thinking on a theory about all this. I am just spitballing here, but what if the bad guys who put all the bugs in these voting machines at one Intelligence Agency are in a hacker war with the good guys at some other Intelligence Agency on election night and the vote total is just the final score of the hacker battle. Neither side wants to call the other side out, because they don't want to air all their dirty laundry in public.
Need many years ahead for IEEE interval arithmetic hardware implementations to be usable...
https://standards.ieee.org/findstds/standard/1788-2015.html
QML from Qt Quick is actually much better suited for creating UIs. It still shows that HTML is a document markup language...
That's a wonderful graphing website from the look of it!
I really wish they allowed for a TINY bit of configuration. I understand their need for batteries include, but having to eject to add `target: 'electron-renderer'` is pretty whack.

I wrote a thing that overwrites CRA's own webpack configs with one that loads said configs and passes them to a function you control. There's probably a package that does this, or a better way of doing it, but here's what I have: https://gist.github.com/mikew/97e2be1d428aae8460a33dfbee0ca8...
I almost want two different division operations: One where 1/0 = 0, exclusively for use in progress bars and stuff like that, and another one for everything else.

Because frequently division by zero indicates a bug. But similarly frequently, I end up crapping out annoying little bits of code like

if (foo == 0):
return 0
else:
return bar / foo
In Ruby there is % which gives you remainders.

When we first teach children about division we teach them that, "17/5 = 3 with a remainder of 2". It is only later that they learn about decimal points and learn to say that 3.4 is the answer.
I don't get this narrative (and memes) that University code is clear and perfect and real life code is ugly dirty and hacky.

My experience shows the opposite. Academics write code that only they need to understand. And the type of deep thinking required for academia lends itself nicely to fewer context switching, ie massively long classes and functions and procedural execution of steps.

On the other hand, in real life you have to worry about others modifying your code, sometimes at the same time as you, meaning abstractions, decomposition, decoupling, etc.
What makes you say onedrive is better than Dropbox?
http://www.unwomen.org/en/digital-library/publications/2017/...

https://www.transparency.org/news/feature/corruption_percept...
Right. And it’s precisely that systemic capital incentive to convict more citizens of crime that is so contentious. It’s not a simple matter to navigte, and varying in different government organizations, but a few things remain true:

1) Ending prison labor, or giving equal pay to prisoners, would negate the incentive outright.

2) Privatization of corrections facilities further complicates the matter, raising the incentives for unethical behavior.

So, there is a clear cut ethical path here. It just has a smaller profit margin. Nothing new.
It's not convenient at all in a language like Coq.
It does occur to me that one thing that is too taboo to debate is whether free speech is a good ideal.
> Is it fine for me to pressure and suborn an electric company

By using this analogy, you are implicitly arguing that Azure (and presumably cloud hosting generally) is a public utility and ought to be regulated like one, with tariff controls, neutrality requirements, universal service subsidies, etc.

If that's the argument you wish to make, fine, lets have that discussion.

> Just because in these cases the targets are generally disgusting doesn't mean it's something that should be tolerated

No, it should be tolerated because the nature of the service is not one which has been established to warrant utility-like treatment.

It should be cheered, given that it is already within the class that should be tolerated, because the targets are despicable. But, were the type of service outside the kind that would warrant tolerating this independently of the targeting (presuming its not against a generally protected class for a service offered publicly), then it wouldn't be acceptable even with this target group.
Jaws must be chewing on the cables; page doesn’t load for me on any device
So... if I do:

x = a/b + c/d + e/(f*g/h)

I need to check:

if(b == 0 || d == 0 || f == 0 || g == 0)

rather then:

if(isFinite(x))

Or whatever function/equality check is appropriate, or a try/catch if it throws an exception.

I have to say that using a single check on the result seems significantly less prone to bugs then having to check all the values that could produce an invalid result.
If you spend enough on cloud services they do.
> …any pieces of code that assume that (x / y) * y equals x…

What? If you’re using integers or floating-point numbers, that has never been true in general. Consider x=1, y=49 in the realm of IEEE doubles. Addition isn’t even associative, consider 1e-50 + 1 - 1.
Multiplication by x and division by x are inverses, except there is already the sole special case of x=0 where that isn't true.

The common way to resolve that is and be consistent is to axiomatically decide:

1) there is no inverse of * 0

2) 0 is not part of the range permitted for 1/x

The point of the article is that another way to resolve it and be consistent is to axiomatically decide:

1) there is no inverse of * 0

2) 0 is part of the range permitted for 1/x, and the resulting value is 0.

As in, (x/y) * y=x is true either way only if y!=0. The only difference is whether when y=0 if it is not true because it is just illegal or if it is not true because (x/0) * 0 = 0 for all x.
Is there any evidence these myths are related in historicity?
I think this is calling for a Pony programmer working with floating point to know how their own basic operators function. Wrapping division in a function that checks for zero will give you the proper result you would like to return.
I always thought division by zero was, at best, + and - infinity, depending on the path, which is why we leave it undefined.

How would a path lead to 17?
tryguiop
Different thing.

There aren't black markets for things that aren't illegal. Often, the gang murders we thing of are "turf wars" where one gang is competing with another gang for the same sales territory.

So legalizing drug trade likely decreases drug gangs, which likely decreases murders. People might still die from drug use, but that becomes a separate problem.
Haha, at ease sergeant, thank you! Building WebKit from scratch was, shall I say, an exquisite learning experience. My first change was re-writing part of the CMake scripts to make it more elegant.
ee3qq3e3r
32r23r32
It’s great that you did all these things. But it doesn’t make your demand any less bizarre and entitled. If your experience made you wise and knowledgeable, by all means, share your wisdom and knowledge with us! So far all I’m seeing from you is this bizarre “credentials contest”.
You're right. It really would've been nice for the author to offer a direct proof.

However, while I'm a bit rusty, I think it basically has to be true. For there to be an inconsistency, 1/0 = 0 must either

a) imply the negation of some previous theorem of arithmetic or

b) imply that 1/0 = x, for x != 0.

I think a) can only be true by way of b), since no existing theorem of arithmetic involves the expression y/0 for any y. I confess, I don't know the right way to prove that b cannot be a consequence, but it doesn't look like one.

Edit: I think it's just trivial to take a model of the existing axioms, then add n/0 = 0 to the division relation.
Mandoc-1.14.4 released
6s supports NFC for EMV only. 8 and newer has generic NFC support.

https://developer.apple.com/documentation/corenfc
Outside of the HN bubble, there are lots of people working at 5am.

I worked night shift job once, for a few months. I kinda liked it.
Hi,

I'm on the Pony core team. I will be writing in more detail about this decision. A few short notes until then:

1) no one on the team has ever been happy with ending up here, understanding why the decision was made involved understand how partial functions (one that can produce errors like division by zero) are handled in Pony and interesting ergonomic issues that can result that is a large part of what my post will be about.

2) this applies only to integer division wherein division by zero is undefined. 1.0/0.0 uses the available Infinity value.

3) Partial function math is coming to Pony that includes 1/0 as partial (ie error producing) as well as handling integer overflow and underflow for operations: `+`, `-`, and `*`.

4) It's very straightforward even without that those operations to define your own division that will be partial (ie return an error) for division by zero.

Edit to include link to the comment below because it contains a good bit of the decisions that have to make when dealing with integer math:

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

Which is part of what I will touch on in my post about the decision process that Pony went through to reach to state we are currently at (which I want to highlight, is one we intend to improve- see #3 above).
JavaScript does that…
Google Censorship Plan Is “Not Right” and “Stupid,” Says Former Google Manager
The practical downside is that it might make equations go slightly wonky, rather than completely wonky if a non-number is returned.

For example, say if a zero divide happens with normalized values. Meaning the immediate result is only off by one at most. Odds of catching that are probably low. Meanwhile, a NaN will infect all numbers that come into contact with it, bubbling up faster...

Under this system, programs are easier to debug if they use bigger numbers... That property does not seem like a win to me.

If I attempt to open a file, but an access fault occurs, I'd rather be told the fault and given a chance to recover than receive an empty file.