skysight-inc/HackerNews huggingface dataset:
I've not had the chance yet to play with OCaml or Haskell in earnest, but it's on my list.

One thing that I'm fascinated and terrified by is the global type inference.

Doesn't it get really hard to figure how how you're allowed to call things?

Does it make your IDE experience slow? Similar to one of the things mentioned in the OP, I would think that the type hints would be super helpful to the compiler/analyzer.
There are countless chat apps in the market right now. What competition is this killing?
I have no doubt. That's why I said 'mostly'. It's a cold. A bad one, for some. Mostly, we perform the act of the pandemic. The acts offer confidence to the neurotic.
>That's an improvement over the usual HN COVID-19 threads, where 'it's just a hoax-flu, bro, stop spreading fear' usually gets upvoted and posts pointing out the dangers of SARS-CoV-2--and of SARS-CoV-2 disinformation--are downvoted, flagged, or removed.

Is this something that's happening within the last few weeks, or a few months ago when the pandemic was just starting? I find the former extremely hard to believe.
It doesn't feel like Newsom should get any credit for California outcome. His policies have been irrational and "reopening" plans intended to mollify alcoholics and commercial landlords led directly to resurgence of the disease. The credit should fall generally on the people of California, not their government.
You absolutely can maintain a high TDEE with just walking alone.

For example, if you walk for 8+ hours per day, as people do when thru hiking, you will struggle to maintain bodyweight. Hikers spend a lot of time thinking about the most energy dense foods they can take with them to fuel their activity, which is low intensity but sufficiently high in volume that it drastically increases their energy expenditure due to activity.

The description of your own experience is most simply explained by your usual diet putting you into a caloric surplus at your current activity levels, whereas when you were more active it was just enough to maintain or put you into a small deficit regularly.
I'm not sure that counts as "consumption." We also "cultivate" countless microscopic animals such as bacteria in the gut and on the skin but that doesn't really count as it is both unavoidable and requires no choice. Vegans choose not to consume animals to the greatest extent possible and that's what is being discussed.
They are bad managers that work at bad companies, then.
Bigger and more diverse countries have a wider variety of political issues and priorities. When was the last time broadband even registered as a political issue in the news, except in the context of some other more important political debate (urban/rural, racial disparity, etc.) And in the US, construction of infrastructure is mostly a municipal level issue, so its both low priority and varies dramatically by state.

Here in Maryland (which is a small, politically homogenous, rich state, just like Denmark), most of the state has fiber or gigabit cable and broadband speeds are very fast: https://www.webfx.com/blog/internet/fastest-internet-connect...

> In fact, the next state on the list, Maryland, is nearly tied with Denmark for the second-fastest Internet speed on Earth.
Uuuuggggghhhhhh

While I've already kind of fallen out of love with Slack, I do appreciate that they are independent. I do understand why smaller companies do this, but generally it results in a crappier product. Skype is a perfect example of a good product left to rot on the corporate vine.

The software world would be so much richer if there were more difficult for bigger companies to suck them up and turn them into corporate goop. I'm not necessarily suggesting regulation here. Just wishful thinking.
>because Buster doesn't work on it

Assuming you mean Debian Buster: Then get a newer Firefox version from backports. This is more related to Firefox ESR than Buster.

Edit: Nevermind... After reading other replies, I think eznzt referred to https://github.com/dessant/buster
Moving fast and breaking people is, horrifically, the status quo. Special interests in healthcare, enabled by heavy regulation, go great lengths to insulate doctors from the consequences of providing poor care and the rewards of providing excellent care. We all suffer as a result.

Your experience with healthcare might be different, but my own experience in the US has been this: I rarely see doctors that have later contacted me to see how the treatment they prescribed was working. Nearly every other service or product I purchase entreats me with a satisfaction survey at some point. I've asked myself: why don't doctors care about my outcome?

I have concluded that while I am the one with the sick body and paying money to fix myself, I am not the only customer. The regulatory agencies, credentialing schools, special interest groups, pharmaceutical companies, and healthcare unions are too.
I'd guess if(!foo). It makes sense in some languages where the value can only be either true or false. It will lead to nasty bugs if the value can be null, or the language has truthy-falsy values and the condition accepts non bool values
> If I'm sending things out that my reports can't or don't want to read,

If you have to ask..
The hypocrisy displayed in this incident is especially teeth grinding. It's maddening enough to see a leader flouting their own rules. But then to add people representing a medical organization just makes it that much worse. As you say, politicians gonna politician. But I would expect that if anyone would actually know better, it would be members of a medical organization.
Correct. Quip is not a wiki. I would call it an “opinionated and stripped-down version of GSuite with excellent collaboration support”. Quip also has chat stapled to it.

Slack is missing doc management/creation. Quip is missing a good chat solution. It’s almost like PB&J.
The US military is a system that converts high school students (of varying capabilities) into soldiers and officers.

