skysight-inc/HackerNews huggingface dataset:
That's the craziest thing ive ever heard, Easter egg to disable bad security options. What is this a video game?
It would be great to get this level of explanation extrapolated all the way out to describe the behavior of octonions. Kidding, but not really ;)
What usual properties does 1 / 0 = 0 break?
Show HN: Dullahan – open source, cross platform, headless C++ SDK that wraps CEF
Lambda calculus is certainly tricky for counting steps, since a single step of beta-reduction can actually do a lot of "work", unlike e.g. a Turing machine where each step takes constant resources.

For AIT, the binary encodings used in this paper have the nice property that they're complete and prefix-free, meaning that every binary string either decodes to a term (perhaps using only an initial portion of the string), or can be extended (arbitrarily) until it gives rise to a term.

At first glance, it feels like it would be hard for lambda terms to "give a substring of their string as outputs", since that would require re-encoding a subterm. However, I don't think that's as bad as it sounds. For example, consider that a Turing machine can only move its head along the tape one cell at a time (we could use any finite step size, but we usually stick to one), which makes it difficult/impossible to "preserve" a section of tape. Hence Turing machines which "give a substring of their string as outputs" might sound simple, but would probably be somewhat complicated to ensure that any "corruption" caused when traversing the tape gets "undone" afterwards.

