skysight-inc/HackerNews huggingface dataset:
Check out docs for elixir. It's a community where the standard library docs set a high standard of quality that quite a few package developers seem inclined to try to aim for. Heck, the documentation for the Float module even is kind enough to warn you about gotchas in IEEE floating point.

https://hexdocs.pm/elixir/Kernel.html

One thing I really like: Unlike in python docs, on all the function calls and most module headings you can click through to the actual elixir source code and see how the functions work under the hood (via the <\> link). You also get this nearly for free when doing docgen on your own modules (it's one line in setup). Also, the HTML is responsive so it's easy to review your own code when on the toilet, if necessary.

And there are python libraries that are horrible offenders. Perhaps it's a matter of taste or experience, but I found the tensor flow docs to be inscrutable and nearly useless
I didn't really follow that development, what led to the creation of Shakti?
What's the general term that you would prefer everyone to use then?
Secure enclave: Cryptoprocessor with a dedicated display and keyboard
> MCAS prevents the pilot from even knowing about this stall by preventing the plane from even going into that configuration. In other words it hides the stall ...[.] [T]he control system should only magnify or reduce the signals the pilot sends to the control surfaces rather than actually sending it's own.

What about fly-by-wire? Many aerodynamic controls are assisted by avionics, and have been for decades. The MCAS system is not fundamentally different. The intent of the system was to put the plane where the pilot wanted intended it to go, similar to how a fly-by-wire system will keep a plane flying straight if a pilot doesn't touch the yoke.

The problem seems to be that the MCAS system breaks under certain conditions, however the fundamental idea is sound. Planes have been doing similar control adjustments for decades.
I think you can turn that off in your account settings, actually (it may be called something like "data saver" or the like)
I'm still very partial (obviously) to the Introduction to Matrix guide we wrote as part of Ruma's documentation: https://www.ruma.io/docs/matrix/
It's a matter of scale. With a small amount of servers and people expected to be on them, it's not much of a problem. Once you scale to tens or hundreds of servers, and if you have multiple admins, if they don't each get their own account, you run into problems where pushing your config may conflict with someone else's config (or you must remember to set or push ENV vars on or after login).

1 admin with 1-10 servers is not much of a problem. As the number of admins and/or servers scales up, it starts becoming much more of a problem. I've worked in environments with 1-2 admins and <10 servers, and in environments with 20+ admins and hundreds of servers. In the latter environment, if you left an altered Vim config on a shared admin account, that's likely something you would be called out for, and rightly so. If anything doesn't look right when you're called onto a server at 3 AM to fix some random malfunction that's hard to diagnose, you start grasping at it as something that needs to be ruled out as part of the problem. Irate early morning emails from annoyed sysadmins over inconsistent server state are common.
->> is a function at the type level without extra properties like matchability, so it can be simply read as "to" or "into"

-> is used with type constructors like Maybe or Either, and arguments passed to it can still be "read" in the result (for example, a -> Maybe a, or a -> b -> Either a b). I would call it a "slotting" arrow to connote that the argument will be fitted into a hole of a type constructor.

So I would read a -> Maybe a as "slotting a into Maybe".
For £5 I can get an ESP8266 on a NodeMCU board - these have more GPIO, much faster CPU, WiFi, drop nicely in to a breadboard, etc.

Unfortunately, many Chinese manufacturers 'improved' the NodeMCU design. The so-called NodeMCU v3 boards are two wide to leave a free row of holes on both sides. (NodeMCU v3 is a bit of a misnomer, since the NodeMCU project never made such a revision).

I like the WeMos D1 Mini boards more [1]. They have fewer pins, but are narrow enough to leave a row of holes on both sides of the breadboards. Moreover, they have a nice collections of shields that you can stack on the D1 Mini [2] and/or a base doubler so that you can put shields side by side. My favorite is the protoboard shield that costs very little, and can be used to make your own shields [3].

The Wemos boards are priced in the same ballpark as the NodeMCU ($3.50 from Wemos/Lolin). Be sure to buy them directly from Wemos though or a reliable distributor from the west, there are a lot of fake Wemos boards with bad voltage regulators, etc.

Still hoping that they'll make a shield ecosystem for their ESP32 boards some day.

[1] https://wiki.wemos.cc/products:d1:d1_mini

[2] https://wiki.wemos.cc/doku.php#d1_mini_shields

[3] https://wiki.wemos.cc/products:d1_mini_shields:protoboard_sh...
I have to agree. If you're saying "the software is working to spec, but the specs are bad," then you're still describing a software problem.
By the way, injection would be a good way to double-blind an MSG experiment with humans properly: you can't taste an injection. Nobody can tell whether they are being injected saline or MSG.

And nobody is claiming that the effects of MSG are not dose-dependent; that there is no consumption threshold below which sufferers feel no ill effects. Those who believe that any amount of MSG, no matter how miniscule, can cause them discomfort are deranged. If it were so, they would get these effects from all sorts of common foods that naturally contain glutamate.
MSG naturally occurs in naturally ripened tomatoes and some cheeses. Do you also have issues with those?
For anyone who came here disappointed reading this, here is a later response from "the single person" the Matrix guy.

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

To me it seems, that the problem jasonzemos has with Matrix is, that they do things differently than he wants it and he can't change that so he would like to fork it. And have it a community project (with him in charge?)

Not a problem with that per se, but he uses personal insults and lies as it seems to reach his agenda.
To use your example: Denmark is not really a huge country, Romania has 5 times the surface area and ~4 times as many people, not to mention the huge economic difference between the two. It's much easier to focus less on cars and build high speed rail when you are a smaller and richer country.

> Cars are a failed god.

This is a hyperbole, people still want to own cars and have the comfort of leaving home whenever they wish and going directly wherever they want to go instead of exchanging buses and trains as well as waiting in between these in order to get from one place to the other.

Specifically for Romania, though I'm sure this is true in other places as well, public transportation inside cities needs to be nailed down before looking at things like high speed rail systems - companies have an interest in their employees getting to work on time, the state would spend less on healthcare if the cities were less polluted, and people would rather wake up a bit later in the morning.

I believe that in the future we'll still see roads being developed alongside rail and high speed rail or other solutions, regardless of how many people think roads are a failing concept.
You and I must have had different Investments professors. If you invest in a stock and it decreases in value, you lost money. You might get that money back if it goes up, but it is absolutely referred to as losing money. People just like to play mental games and say things like "it's only a paper loss" or use the "unrealized loss" term which is for accounting purposes, but it's a loss regardless. If you don't believe me, take your rent payment and put it in a stock, then if it drops tell your landlord that you're not short the money - they just have to wait a while because it's an investment. Or put another way, had you not bought the stock before it went down, you could have used the same amount of money to buy more of it at the lower price point - i.e. you lost potential money even if it goes back up.

I believe the point of the parent post is that the entire business model of Uber is based on losing money on a unit basis to sustain the market. This is very different than companies like Amazon that lost money due to OpEx on growing the business in a sustainable way. The Amazon equivalent of Uber would be if Amazon paid for 20% of every item ordered out of its own cash balance. I agree that it might still turn out great for Uber in the end if various market forces align, but 1) I'm having a hard time thinking of a company outside of the VC-funded tech scene that could run Uber's financial games without going bankrupt, and 2) I personally think it's important to ask if the money going to keep Uber afloat is really best allocated there.
US detects huge meteor explosion
Rare ibis given by China to Japan last year lays first egg
That one didn't show code. I have to assume the code tests if the point is outside the circle before constraining it, similarly to how a later constraint tests if a point is inside the circle before constraining it (the one where you shove balls around).
Driving or riding in a car in Romania is often a harrowing experience. Many cars don't have seat belts or they are intentionally disabled, especially in the back. This includes taxis. Most people don't wear them. Drivers are often angry as it's generally a very uptight culture in general. The fatality rates reflect this. The culture needs changing. I want Romania to get more roads, but it will likely be at a preventable cost of many lives.
No, decentralization is invented alongside the blockchain and nothing without a blockchain is decentralized. :)
FB ads guide for beginners to generate more interest for your product
If Uber wanted to be profitable, they could be tomorrow. Their growth would slow down, and they wouldn't be able to invest in next generation technology, but they could be a very profitable business.
I'm the original creator of Ruma, another homeserver implementation, and our project has received nothing but support and appreciation from the Matrix team. It's true that Synapse is the only homeserver that is in a "finished" state, but that has more to do with Matrix being young, the spec still needing work (although it's come a long way recently), and the lack of time and resources to complete such a big project if it's not your full time job.
The lol isn’t needed
His point is, as far as I understand, that we should keep studying biological systems as inspiration for our computational systems, not for the short term (5-10 years) but long term (100-500 years). Sussman equally has famous lectures on the same topic, "we don't know how to compute"

The why is not to be practical right now, but to research these ideas to the point where they do become practical, no?

But then again, I agree with you, he does keep going on about the same ideas again and again and again, without pointing to the slightly more practical details... Basically ever. It's always "no what we do is bad, all of it, haha don't we suck?" "Look at these cathedrals and ant hills! Why can't we do that???"
Both meanings can be expressed using a phrasal verb. To "hack into" something has the blackhat meaning, whereas to "hack at" or "hack up" something has the whitehat meaning. But to "hack" something, without the particle, only sounds right in the blackhat sense, e.g. "the hack the NSA" or "the hack a website". So I guess the noun "hacker" has the default sense someone who hacks into things/places.
Seriously, thanks for the input. If anyone can think of a better tagline I'm all for it!
> If you're saying "the software is working to spec, but the specs are bad," then you're still describing a software problem.

This is a pretty bold statement. The spec includes many non-software related features.
Well, there are hacksaws.

> The journal quotes George N. Clemson as follows:

"In 1884 we built a sawing machine for testing hack saws, in which we discovered that the blades we produced would cut twelve pieces of one-inch iron before re-sharpening was necessary. During the year 1886 we experimented with fifty-two kinds of hack saws."

And hack is an old German/Dutch word.

Maybe it's a stretch. But hacksaws are one of my favorite tools.
Reactions to MSG are not allergic.

It's not like eating something cooked in a pot that previously had shrimp type of thing.

A fairly macroscopically large dose of the stuff does something with the blood flow in veins around the head or sensitivity of nerves or something. It's not a serious medical condition, like an allergic attack; just a nuisance.
I'm not very much into chat apps and protocols, but isn't it possible to just revive XMPP? Ten years ago we used Adium and Pidgin, and federated chat seemed like a solved problem. I understand XMPP with its extensions and use of XML fragments might be complex, but it sounds like matrix or another new protocol isn't easier. In a way, those willing to invest time into F/OSS chat apps have done the best they could with XMPP, and creating a new community around a protocol for no good reasons seems like a wasteful thing to do. XMPP folks shouldn't stop using it just because of Google's kiss of death.
Blue Pills are nice, except that most Chinese Blue Pills have an out-of-spec pull-up resistor on D+. So, if you want to use the USB port, you have to replace the resistor. Also, on many of them the micro-USB connectors are not soldered to they board properly and break easily. Many Blue Pills have cheap knock-off voltage regulators. Finally, recently Blue Pills have showed up with fake STM32 chips [1]. As far as I understand Black Pills fix these deficiencies, though I wouldn't be surprised if some manufacturers break Black Pills to cut some costs.

I have good experience with RobotDyn's Blue Pill boards. They have the correct pull-up resistor value and a micro-USB connector that is properly attached to the boards. They also sell them with the stm32duino bootloader pre-flashed, so that you directly use them with stm32duino (Arduino for STM32) without ST-Link:

https://robotdyn.com/catalog/development-boards/stm-boards-a...

[1] https://embeddedtronicsblog.wordpress.com/2018/12/29/fake-st...
I don't think HKTs are the solution here. The problem is that functions have curried type signatures (ie., they are typed st. all the arguments "come together", so the arity is part of the type).

In Haskell I believe when you write fn :: a -> b

a can be inferred to be (Int -> Int -> Int), say.

Here when you write pipe<A, B>(A => B): A => B

'A => B' just means a function from one-arg A to one-arg B.

The solution is some sort of type-level function, but it also requires new sorts of type variables.
I am not adding to the discussion but this was a real fun read. Great points from both sides.
I’ll bite. There’s more to this story. Can you share it?
It's not a software problem. It's a software engineering problem. It's the attitude of "it met the specifications, so I did my job and it's not my fault" that separates this kind of software "engineer" from the likes of William LeMessurier and Bob Ebeling.
I think this is perhaps a serious design flaw with the plane.

Boeing wanted to make the 737 more fuel efficient, but they didn't want to re-certify the frame, and design a new body. So, they put bigger engines on the wings. This sounds simple enough.

Except that the engines were too powerful for the frame to handle. So on take off, these extra powerful engines would push the nose of the plane up, to such an extreme angle that it could cause the plane to stall, and risk falling out of the sky.

In order to compensate for this, they introduced software and sensors that would mechanically adjust the flaps of the plane, in order to help "level out" the plane. This is probably ok for inherently unstable fighter jets, but for commercial aviation, a single crash is devastating.

So, this issue is not just a software defect, that can easily be fixed with code. This is a serious design flaw, where the planes are a death trap just waiting to happen. There is a mismatch between the geometric placement of the powerful engines, in relation to where it should be on the plane, in order to achieve balanced flight, without the need for software to auto-correct for an excessive nose-up pitch. It was probably only a matter of time, before sensors start to fail, and the software can no longer handle the situation.
https://www.snopes.com/fact-check/a-murdered-witness/
Who is this "Dr. Jena Jentzsch"? Is she the person responsible for losing the data, or is she just the contact for people now?
That's an argument for them being a monopsony, not a monopoly. And since they were colluding with other companies, it fits the definition of a cartel better.
Ask HN: What are good bad HTTP clients you use?
What are good "bad HTTP client"-s you use to test your HTTP servers?
For instance, there are servers like
1) https://httpbin.org/
2) https://badssl.com/
which allow you to test client against different, sometimes intentionally bad, behavior.
I seek for intentionally bad HTTP client, which will send wrong Content-Length or close connection in the middle of request, etc.
There aren't a huge number of companies that actually build highways, and generally in order to bid you need to meet certain criteria, the problem is the "quality" part of the criteria isn't very strictly monitored.