1. You start with propaganda: movies and video games that show the military in a positive light, encouraging a number of impressionable kids to join the military. I'm not against propaganda btw, but I understand how it works: the modern military spends a lot of money on Call of Duty esports for example, Twitch.tv recruitment, etc. etc. The goal is to make a positive first impression, usually through an entertainment venue (sports, video games, or movies)

2. You continue with explicit ROTC programs: where the high schoolers (or college-kids) can get their first real taste of military culture.

3. At actual recruitment: there are standardized tests that sort students off of their capabilities: finding a job that matches their skillsets.

4. You have a training program ("Boot Camp") that gives these recruits the skills they need to start their job.

5. You have a clear and well-understood ladder, organized by rank and pay-grade. Though its somewhat complex to outsiders, those within the military fully understand what they need to do to grow as a soldier (or officer). There's no ambiguity for what's needed to grow from E1 to E2 or from Lieutenant to Major. There's a literal army of bean-counters who are also double-checking and triple-checking the results to make sure things are going as planned across divisions.

6. Post-military life is also considered: the GI Bill ensures that college-life is guaranteed for soldiers, to be ready to be retrained after their military career. As such, military life can be temporary (4 years or 8 year stints), or permanent (a full 30+ year career). Both lives are encouraged and well supported by the structure. A number of Federal jobs (and state-jobs) even provide explicit bonuses to veterans, to help the soldier transition into post-military life.

--------

That's how you recruit, and train soldiers in the military. If your point is that the military has an awesome ability to recruit and train personnel, I fully agree with you.

But don't diminish the amount of thought, and resources, that have been poured into the military structure. From pre-recruitment propaganda, to recruitment programs, to continuing education (and the entire promotion structure), the military requires a LOT of money and manpower to support.

If you want to deploy such a "bootcamp" for nurses and doctors, I think I'm in agreement with you. I just want to be clear that such a "Bootcamp" will be extremely expensive, no matter how I look at it. Even if you cut out propaganda, and a bunch of excess spending stuff (military bands and other "morale builders"), the core of the military recruitment / training / post-training structure is very expensive.
There's a good reason for what you're identifying as misuse.

If you show a captcha after a failed password, you need to show a one after a correct password as well. Otherwise you leak information. You can have other solutions, e.g. in a login flow that splits the username and password entry, it's advantageous to put the captcha between those two steps. But even in those solutions the display of the captcha must be independent of password correctness.
Thats too bad, I always imagined the backend was as magical as what AWS users see. I still wish I could have a peek at how S3 works or IAM. Not enough to get a job at AWS - I know they'd fire me the first time I left early for a parent teacher conference or took a sick day, so why put myself in that position.
That is an investigative blog post I would like to read too.
I would venture that the repeated attempts from multiple users to not mark the mailbox will help with that.
It's semi-related, but if you're into easier regex, have a look at janet's PEGs

https://janet-lang.org/docs/peg.html
It's entirely predictably that some politicians would behave in this fashion.

What shocks me is that that is your reaction; not that this indicates the rules are themselves ludicrous.
Almost all of the users that Cloudflare shows captchas to are Tor users. Is there any reason why this couldn’t be done without Javascript?
I like to think of HN as contrarian, not negative. Techies are cynical by nature because the promise and reality of technology are perpetually so far apart. And if your actual job in life is to anticipate where the problems are going to surface in technology, well... the longer you live with that, you develop commensurate expectations and compensatory mental models.
So you're under the impression that, among the people who expressed concern at the widespread accusations of voter fraud, literally none of them will be satisfied by having had those allegations pursued and resolved under scrutiny?
> which is basically why after a single reCAPTCHA solve, you wont see them prompt you again for ages - they know who you are.

If only. If the same site has reCaptcha across more than one page, within mere minutes of having to slog through multiple screens of one, I can guarantee I'll be doing it again.

And I'm never sure if Google has served me either a very long sequence of reCaptchas, or whether they've decided I'm not a person and are serving me an infinite reCaptcha.
Can you get a binary flash runtime blob that you are allowed to redistribute?

Won't you also need permission to create a derived work from the blob?
Your cookie approach requires:

> If you are using the very latest version of Safari on either the recently released OS X 10.15 or iOS 13.4, Apple has just changed the behavior of Safari related to third-party cookies, blocking all of them by default. We are implementing a solution, but in the meantime please visit Safari Preferences, Privacy section, and uncheck "Website tracking: Prevent cross-site tracking" to enable the accessibility cookie to function as expected. [0]

[0]: https://www.hcaptcha.com/accessibility