(Unless they're multitape machines, like monotone turing machines!)
Pascal came out in 1970; C in 1972...
It's a reasonable way to drill a few holes in wood if you're in a bind.
> I don't see how bundling your Voter-ID acquisition with registering to vote would be bad.

How many times have you forgotten to bring some random item you need for something you're doing? Why stop someone from voting because of a mistake virtually anyone could make?
Jayson Werth Says 'Super Nerds' Are Killing Baseball
If we assume that we got to 0 because of a rounding error we do know that it should be some positive integer. I think that 1/0 = infinity is a reasonable substitute for an actual value. 1/0 = 0 seems absurd. 1/(a number approaching 0) produces ever increasing integers.

I don't know, does it even matter? What happens when you try to divide a physical object into 0 parts? It doesn't create infinite pieces. It doesn't make the object disappear. Seems like nothing happened. Maybe when we divide by 0 in a program it should halt and catch fire?

I hate logical arguments, I get sucked in and start arguing all the positions.
We've reached peak Hacker News.
Multiplicative inverse is already broken. x / 0 * 0 is either 0 or ⊥ (aka exception). It wasn't true to begin with. I happen to like the exception/partial function version, so I'm playing devil's advocate, but it really was already broken when we're talking about zero.
You can't possibly say one needs to compromise MIT's entire infrastructure when all it needs is MITM attacks against the browsing session. That doesn't require compromising either if you have a CA private key the client's browser trusts. Only if there is certificate pinning do you need the server's key, and even at that case you only need to compromise the private key of the university. You don't have to compromise every system to do that. Compromising only a single system among the small group of systems that hold the private key will do.

Your comparison is as thoughtless as the rest of your reply.
I would say it doesn't really matter much as both are readable. I would prefer either the original if/else or the ternary solution over the last solution as I personally think the intent is not as immediately clear in your "max" form. I would optimize for readability over density, unless there is some reason to write it differently (e.g. performance).

just for fun, in kotlin (making use of expressions removes some verbosity):

return where(den) {
0 -> 0
else -> num / den
}

return if (den == 0) { 0 }
else { num / den }
The problem with imposing a tax on fuel is your punish people for decisions they made before you changed the policy tax regime. Where taxing new equipment doesn't. The former tends to result in a lot of political blowback.
I recently read Wikipedia[0] article about Vasa which in my opinion is a worthy read that covers many aspects not covered by the linked article.

Fun fact: statue of 20th-century Finnish runner Paavo Nurmi, was placed (by SCUBA) on the ship as a prank by students of Helsinki University of Technology the night before the final lift and remains till today as part of cataloged artifacts.

[0] https://en.wikipedia.org/wiki/Vasa_(ship)
Do protocol buffers count as a 'new auto magic framework'?

https://developers.google.com/protocol-buffers/
Cut the cloud storage, install yourself, and buy direct from Asia. Except the flash card, buy that from Amazon. Then it should cost less than US$100 per side.
You can write user code in Pony that will cause a kernel panic or hardware error?
I think you mean if I divide one thing into zero groups, how many items do I have in each group
I agree with that. We need some way of differentiating between private sites and sites that be considered part of the public forum.
As a backend person slowly breaking into frontend dev and using Vue.js, this is exactly the problem.

I started using vue-cli for my latest projects and it handles webpack for me. So far I haven't had a reason to touch webpack directly.
You want geometric algebra. In 2D GA, you would have two unitary vectors, i and j, such that i * i = 1 and j * j = 1. The (non-commutative) product of between them (or their division) would be a bivector: i * j = ij = - j * i. You rotate 90 degrees the i and j vectors using the bivector.

The good thing about GA is that the same concept can be easily extended to 3D (quaternions), and in fact to 4D and nD.
The problem is that a tremendous amount of sideloading happens offline. This makes it very hard for anybody to make it safe.
You might also like Rich Wareham’s B compiler (written in Python with llvm) https://github.com/rjw57/rbc
Just out of curiosity, why? Why would I want to do so much more work?
I was writing from repeated recent experience, the last from a week ago when I didn't have time to go to a better place to get tomatoes. Your mileage or taste may vary.
Except they can be negative, and relate to area for 2D, not volume, and would require defining volume in dimensions higher than 3, which is not necessarily obvious or intuitive for beginners.

"Signed scaling factor" is more general, and some courses (e.g. ones I teach on) use that to introduce the idea.
All those people who think we should go back to some earlier form of Western culture try to make the manners back then look far better than they actually were.
Algorithmically probable mutations reproduce aspects of evolution
Real example: I'm collecting some quality signals from a corpus, most of which are some form of ratio, average, weighted average, or scaled average of counting various quantities within the documents. If the elements being counted are missing, I want the term involving that quality signal to disappear from the final ranking calculation.

Defining x / 0 = 0 gets this behavior for free, while leaving zero as an exception means it has to be caught for every single signal calculation, which is a pain when there are potentially dozens of different signals, all of which are counting different things (and have different divisors). I've actually defined a helper function to do this automatically, which also lets me change the default "null object" easily if I choose a different representation or want to apply some baseline value.
Team Leader Venn Diagram
The alternative is an un-updatable phone that is full of security holes. Remember the good old days when somebody would find a uxss in webview and we'd all just shrug our shoulders at the 80% of users who'd never see the fix because the oems wouldn't ever push updates to people?
I’ve run into this a bit with progress related stuff. I bet if you looked at progress bar libraries they’d have similar logic built in.
You wouldn't be surprised if you saw the amount of people that said "hey can you remove my 2FA? I kept my codes on my phone and it broke".

It's a real UX issue, the average person just can't back up their TOTP codes at all. Hell, I have a Yubikey as a backup and enroll the TOTP code to both places, and to the Yubikey as U2F.
She may be 25% out of my league. At 64, I can out swim 98% of women younger than me both in time and distance. I have had friends tell me I have 30x the financial assets that women my junior have. In today's society, a female's physical attributes of beauty are often declining assets. It all depends on your point of view.
JS just assumes the limit direction for you, so 1/0 is Infinity, but -1/0 is -Infinity. 0/0 at least is correctly NaN. (Edit: And I just verified against my memory, Matlab (or at least Octave) does the same thing. While Matlab might get characterized as being for the ivory tower, at least it's had a long history of being used for practical math applications within the tower. Edit2: And anyway this is the defined behavior for IEEE floats. Men of industry use industrial standards. :))
So, nobody has ever lied in a subpoena reply before?
Building a Cross-Framework Deep Learning Compiler via DLPack
Yes, I think this makes things very intuitive, and I use it (well, the first slideshow in it) to introduce the idea when I teach complex numbers.
Jury orders Monsanto to pay $290M in Roundup trial
That analogy doesn't make sense.

It's more like you have a deadbolt and a regular lock. Sure, you can open the regular lock with just a credit card, but that doesn't help you with the deadbolt...
Also analytics and distribution channels.
It seems like he covered that in the article. There is no multiplicative inverse of zero.

But that isn't the same as defining a division operation.
Julia doesn't box integers, that would destroy speed. It also doesn't protect from overflow/underflow. It specializes on Vector{Int} so that's it's just a standard vector of integers. Then Vector{Union{Int,Missing}} is stored in memory as a vector of integers with a bitarray declaring missings. Indexing operations are expanded to ifelse a check for the existence and then return the value if it exists or a missing. Then branches are added by the compiler to handle the small unions. This keeps pure integer use without overhead, and gives a small penalty when using missing (which doesn't turn out to be all that bad due to how pipelining is usually done), but it's safe and any type can have missing values.
That might be an LLVM bug.

`I64.max_value() + 1` gives the expected result.

I'm going to have to look into that.

Thanks.
take some hours to study angular dart.
Interesting, it's not too farfetched of an idea since there is a C++ API for accessing the DOM in WebCore and we have the ability to disable JS completely. I've added this to the issue tracker as an idea to explore. [1]

[1] - https://github.com/ultralight-ux/ultralight/issues/14
The idea of smaller diatoms (erythrocyte size) traveling from lungs to the blood and then to the marrow bone without being stopped by the inmune system seems a little excessive. What if a tsunami or a high tide just covers a previously buried corpse with saltwater? old bone tissue is spongy.
US housing market hit a ‘significant slowdown’ in recent weeks, Redfin CEO says
Congress has been doing this for 200+ years!
GM Engineers Went on Public Tours of a Ford Plant for 'Intelligence Gathering'
If you're looking into developing something, if I were you, I would look at three things.

1.) Form factor - it's amazing how much of this industry relies on either hearing aids or holding a mic/phone in someone's face.

2.) Quality of voice - I'm lucky. I am not "deaf", I just have trouble picking out voices at certain frequencies, or all voices if there's enough noise. Luckily, I don't have to speak with an electronic voice. If I did, I'd want a voice that sounds a little human and has some inflection. This is a tough problem, but if you can solve it, the Kurzweils of the world would be playing catch up.

3.) Targeting - I damaged my hearing when I was young, addicted to very very loud music (especially live) and not particularly bright. I'm in my forties and still not particularly comfortable using assistive technology. If I were a teen, I'd be fucking mortified to use any of these. Fuck, I could have easily failed high school because of that. I can't escape the feeling that there's a market for people like me. I would love an audiologist's office with tattoos and Bad Religion. If that feeling came to an assistive device, I'd be a customer.

