skysight-inc/HackerNews huggingface dataset:
Checklists are way overrated. To all the fanboys out there, how many of you regularly have checklists for things you do several times a day?

I know in the last ten years I've seen new processes with forms to fill out for mundane tasks and its PITA.
This looks pretty cool. Nice website, but I'd like to see more examples.

Can I access Nim functions in Min?
Just FYI - I don’t think that’s the link you meant to include. It looks like that’s the url for the main article from a different HN thread.
Funny, 5 years ago Voxility kicked me off for saying mean things to people on IRC.

What exactly is supposed to have changed here? Hosting controversial content poses significant operational costs, nobody will do it for free.
Our tools send the strings to a dashboard. At this point, you can have your own translators add translations and pull them back in. We have developed flows which make it easy for your own translators to go through your phrases, see the context (description + screenshots) and add appropriate translations.

Sending translations to the agencies we've partnered with is completely optional.
Wouldn’t it be a nice value-add if manufacturers provided an unlock after say a year or two after initial purchase? My experience with carriers is that even if you’re eligible for an unlock they’re a nightmare to get.
Ask HN: Does your org use SLI/SLO dashboards and metrics?
Hi,

Curious how widespread the use of SLI / SLO reporting and dashboarding is. Is this a Google thing that everyone talks about but no one really uses, or is it being adopted in the wild? My questions would be:

- does your org (engineers, managers, customers) “get it”?

- do you have the right tools available?

For those not familiar with SLI/SLO here are some links:

https://www.datadoghq.com/blog/slo-monitoring-widget/

https://cloud.google.com/blog/products/gcp/sre-fundamentals-slis-slas-and-slos

Full disclaimer: I’m the founder of monitoring SaaS https://checklyhq.com and actively researching this.
"unauthorized software" is better but this was malicious relative to AT&T.
Sure it may be legal but is it whats morally good? If someone / your employer entered into a contract with you to pay you for your legal services for a year and then efficiently breached the terms would you give them a high five and be fine with it? In your example, would you give AT&T a high five for efficiently breaching their contract and taking money from a subscriber?

Also I'm not sure if you're using the right terminology. From Wex, Efficient breach: A breach of contract in which the breaching party finds it cheaper to pay damages than to perform under the contract. [1]

You're not paying them when you unlock your phone out of contract so it wouldn't be efficient breach. It's just breach of contract. Also as you know it's not really breach of contract or not until a judge says so, so you can't just call contract violations that happen all the time an efficient breach.

I have a bit of legal education from years ago and I understand that there are many things that are legally "right" but there are other things to consider too.

[1]https://www.law.cornell.edu/wex/efficient_breach
I have a feeling that multiple carriers have a similar problem. I traveled to another city and noticed that some incoming spam calls shifted to incoming numbers with the local area code.
Mainly Windows user here, one of those people you mention.

We don't moan about Copy, Paste or Undo because those have not traditionally been on any keyboards, as they are too recent.

The others are Iannoying because we're very used to having dedicated keys for them, and they are very common actions, and it's faster to use a single key. Yes, I can press FN+Backspace to do a Delete... but why when it's such a common operation?!

Home, Page Down etc are the worst though, as I can still never remember the correct key combos, and peck around trying different variations before cursing and using the mouse instead.

What I don't understand is how Mac users put up with this!
I searched for science fiction in subject on Haithi after 1955 and it said only 3 were available for full view because the others were copyrighted. Except many of them weren't copyrighted, they just wrote that inaccurately.
But the thin wrappers shows the real url.

On Android Google will spy on everything you do, no matter which browser you install.
As someone who's done work on payment systems for both countries (online payments only).

In the US:

Credit cards have a bit better protections than bank accounts do. For example for bank transfers[0], if you wait a few days after finding out there is a fraudulent transaction, you are liable for $500. (if you reported it right away, it's only $50 liability). Credit cards max at $50 liability.

ACH for US banks is absolutely horrible. It's slow and just doesn't work well. FedNow that was just announced could help, but that's 5 years out (at least). TheClearingHouse has an instant payments platform out there, but only had 50% adoption right now, and costs a flat cost per transaction. Credit Cards are instant (ish), but have super high fees.

The US has thousands of banks (~5000), many of which are smaller local banks. Getting all these banks to be on a common system is hard.

In the UK:

You have BACS, which has some really nice properties (like when moving between banks, your auto-pay moves with you), but it has warts on it. Like ACH, all payments are successful after it's submitted, but you don't find out about rejects (like insufficient funds) until a day or 2 later.

UK has Faster Payments rails, but it is absurdly expensive (1-5 pounds per payment (EDIT: THIS IS WRONG)). It's same day, which is awesome, but it could be better.

UK does a lot more debit payments than the US, likely because debit in the US just has not-great consumer protections today.

The UK also has many fewer banks (~300), so getting them on common systems is a bit easier.

[0] https://www.fdic.gov/regulations/laws/rules/6500-580.html
I find it a bit odd how most motherboards seem to use M2 screws, but most of the add-in card M.2 adapters I've dealt with use M3 screws, and the M.2 spec only talks about M3 screws.
Why are you trying to play the oppression olympics? We can care about multiple things at the same time.

Re: the legacy of slavery, this USA Today article is a good starting point[1].

Additionally, it's plainly obvious that black Americans today have much less wealth than white Americans. When whites settled in the US they were often given farm land or brought capital from abroad to start businesses. Black slaves had neither. When they were freed most became trapped in sharecropping arrangements (often for generations) that left them with little wealth. White Americans also benefited much more from the social programs of the early 20th century, such as New Deal work programs or subsidized home mortgages (look up "red lining"), that helped build wealth.

Also, you did not provide an example of black racism (which you have referenced in at least two posts as being equal to white racism).

[1] https://www.usatoday.com/story/news/nation-now/2018/02/08/co...
For everyone else:
"Cunningham's Law states 'the best way to get the right answer on the internet is not to ask a question; it's to post the wrong answer.'" [0]

[0] https://meta.wikimedia.org/wiki/Cunningham%27s_Law
Who the hell is such a control freak? All time-tracking apps should burn in hell.
The other explanation is that God was saying he was going to bring the flood in 120 years.
My point is that the original post and this entire thread is mental masturbation for a bunch of people who think so highly of themselves that they should take steps to actively have to reduce their [insert word for superiority].

You've got issue with me using the word "smart". What word would you like to use?

The lack of self-awareness in this community is sometimes baffling.
TL;DR: Microsoft bumps Azure max bug bounty to $40k, introduces Azure segregated hosts for researchers to test against, and formalizes their Safe Harbor terms [1].

[1] https://www.microsoft.com/en-us/msrc/bounty-safe-harbor
A lot of people seem to be hung up on the fact that there must be something special about doctors. They're too skilled, they operate in a unique environment, or that they're awful egotists with god complexes.

Pick almost any profession other than pilot, and checklists are something that most people will ignore, often for the same excuses doctors have.

It seems like it should be comparable, as both medical errors and aircraft crashes are taken seriously, but there's a huge difference in magnitude.
Thanks. I already have a manager and a wife.
I'm not sure one of them definitely being dead would necessarily have needed to be known to anybody not knowing which one anyway, unless there were separate financial motivations for not just concealing the fact of the death altogether and telling everyone that Jeanne was having a fantastic time convalescing in the countryside...
Dental Wings | Montreal (CA), Berlin, Chemnitz (GER), Lyon (FR) | ONSITE | Various engineering roles | Full-time

* About us *

Dental Wings was founded in 2007 and is a fast-growing international company active in the dynamic field of dental CAD/CAM technologies.

Our main activities cover design (CAD) and diagnostic software development (guided surgery), scanning hardware development, scanning equipment manufacturing, customer support, sales, marketing, logistics, and administration. Our products are sold and used in over 50 countries.

Our mission is to help our customers improve the lives of millions of dental patients worldwide!

* Our team *

Our team fosters an environment of honesty, trust, and openess. We strive to grow, learn, improve and innovate as individuals and as a company. We do our utmost to support our colleagues, emphasize communication and value a good work-life balance.

We use SCRUM and Kanban methods. Our tool stack involves Redmine, Slack, Git, Eclipse, JavaFX, JOGL, Gerrit, Jenkins, JUnit and Sonar.

* Open positions *

https://dentalwings.com/working-at-dental-wings/

- Java CAD/CAM and C++ software engineers (Berlin, Chemnitz, Montreal)

- Test engineers and Tech Support developer (Chemnitz)
Most carriers will force you to pay for this privilege - certainly all the ones I've ever had dealings with.
You are getting downvoted since Indians are not interested in hearing the truth.
AI/ML Code Reviews with DeepCode
The solution is to enforce business transparency, and fair labor laws. It should be clear on the Yelp UI that they number they give me is for grubhub. If I want food delivered, it should be by drivers who are fairly compensated.
Arabic Mathematics: Forgotten Brilliance? (1999)
One of the more interesting (to me at least) aspects of the warming trend of both the atmosphere and the oceans is that for each degree C increase in the mean atmospheric temperature increases its water carrying capacity on the order of 4.2 quadrillion kilograms. Rising ocean temperatures, combined with rising air temperatures are increasing the rate of evaporation of sea water into the air.

The effect of this is transporting more water in the air over longer distances. This "side effect" of global warming will likely make all of our past observations of precipitation rates in any given region completely moot. It also makes suspect any extrapolation of current precipitation trends into the future.

My reading of the current literature suggests to me that we might have an opposite problem, which is massive flooding in areas on a regular basis where previously they considered such floods "100 year" or "1000 year" storms.

What every climate scientist I have talked with agrees with, is that the current climate is being destabilized relative to historical records. Thus extrapolations become more and more uncertain (have larger error bars) as the initial conditions drift further and further away from anything on record.
All that is insignificant compared to the heat output of a certain nearby star.

The star's output is so significant that even the tiniest change in how that energy is absorbed and retained has large effects on the little planet.

So we find ourselves where we are.
This actually doesn’t work out so nicely in real life, and I can tell from experience. It’s one of those things that sounds obvious, but neglects context.

The most valuable projects are always going to be a race. If all your competitors are spending time carefully researching the path they will take, there is an advantage to be gained by skipping research and jumping straight in. If the idea of your project has merit, then competitors will be fumbling to catch up to you, and if the idea was a dud, then you wasted time and money while your competitors sigh in relief and talk sideways about what a fool you were.

In these scenarios, the only glory to be gained is by the ones who skip the research and move forward boldly. Moving boldly for some is just dumb luck, and for others it’s intuition.

Businesses and startups look for people with intuition, capable of finding repeatable success through some unknown heuristics they have assembled together with their life experience; essentially this is research, but not deliberate research, instead it is a subconscious research.

These intuitive people do not need to spend weeks going out into the world and talking to people about a project or reading statistics and case studies. They could simply roll their eyes into the back of their head and draw from a deep well of wisdom to determine if a project is worth pursuing. They give you their answer and that’s it; it’s the final word. A business with one of these people in its ranks has a tremendous advantage in the speed at which it moves, unburdened by the need to do research or question the premise of its ideas.

Many people in the valley like to pitch themselves as being one of these people to proselytize a following of investors or employees, but almost all are frauds. You need a mind that has depth and breadth. A person who’s lived all their life in the valley or has simply hopped from one tech job to another is unlikely to ever be one of these people. It takes a very wide range of expensive experiences to become one.
Sarcasm is easy-as-pie, modern, blazingly fast JavaScript library
Hours of debugging can save minutes of reading the documentation
I imagine it also brings in a certain kind of kinesthetic memory into play, habits of movement rather than just habits of thinking.
Btw, the Apple Card does have a magstripe.

https://www.theverge.com/2019/3/27/18281071/how-apple-credit...

> The physical Apple Card, of course, has no number. The app displays the last 4 digits of the card number that is on the mag stripe of the card only, you never see the full card number.
I simply don't agree with your opinion. Hopefully thats still allowed here, and we can shake hands on that. Have a nice day..
I tried it right after he suggested doing that.

Try this command, It contains a list of peers that were working few hours back. Maybe they are still online.

./hnsd -r 127.0.0.1:53 -s ajgkxfe47u6wwyvyh7qixbdddvjxcqbs2oxwr5attq45yj72s5pcs@54.201.46.33:13038,akudgzg2wntfjucsodyvz44h76qae7xrtuix6wc6fc22cx5jll6fe@165.227.52.206:13038,ajaqq7jwqrwixmvl64tzi3qfi7ynj3hmmtzmkyubtrljh4mwmh7ie@165.22.151.242:13038,ap77bve4acntajehkvqc33bvlsi27ka6l2xte4fhn2ghuwx44fsxc@18.236.58.201:13038
Partner login? Makes me think we should just bypass Haithi and use scribd or some pirate site.
Well, he's wrong:

> We do not attach any character of uniqueness or absolute truth to any particular system of logic. The entities of formal logic are abstractions, invented because of their use in describing and systematizing facts of experience or observation, and their properties, determined in rough outline by this intended use, depend for their exact character on the arbitrary choice of the inventor.

That's the American logician Alonzo Church (1903-1995) in his 1932 paper, A Set of Postulates for the Foundation of Logic, in which he expresses his disagreement with Wadler and also invents the (untyped) lambda calculus [1]. You can find this passage and many more in a 300-page anthology of (mostly) primary sources that I composed over a year ago [2], many of them describing the meticulous, intentional invention of various formalisms over the centuries, as well as aesthetic concerns which have led some to prefer one formalism over another (e.g. the invention of a logical algebra by Boole, and its later amendment into what we know as the Boolean algebra, by Jevons, Peirce and Schröder to make it more pleasing). In fact, Alan Turing's 1937 paper directly demonstrates the essence of computation and the "accident" of formalisms, which are linguistic, aesthetic, subjective formulations of a fundamental, non-linguistic idea (as Gödel said, when he called Turing's discovery a miracle, it does not just show that one formalism is equivalent to another, but uncovering the essence of all formalisms at once).

Wadler is not an authority on the history of logic, and his perspective (which, unlike his actual academic work, is not based on serious scholarship), combined with his guru stance, is one of the causes for the deep confusion among functional programmers about FP and mathematics, and fosters a mystical adoration of mathematics, one of whose symptoms are nonsensical statements like "based on mathematics," rather than understanding. I wish he'd stop doing that, as I don't think it's helpful.

[1]: In that paper the lambda calculus appears as a proof calculus for a logic that was later proven unsound. The calculus itself was then extracted and used in Church's more famous 1936 paper, An Unsolvable Problem of Elementary Number Theory in an almost-successful attempt to describe the essence of computation. That feat was finally achieved by Turing a few months later.

[2]: https://pron.github.io/computation-logic-algebra
In an ideal world one should not be spied on by anyone else, but in this particular case I think India would be more ok (so to speak) of being spied on by the US than by China, the reason being that India has an ongoing and still open border dispute with China, while its relations with the US are a little more benign. Granted, I'm not from India and I've never visited the country, maybe someone more knowledgeable than me can correct me if I'm wrong.
the worst is when the site refuses to give you the desktop version (surprised yelp hasn't done this yet)

need a "demand desktop version" option
> 3) Understanding how fossil fuels came into existence (basically, organic material trapped over centuries in the ground. again, the clue is in the name) and understanding the CO2 lifecycle, and how burning fossil fuels adds material to the CO2 lifecycle that was not there earlier.

Adds material to the CO2 lifecycle that was not there earlier? Isn't it just rereleasing CO2 that was in the atmosphere earlier?
You don’t have to have paypal for that. You can easily contest any payment from your credit card.
You don't need a radical change. A lot of small, incremental changes can throw a system out of balance. Take fishing as example. Mankind is doing it since pretty much forever and made many small improvements on the way. Now in hindsight we might have the necessary knowledge, models and simulations to determine what precisely what made us exceed replenishment rates. But that doesn't really matter in retrospect and now we have regulation trying to prevent overfishing.

So yeah, if you are trying to argue nothing changed in our media usage and systems interact just like they did 50 years ago, then that is most certainly a loosing battle.
At my work we use what are called spikes to indicate that research is required and at the end of the spike you must have some documentation or a proof of concept produced so other people don't have to do the same research again. Unfortunately with your job it appears that the problem might be more that business relies on what they deem 10x programmers instead of creating a collaborative environment. They should be saying, "Hey if you're having difficulties maybe you and xyz can look at it together". If developer xyz comes to the same conclusion as you then business should can it at that point. If they don't then it could be that you were wrong and having another set of eyes on it helped out a lot, or it could be due to weird competitive culture where people want to take credit for things. I try to avoid this as much as possible by discouraging usage of the word I during any team discussions. It's almost always should be We. If one person fails, everyone fails. If one person does good, everyone does good.
Self-driving cars are ready to start picking up passengers in NYC
Fully agreed. I don't think anyone can dispute the fact that Goldman has done a ton of bad stuff, but none of that seems to have any relationship with the matter at hand, i.e., being a backing entity for a credit card (which, to me, seems like something that you cannot really fuck up tbh).
Corporations would love to lobby an infiltrate this group.
Seeing as how most premium laptops today are using some sort of PCI-E storage... I would say professionals that are using their laptops as workstations care. This isn't an interconnect made for external use per se, but for replaceable storage. In the article it specifically is mentioned as a replacement for soldered BGA storage. The way the mechanism works (which is very similar to old full size SIM card slots on old feature phones) is meant to act as a more permanent socket than something like a spring loaded SD card slot or USB port. It's more akin to a CPU socket.

For laptops and tablets this could be a huge move, partially because of the user-serviceable upgrade potential, but also because of data recovery. Instead of the flash chips and their controller being on the same board as the CPU, GPU, muxes, power management systems, etc, they can now fit in a secure, low profile and low footprint socket. Take newer MacBook Pros for instance. They have soldered on storage and no way to access that data if the logic board dies. Previously, Apple had outfit the board with a "lifeboat" connector that allows for data transfer from the soldered on storage (assuming it's still intact) without having a fully working board.

Louis Rossmann, of course, went over this in a video just a couple days ago. He had a customer that sent a machine in that is a few-months-old MacBook Pro 13". It has a dead T2 chip which renders the entire logic board useless. There is no way (short of desoldering the flash chips and possibly putting it on a working donor board, but then you run into a whole slew of other issues) to recover data off of that machine.

https://www.youtube.com/watch?v=gi9en4I-tjA
The “we bring you new customers” pitch that food portals is incredibly deceitful. Portals didn’t arrive on the scene with millions of customers to send to restaurants. They arrived with zero and siphoned them away using these dirty tricks (mini sites pretending to be made by the restaurant, phone numbers owned by the portals, requiring the portal stickers on the restaurants’ windows).

This blog post shows what happens when restaurants decide to leave portals: https://www.flipdish.com/ie/the-effects-of-leaving-costly-fo...
This seems as good an opportunity as any to bring up another part of the "basic" concept which feels really unhealthy: the idea that "basic" is consuming commodity, mass-market goods, and that high status is distinguishing yourself through sophisticated taste in what you consume.

This mindset is problematic for at least a few reasons:
- Every choice of consumption becomes an opportunity to over-examine
- Devaluing goods because they're common lures us into a needless chain of "upgrades" as productivity improves. We can never have a post-scarcity economy if we're taught to shun whatever isn't scarce.
- All of this plays into the framing that we're first and foremost workers and consumers.

Would we not all be happier and healthier consuming decent but not spectacular mass-produced and inexpensive food, drink, clothing, housing, cars, etc, instead of coveting a rare beer, or looking down our noses at people buying starbucks?