So while you're patting yourself on the back for not "being like Google", your accessibility workaround exposes blind users to third party trackers like Google.
Not with current fab / material processes. Silicon Valley hosts the most Superfund sites in the US for a reason - there's an awful lot of really nasty chemicals involved in semiconductor manufacturing, some of which can probably be used to make drugs or explosives (so subject to various control laws), and the feature sizes are so small that the fabs require expensive air filters...

Custom boards are a thing already, you can go up to three layers in an amateur/hobbyist setting AFAIK, but that won't help you much when dealing with high-frequency stuff or very fine pitch settings as the thickness and other parameters will vary across the board. Many countries already have somewhat cheap-ish "rapid prototype PCB" shops, some even do assembly for you. That's good enough even for most HF stuff.
About that b). It‘s less about internet speed and more about your CPU not being fast enough to render everyhting in a useful time. With all that lazy loading, the browser is stuck with rendering for a couple of seconds - for each page...
yeah every amplify app should be down/super slow right now.
This is pretty much exactly how Freenet works.
I really like the approach, but needing a license from Adobe/Harman really limits the use-cases.

I know that's not something you can solve, just unfortunate :(
I have mixed feelings on this.

On the one hand, I'm like you. I don't want to be forced to use a specific tool to work with a programming language.

But I can't quite put my finger on why. Like, what if we just say "language Foo includes a compiler and the working environment is this IDE"? Is that wrong? It kinda feels wrong. But that's what Smalltalk does, right? Maybe the tight integration would actually be better.
I've looked at Nitrogen a couple times, but I haven't had a project to try it out on yet.

It looks really neat but also very websockety... I like to build websites/webapps that are enhanced but have sane (if sometimes clunky) fallbacks for users who aren't running JavaScript. How hard is it to shoehorn such fallbacks into a Nitrogen project?
ProtonMail and Tutanota
Ratings and possibly a good distraction from how things are at home as well. As an American, I could not believe how many people, also Americans, that I knew that were distraught over Brexit.
I prefer Maradona but Messi is better and it's not about stats.

You just have to look at any game from the 2010/11 season to realize that.
Google uses reCAPTCHA labels exclusively for themselves, and is extracting hundreds of free person years of labor from internet users every single day via this. hCaptcha lets anyone access this type of service, provided they follow certain ethical AI guidelines
Is the democratic and republican parties not two billionaire or more machines? So, pardon I should have been more clear.

If you choose to believe what your side tells is truth that's fine. I just have a different view and if i have money and want power i am going to use it either solo(ly) or collectively to get what I want. Look at what Peter Thiel did with his money cause of the axe he had to grind with Gawker. He paid for Hulk Hogan's legal defense to annihilate Gawker. I'm sure other money/power bags do similarly and lots in politics. So and for me that is why I believe all politics is mumbo jumbo spun up by billionaires to win; whatever it takes!
I used to work on a team mixed of economics PhDs from Yale/Princeton/Harvard and with Phd Mathematicians. I know what economics is. All the best hedge funds are run by either math people or ruthless business men who cheat/activist invest/have non public information.

Also, the FED is in the process of destroying the US dollar and hyper inflating all the assets. Everyone but the capitalists are getting poorer.

The "Chief Economists" of many major US banks dont even hold economics degrees. People arent rational actors that you can plug into a math equation.

"If finding these smaller scale strategies requires expertise, then the expert probably has better things to do with their time. I suppose that holds to arguing with idiots on Hacker News."

Theres alot of friction of getting data to analyze, developing a strategy, executing the strategy, paying fees, managing risk, hedging. If you know how to do all that, you are probably already employed in that capacity or you run your own fund. But yes, if youre smart you can find an edge. Theres a ton of small man shops in NYC with 5 million in capital where everyone makes 600-1M a year.
And every other natural death in the last 1000 years? Are they too entitled to theoretical disgruntlement?
Positively charged electrodes provide a restoring force. The system effectively becomes a Penning trap.

I'm trying to target 15kev ion energies with my prototype so I was going to aim for 60kv on the end electrodes, and 0.35T for the magnet.
How'd you do it?
This talks specifically about the regulated and licensed profession of “Engineering”, which excludes most of Software jobs.
Importing the word value into the definition of hypocrisy seems at least subject to debate. One could also be declared hypocritical relative to some enforced meaningless behavior or in some "rules for thee but not not for me" sense.

With politicians, there is also at stake the deeper value of they in particular supporting the rule of law.
Sexual marketplaces have different set of parameters. Whatever the popular media says women are attracted by high social status male. Higher social status can be taller/muscular men, richer men, famous men or men with many girlfriends(proxy for higher status).

I don't know how many signals for higher social status your profile ticks. But in my opinion improving any one of the signals can improve dating outcome.
Yep. I was thinking of it more in a qualitative sense, similar to characterizing a phrasing/word choice as “corporate-speak” whether or not it is made by a corporation or not.

But perhaps there’s a better descriptor that also travels across cultures and legal frameworks (e.g. not all jurisdictions use the “corporation” nomenclature).