Of course, I'm a weirdo and it's not always the best idea to start a company to cater to a weirdo!! :)
If thing is zero don't divide, like the base case in a recursive function. This is the maths version of null pointer exception
Hi,

Check outmkdocs.

https://www.mkdocs.org/

They have some great themes and you can get pretty close to what you want. Easy to use and quite powerful.
That sounds to me like the most likely hypothesis in this thread.

I mean, the Linux manpage itself says it's stable and can be used, with the inode number, to uniquely identify a file. http://man7.org/linux/man-pages/man2/statfs.2.html

I'm not surprised, though. Fancy copy-on-write filesystems like btrfs have some other subtle gotchas. If you allocate (like, really, not as a hole) a big file on btrfs and mmap it for write, you might see a SIGBUS upon writing because btrfs needed to recompress a block and the new compressed block didn't fit where the old one did.

I've gained a new appreciation for the predictability and simplicity of ext4.
30% is outrageous
I finished the decoder for UDP packet streams, so I will be implementing a high performance webgl + websocket viewer for the front end.

I’ll be monitoring some deep nets that are training human action recognition from LiDAR data. Training a neural net for recognising human emotions,

I’ll finish up the API metering on our face recognition API ahead of some large customer demos this week.

A few bug fixes in my Deep Learning platform regarding class activation map generating.