Projects are already broken down into smaller pieces and there are penalties if you don't meet deadlines and/or some quality aspects.

There's definitely a lot to improve but in a country where you find corruption at every level it's very difficult to improve upon the situation, since many politicians have a direct interest in keeping things the way they are, as they get to pocket some cash either via bribes or sending some work to their friends' companies when work needs to be subcontracted and getting a slice of that pie later.
Some of the politicians that got busted ended up revealing systems where you would pay, as standard, 10% or more of the contract's value if your company got the job, so we really need to focus on solving this corruption thing and then we can work on the quality aspect as well.
On desktop browsers, right click on the preview and 'View Image...' tends to get you the original full sized image.
I often wear a mask during the Winter months in London too. Mostly because the majority of people on the tube are absolute disgusting pigs. They cough and sneeze without holding their hand in front of their face or making any other attempt to cover it up.
This is their ninth Show HN, and the third this week.
GitHub doesn’t do a good job with this. IMO they’re sometimes just a fork with the intention of a PR. Gotta see what they committed on top of it. When it’s nothing, I’d love to see them hidden or downplayed on the default view.
You can get STM32 boards for the same price (Blue Pill/Black Pill). ARM does have 'apt-get install arduino'-level of convenience. You can actually use the Arduino IDE through stm32duino, which is literally a matter of adding an additional board manager URL to the IDE.

