HN user

wsdookadr

135 karma

_

Posts14
Comments41
View on HN

There's actual SWE jobs where humans sift through this kind of noise. Someone told me they worked such a job recently. It's a good tool to add pressure and raise expectations. Maybe this is the future..

In the case of a woman who has a fully developed muscular system and has had ample physical exertion all through the preg nancy, as is common with all more primitive peoples, nature provides all the necessary equipment and power to have a normal and quick delivery. This is not the case, however, with more civilized women who often do not have the opportunity to develop the muscles needed in confinement.

that's an interesting observation. goes to show how office work has altered natural mechanisms and the functions of the human body the way it was designed to work.

also, does the patent mean centripetal force instead of centrifugal? it's centripetal that pulls to the center of the rotating disk.

on the bottom of page 7 it's suggested that the disk be rotated until the force reaches a full 7g, that's almost the same as the acceleration a fighter pilot gets subjected to in tests. it's possible that the mother would be passed out at that point. the effects on the child are probably not the best.

i wonder if the patent office considers the potential harm done to human life when a patent is approved.

I'd say IRC and Matrix are the only viable protocols.

The rest are just proprietary, centralized, corporate-owned.

Here's a short list of those: Teams, Zoom, Discord, Whatsapp, Telegram, Skype, Ring.

MiniZinc 3 years ago

That an algorithm is heuristic does not preclude it from being provably correct. It precludes it from being optimal!

The goal of an heuristic algorithm is to produce a near-optimal or approximate solution in a reasonable amount of time. From here, some heuristics have more or less theory behind them and that theory shows what sort of properties the solution has.

[1] https://optimization.cbe.cornell.edu/index.php?title=Heurist...

[2] https://en.wikipedia.org/wiki/Heuristic_(computer_science)

It's unreasonable to give up on explanations and deem something "not understandable" when we've been doing this thing for 3000+ years called mathematics, where it's exactly explainability that we seek and the removal of doubt. The only other entities that we know of who can't communicate or explain what they're doing are animals.

Even if AlphaZero does play better chess, there's absolutely zero it can do in terms of explaining why it played that way. AlphaZero is zero in terms of explainability. Humans have to explain to themselves and to others what they do, this is key in understanding what's happening, in communicating what's happening, in human decision-making, in deciding between what works and what doesn't and how well or how bad it works.

Returning back to the original DeepMind press release, it's misinforming the public about the alleged progress, in fact no fundamental progress was made, DeepMind did not come up with an entirely new sorting algorithm, the improvement was marginal at best.

I maintain my opinion that Alphadev does not understand any of the existing sorting algorithms at all.

Even if AI comes up with a marginal improvement to something, it's incapable of explaining what it has done. Humans (unless they're a politician or a dictator) always have to explain their decisions, how they got there, they have to argue their decisions and their thought-process.

What's surprising is that anyone would've expected an AI to come up with a brand-new algorithm with better complexity than pre-exsiting human-made solutions. How could it possibly come up with something better when it doesn't even understand how the original authors of qsort/mergesort/etc came up with their own..

Sure, it's great PR for the company, but.. the results just aren't there.

I had a look at one of their examples https://rulex-rs.github.io/docs/examples/emails/

The only part that I can agree to is that it's useful to compose a larger regex from smaller easier-to-understand ones.

But I don't see why a new regex engine is required for that. On the other hand I'm probably overlooking some important features that they bring to the table. Maybe I'll come back with more comments if I invest more time looking at Rulex.