And I have a bit of performance testing to do on apache arrow / RPC mechanism

I’m mentoring a few junior devs that are coming to my house Sunday too, they have some projects / hackathon type tasks I’m stretching their abilities with.

I love weekends! Less customer interaction do I can code heaps without interruption!
What? WebKit doesn't contain any JavaScript implementation, certainly not glued in. Apple uses JavaScriptCore (Nitro) which wasn't even open source; before Google forked Blink, they were using WebKit with their own JS engine, V8.
If drug prohibition enforcement does not work why would people believe gun enforcement does?
Couldn’t you alternatively introduce total operators that just grow the memory size as necessary instead of overflowing? For me if you’re handling wrapped types, I’d always prefer the numbers to grow into extra memory instead of overflowing or raising exceptions. Erlang, for instance, does this well. Obviously, division may still not be total, though you could define an operator like `//` that is.
> It seems it earns by taking $5,200 for "processing charges" from every submitter

No, only published articles.

> Still, it is still somewhat unclear to me why would a serious cosmologist publish there

It's an extremely well known, high 'ranking' journal if you go by IF as your figures show. There aren't many higher they could have published in, and they're extremely competitive.
> Mathematicians don't really use "vectors" in the traditional sense like in physics but deal with abstract vector spaces

This is not at all true in general: many mathematicians use non-abstract vectors too. My (maths) PhD, for example, uses vectors throughout but doesn't mention vector spaces once.
Yes. Hardware errors, can't really protect from that or a kernel panic. A kernel panic is a panic in non-pony code.
Why do you think many tech communities move towards this style of conversation? I’m trying to hypothesize a few reasons, but it could be an emergent phenomena from individual elitism, competition, or maybe ladder kicking. But I agree, this will turn away newcomers. Maybe that’s their goal?
I agree - learn to break down your goals into small actionable tasks, then make a to do list to finish X number of them by end of week. That way you can track how far you are, achieve your goals in small steps week by week, and get a sense of accomplishment. Goals are achieved with discipline no motivation! Just get up and do it - don't think!
considering how much trains weigh and how fast they move, perhaps the electrical trains are already being used as "linear flywheels" ?

Since kinetic energy = 1/2 m * v ^ 2 , the a slight change in velocity on the trains that are already moving fast at any point in time, could store a lot of energy (i.e. for 2 identical weight trains, from 0km/s to 1km/s is a smaller change in stored kinetic energy than from 100km/s to 101km/s ! [in fact the latter increase of 1 km/s stores 201 times as much kinetic energy than the former: ((101 * 101) - (100 * 100)) / ((1 * 1) - (0 * 0))]

Now that I think of it, this could probably explain why our local trains are suffering more and more irregular arrival times :) but why would it be kept secret or hidden in plain sight? perhaps all the negative news about negative prices for renewable energy during energy flood is just manufacturing consent to keep price hikes for the plebs palatable, or a kind of white lie to offset their airplane travels...
Integer over/underflow is arguably less arbitrary. Sometimes Z mod 2^k is really where you want to be working, and the rest of the time at least it's the fastest answer. Whether that's enough of a justification to be a difference? shrug
Turkish Language Grammar Implemented in Python
SEGY Floating Point Confusion
We are talking about machine integers here... So division is actually all about evenly dividing counts of things with the possibility that you might have some left over.

Reals are fundamentally different and are not found in things like computers and in general are of no practical use. For work with values (as opposed to counts) we use something called floating point.
> How does an insecure second factor affect the security of the original factor?