Moreover, you program STM32 boards (besides mBed, etc.) with Rust, which is also easily set up. The Rust embedded ecosystem is much smaller, but still nice for hobbyists. Moreover Rust with ARM cross-compilation is easy to set up.

Another nice feature is most ARM CPUs is that setting up and using gdb is trivial (e.g. with STM32s it's usually a matter of starting OpenOCD and then connecting to that with gdb).
Matrix is a fantastic project. As the technology matures and becomes more useful, I hope there will be a large push to formalize the organization and bring in other stakeholders. As I'm sure you know, Matrix will not be able to get off the ground by itself, it'll need institutional buy-in from corporations and existing tech companies. Hope there is a plan for that type of out-reach.
Make sure to get your flu shot every year.
Agreed, this could be next level content with some proof-reading.
Some people seem to make an organization (e.g.forks-by-$username) and put their "unimportant" forks in there as a workaround.
That's an awful lot of sodium to throw out the potassium sodium balance, even after considering the mass of the glutamate ion. I don't think it could actually be better than the same mass of sugar.
How to Simplify Your Life – The Art of Questions
Linus talks about the 2.6 -> 3.0 change here:
http://lkml.iu.edu/hypermail/linux/kernel/1107.2/01843.html

>As already mentioned several times, there are no special landmark features or incompatibilities related to the version number change, it's simply a way to drop an inconvenient numbering system in honor of twenty years of Linux.
The language looks generally good for its goal, except these two operators

|/y / maximum

&/y / minimum

Those two characters have no connection with the operation they stand for and seem to be randomly picked from the available symbols on the keyboard. Why not simply max y and min y, which anybody can read and understand?
Here in Vietnam they also use it to cover their faces from the sun. Having a white skin is the beauty ideal.
I take Apple watch off when I shower and put it on the charging puck. After the shower, I put it back on my wrist. Seems pretty easy if one bathes regularly.
Newton was also almost turfed out because he wouldn’t take a Trinitarian Oath
Right now, Google Images is useless for icon type images.
I've had to switch to using Bing images, which is currently better for smaller, square images that can be used or modified for icons.

Top tip: although Bing Images doesn't have an 'Exact Size...' option, I've found that suffixing your query with <X>x<Y> (i.e. '256x256') seems to work.
Sneezing in their hand helps to spread it to everything they touch. The best thing would be to cough/sneeze in the arm.
Accepting responsibility, is not being a doormat. No matter what systemic faults were in play, the software was a part of it, and if the software engineers had made different choices - such as refusing to allow a flawed system to go forward - then the outcome would have been different.
that’s why it’s a voting mechanism and not based on artificial intelligence. only humans can acknowledge other humans. in the original paper is referred to as “attention mining”.
The site has been block-happy for a long time. Every time it comes up on HN or Twitter, it's a gamble if whatever ISP I'm on at the time is in good graces right now. But I can somewhat sympathize, spam-fighting sucks if you're caught in a wave of it...
At least for boolean operations, | (or) can be thought of as the maximum of a vector of 0s (false) and 1s (true). Likewise, & (and) is the minimum of a vector of 0s (false) and 1s (true).

But I don't know if that was the motivation / justification for naming these operators / functions.
Neither is the rouge but here we are.
Show HN: Robot-Tech Reviews
So any candidate that doesn't have open source contributions can basically take a hike because they'll be viewed as lesser? Many folks have full time jobs working on closed source projects and don't do software engineering as a hobby, so if you're really putting them down because of that you will be missing out on a lot of talent.
Dill, Stolovaya Cafes and the Beef Stroganoff: To Russia with Love
Except music distributors are removing the musicians’ past tracks out of their catalog. It’s always been this way, but it gets weirder as time goes.

In comparison Usual Suspects is still on sale on iTunes.
Well also the dust particles everywhere, which literally give you lung cancer.

Saigon and Hanoi can have very high AQI (it's no Beijing, but still dangerous)
Also top of page 7 for a close up of a tenon rib.
... and the cloud versions of these products are SuSE based as well.
The point of child porn laws is to put perverts in jail. There are not legions of child snuff film watchers which also kill children.