From Wikipedia: “ In American English, the word corporation is most often used to describe large business corporations.[7] In British English and in the Commonwealth countries, the term company is more widely used to describe the same sort of entity while the word corporation encompasses all incorporated entities.”

Communicating ideas precisely yet with nuance is a fun challenge :-)
I actually use Jira, Bitbucket and Confluence (all Server versiob) in a small team (maybe 5 people) and I really enjoy it. It‘s good in what it does, it does the things you want it to do and the 3 tools are good integrated.

For my other team members, they enjoy Confluence more than Jira, because Jira feels a bit difficult.
For a lot of people, they want to run a service and not have to spend a significant amount of time and energy investing in anti-abuse. In general anti-abuse work is not nearly as useful as product work, a day off, or a variety of other things.

I agree, there should be better ways to do anti-abuse. Yet I find myself coming up empty when I try to find better options for the common scenario where people would really rather invest deeply in their service than in anti-abuse.

I would love to hear some ideas about how to solve this nasty general problem while also respecting user time and privacy. Unfortunately, I've found that entirely too often the vague sense that there must be a better way fails to translate into substantive better way.
Zulip's UI is pretty laggy in my experience (only used it on a big public server), can't seem to remember what I have already read sometimes and seems to only support threaded conversations (called topics by Zulip).
I haven't hosted it, so I don't know how much work is self-hosting it. Still seems like a better idea than sending all of your company discussions to e.g. Microsoft, especially when you're not from the US and can be the target of industrial espionage by the US government.
I was really disappointed in Newsom going to that dinner. I don't understand how no one pointed out the optics to him beforehand. The fact that it was a lobbyists birthday is even worse. There will definitely be attack ads around this next cycle, that's for certain.

And aside from politics, his bad example will definitely influence people who were on the fence about Thanksgiving gatherings. A human toll, for such a frivolous action.
Why has it been terrible? Do you have a customer success contact? Is your employer giving you time to learn SF or budget to hire a consultant?

If there’s something missing all you need is either time or budget to have it built.
What if they know better. After all who else if not them.

Just couple days ago an epidemiologist on NPR was talking that those summer beach restrictions didn't make sense as being outside is least risky situation. I suppose many other restrictions are the same "Do Something". Like the current curfew in CA.
I'm not sure you understand how citation works.

A first-hand account of farmers' living conditions in your local area isn't a reliable source that shows that there are "whole continents where people are treated as commodities". Nor do I see how this specifically relates to the underlying topic of veganism. Perhaps you can link the two topics so that I can see the point you are making?

> As I said before, empathy is a great quality to cultivate, and so does awareness.

I don't recall disagreeing with this.
Right? I'm thinking ww2/ww1/spanish flu must be much worse? Wikipedia says covid-19 killed around 1.4M so far, but the spanish flu killed between 17-11 million.
How to record audio on iPhone browser?
I'm working on a web app that involves the user recording a response.

Safari and chrome both seem to not allow that on iphones. Is there any solution short of building an app for iphone users? Android is easy, user can just grant permission.
I read the paper (1) and it's kind of pointless. There's no actual evidence of anything in this paper. It consists of a database search of stars in the WOW signal direction, finding one that is sort of like the Sun. It is unknown if this star even has any exoplanets. Many comments think there is an exoplanet, so let me emphasize that all that is known to exist is a star.

(1) https://arxiv.org/pdf/2011.06090.pdf
The standard multiplication algorithm is an algorithm for taking base-b representations of two numbers and outputting the base-b representation of the product of those numbers. A base-b representation of a number is a sequence of digits. A sequence is a function.

This is not a large conceptual chasm. It is boilerplate for actually talking about decimal (or binary or hex or whatever) representations of numbers. Here is one version of that boilerplate, spelled out:

Think of a base-10 representation of a natural number as a function with domain N (the set of natural numbers) and codomain {0, ..., 9}, where f(0) is the ones digit, f(1) is the tens digit, f(2) is the hundreds digit and so on. (This function will be finitely supported, i.e. all but finitely many inputs to this function will give output 0.)

If f and g are the representations of two numbers n and m, then one can say the following about the representation of their product n * m:

(1) Extend the codomain of f and g, to N, i.e. think of them as functions N -> N instead of functions N -> {0, ..., 9}.
(2) Compute the convolution of those two functions, giving you another (still finitely supported) function h: N -> N. Usually at this point h will have values that are larger than 10.
(3) Do all the carrying (e.g. repeatedly take the first n for which h(n) > 10, and subtract 10 from h(n) and add 1 to h(n+1)). Now all the values of h are in {0, ..., 9}, so you can think of h as a function N -> {0, ..., 9}.

The resulting function h is the base-10 representation of the product of the two numbers that f and g represent.