If I want to compromise your account, I force fallback and then compromise your SMS. Security is as strong as the weakest link.
Thank you. I look forward into learning more about how Julia handles this.
Yep! We plan to expose a C API to make bindings easier to generate.
No, it doesn't; it explicitly mentions (though does not name) commercial efforts prior to that starting early in the 20th C that failed to be commercial successes because of various issues with ink, etc., and that the first successful line, from later ballpoints derive, began production in 1943 in Argentina.

Just because they weren't commercially successful doesn't mean there weren't people who had then and used them.
Your objection to the humanities as it is taught today is that it has veered toward what is useful. That is true, but that is not what is shifting people from the humanities. What is useful to society is not necessarily useful to the individual, so people veer to engineering to get their paycheck. Sticking to what is beautiful without regard to any application to society would not have saved the humanities either.
What if I told that you that while most conspiracy theories are false, giving people power to censor them would also allow them to persecute legitimate whistleblowers and investigate journalists?
This is correct. What happens when you are trying to rely on malloc'd memory for sensitive calculations? Reading an invalid pointer is undefined behavior. I see no reason why "it almost never works" to check for NULL and abort if necessary.

> Checking the return of malloc() for NULL is not currently considered good practice

This is simply false. I was a TA for the intro C class at CMU last year, and we still teach to check for NULL. In fact, we mark down students who do not do so.
Work was done on adding simple value dependent types to Pony as part of someone's academic work, sadly it hasn't made its way into mainline Pony yet.

https://vimeo.com/175746403
Millions of Android Devices Are Vulnerable Right Out of the Box
> The whole point is that the proof shows you any way you define division by 0 is going to compromise your definition of a field, or it's going to make fields with nonzero elements impossible.

But it does neither. All field theorems pertaining to inverses/division take the form `x ≠ 0 ⇒ ... x⁻¹ ...` None of them is compromised.

> In fact, the modern, axiomatic definition of a field explicitly excludes the unit 0 from the otherwise sane rules of multiplicative inverses.

Exactly, which is why defining 1/0 = 0 (or 42) poses no problem to fields (BTW, the Lean proof assistant defines 0⁻¹ = 0 for fields, even though it's not the inverse and 0*0 = 0).

The whole problem is one of formalization. "Undefined", as it's used in mathematics, is very much informal. It is used to say that a certain expression, 1/0, while "grammatically" correct, is meaningless. Formal systems simply cannot do that: the expression 1/0 must either be ill-formed (can be done with dependent types but is often inconvenient) or it must mean something in the semantic domain of the language. Different formal system define what that something is, but whatever it is, it is no longer "undefined" in the informal sense.
Because one of the things that keeps people engaged in maintaining a website is being able to fiddle with it, and the cost of fiddling with the layout of a truly static site is a lot higher than intuition would suggest.

Because you have to take the odds of making a stupefying, drop-everything mistake on any one page and take it to the nth power. That’s O(c^n). That’s an order of complexity that I haven’t even bothered contemplating in so long that I had to look up the notation.
Perhaps you've missed the point of the article -- Google's platform is open, and you can install whatever you want without using their store, which is the route Epic has taken with Fortnite.
I think that while stack overflow definitely has an attitude problem, its disingenuous to specifically call attention to this being a race- or gender-based issue as the author does. If racial minorities or women are not coming back to SE after their first experience, far more people that don't fit the category are having the same issue.
The nicest UX would be to say something like "waiting..." while the denominator is zero. Presenting a zero to the user instead is probably an acceptable short-cut, but at the end of the day, it's a UX decision. Which is why it should be handled in explicit if-else code, that lives as close to the UI as possible, rather than being buried in the semantics of basic numerical operators.
Because drugs and guns aren't similar products.
Please note 1/0 = 0 in pony is only on integer math.

1.0 / 0.0 = infinity per the standard.

1/0 = undefined behavior and is left to language implementers to decide how to handle.