skysight-inc/HackerNews huggingface dataset:
To expand on this, if you use CLion as your Rust IDE it will actually show you the types for all your variables automatically. For example, if you had a line like this:

let foo = vec![1, 2, 3];

CLion would then show the type in a faded font where the type would go if you wrote it out manually like so:

let foo: Vec<i32> = vec![1, 2, 3];

This is extremely useful when working with more complicated types such as iterator chain because it lets you see exactly what type everything is without having to manually write it all out and have the compiler check it.
One of the principal maintainers of the Racket language once gave a talk, I think it was at the main Clojure conference, on a topic about Typed Racket, where he strongly outlined the reasons why HM inference is a bad idea. It was interesting to hear these differences in philosophies.
Not as enormous as the Mormon church my friend. I read from an WJS article that they have to the upper of $100B.
> If your entire concern is based in a slippery slope, it's more difficult to take it seriously

Of course the same argument could be applied to anything, such as covid back in March. "What's all the fuss about? Things are trending in a bad direction, but they're not that bad yet so naturally they will not get worse in the future." I hope the fallacy here is obvious.

> the concern conceals a disregard for actual harm happening now

I could hazard a guess as to what you're alluding to here, but it hardly matters--if you have some concern about some actual harm that's happening right now that you'd like to express, free-speech has your back with respect to your right to express it.

> "Cancellation" is a democratization of power. It allows the little guy to push back effectively against the bigger guy.

You have it completely backwards. You can't cancel someone without power over them, and many of the targets of cancellation have had little power and were cancelled by people with literal, explicit power over them (e.g., Lindsay Shepherd).

> Saying "look there's the possibility that it might eventually have bad consequences" rings hollow when it's also actively having good consequences right now.

"Good" is in the eye of the beholder, and you're observing the fleeting convenience of authoritarianism.
Wouldn’t it be easier to just plant something else every other year?

I thought this was solved literally 1000 years ago: https://en.m.wikipedia.org/wiki/Three-field_system
Learn how to negotiate
Me too, I know Acronym tracks this week by week now but I haven't seen historical data (https://www.anotheracronym.org/newsletter/fwiw-voter-registr... from their newsletter this AM).

They do ban it, although I'd be curious to see if the parties here actually abide by the ban
A video is a series of pictures, so not "technically" inaccurate...
Except to use your metaphor, software control of a webcam is like closing the blinds and putting a physical cover over the lens is like covering a window in aluminum foil in addition to closing the blinds.
I use LibreOffice daily, I wrote all my publications including my monograph with it. For my purposes, Calc works just as well as Excel too.
Sorry, but if you publicly make ignorant statements on social media about a group of people then you and your project/community/whatever deserve to be called out for not being inclusive.

If you want to foster an environment of inclusion and collaboration I'd recommend not making statements that prove the exact opposite.

I appreciate the marketing, though. It'll help me know what projects to avoid.
Ehh, it's always been fine. But who is going to pay for it, when it basically works and it's free? People who have the money to pay for an office suite will just buy Microsoft.

There's a reason why this product has been bouncing around for 20+ years from StarOffice to OpenOffice to Libreoffice, owned by Sun and Novell and SCO or whatever, who can even remember? It's not going to be a money maker, because there's never, ever going to be any reason to buy it.

Even if they port it to the browser and market a cloud/onprem-capable competitor to Office 365, people still won't buy it.

The ideal candidates for using it are institutions like schools that are cash strapped, but then how will they train their students to use MS Office, how will they deal with all their macro-infested Excel sheets and Access DBs? No good answer.
Thanks, I was confused.
Clickable link: https://learnawesome.org

Code repositories for:

- Web application: https://github.com/learn-awesome/learn (license is AGPL 3.0)

- Browser extension: https://github.com/learn-awesome/webextension It cleverly generates a question/answer pair from a simple text selection from your Web reading: https://medium.com/learn-awesome/practice-what-you-learn-usi...

- Reusable flashcard practice widget: https://github.com/learn-awesome/flashcard This is built with VueJS and lets anyone create articles with spaced-repetition built-in similar to Andy Matuschak's fantastic posts on Quantum computing.

- There's even an absolutely rudimentary mobile app on Android built with Flutter: https://github.com/learn-awesome/mobile-app which just makes it easy to look up links or add them to the repository
You do have to consider that the US is a very large country consisting mostly of empty space. The prices are set so that you can use data in the middle of nowhere (or more realistically, along a freeway that runs through the middle of nowhere), or inside a large city.

I'm sure it could be cheaper if your constraint was "only works in the 5 boros of New York City" versus "everywhere in the country", but it doesn't seem like people would buy that plan.
There are multiple techniques that might be used (and countermeasures that might have to be bypassed) but these links should get you started -

https://stackoverflow.com/questions/14760587/how-does-a-nop-...

https://stackoverflow.com/questions/49620893/return-into-lib...

And yes, arbitrary code execution is a common goal of these exploits, though it may not always be possible--sometimes you only get a DoS attack or such.
When did the change to consulting happen?
Should be a tiny mechanical device in addition to the light and it should only unlock with touch id. Same for microphone. Honestly, I want the same thing for phones too. The ease by which we are monitored is too damn high.
This hosted workflow allows you to track Github profile views and display them in your profile readme. It was inspired by Artem Golubin's post yesterday - https://news.ycombinator.com/item?id=23780530

It's quite simple and you can set it up in a couple of minutes:

1. Copy this workflow to your Pipedream account

2. Create a readme.md file for your GitHub profile

3. Add the counter image to your Github Readme

4. Your profile views will be counted and displayed
It was just a choice Microsoft made. Wine happily runs win16 apps on x86_64 Linux.

There was a wine derived thing that used to work on Win64 to run win16 apps, but something in later windows versions broke that.
What if you don't have a smart phone?
Funnily enough, farming on common land was a major part of the English economy several centuries ago, and presumably other Medieval countries as well. What do you think the "tragedy of the commons" is named for?
Minimum wages were initially created as a way to price people of color out of the job market. They still disproportionally effect people of color. Creating a floor on earnings prevents a large section of the population from ever getting ANY work experience. If they can't ever get to the first rung of the career ladder they're unlikely to ever get beyond that.

There's some weird obsession of hoping that businesses (or the free market) are going to solve all of the problems of society. That's clearly not the case, but instead of the government stepping in to address those issues, they hope that creating things like earnings floor mandates will solve the problem. Those patchwork implementation generally end up having unintended (or in the case of minimum wages, actually intended and racist) consequences.
Last year, according to the other comments in this thread.
That's some great advice. I'll definitely look into the ORCID sign-in. Thank you!
TikTok and Chinese apps in general are having a tough day. While nothing malicious has been conclusively shown—save for iOS pasteboard spying which it seems EVERY app is doing—I suspect that this is a geo-strategic move by the US and our Allies to dominate and flex economic power over China.
But it has a pretty bad record of targeting "upward" and those few 'upward' targets suffer much less than the many 'downward' targets. "Ineffective in the best case" is not a very compelling argument.
> To a large degree, I think a lot of the challenges around nuance and offense-taking online are just a consequence of how communications being mediated by the Internet dehumanizes people. My experience has been that having a deep conversation over a drink in person generally leads to more positive outcomes, even with irreconcilable disagreements, than writing something online which can be excoriated on social media.

Yes, exactly right. Unfortunately however even the meat space domain seem to be getting infected with this. I was recently in a hotel lobby waiting for an Uber and heard a conversation between two strangers. It started out fine but then one person said something mildly political. Almost immediately it seemed like a switch flipped in the other person and he began preaching and talking over. He clearly wasn't even hearing what the first person was saying, but was hearing what he thought that person would say (and was not accurate). It was demoralizing to say the least. We're getting so conditioned with outrage and hatred for people online that it's moving into "real life."
The downside to your approach is the natural tendency for people to defend their own ideas rather than participate in the discussion.
I imagine that's a more tractable problem to solve but as it stands this is definitely the bigger issue.
Fair point, but both those shows initially found popularity before the streaming era. Is NBC still capable of producing content that people will binge-watch 10-20 years later for a nostalgia kick?
Im not sure how europe handled the hospitals during the shutdown. In the US, they basically stopped serving the public aside from COVID-19. I know someone who was scheduled for major heart surgery, which has been postponed indefinitely. He could easily fall into the excess mortality category. Meanwhile, hospitals are furloughing employees due lack of patients everywhere besides the hotspots.

My specific gripe is not with the lockdowns themselves, but with how the hospitals have reacted by essentially abandoning anyone who suffers from other diseasese.
>Does anyone here work an environment where LibreOffice is sufficient?

I used to do IT for a high-school with ~300 students, faculty and staff. Ubuntu dolled up to look kinda Windows-ish on half the lab machines. Windows on the other half. Faculty got a Toshiba Sattelite Pros that had windows licenses. Servers all ran linux. We used Libreoffice on everything and aside from a few complainers it was fine.
IANAL but it sounds like you should talk to one (lawyer that is)
How long until we can deploy fleets of microdrones capable of killing pests with computer vision and lasers?
Only when the cover is shut. That prevents an important set of attacks. But a mechanical switch in the power connection to the two devices keeps you from accidentally broadcasting when on, say, a Zoom call.
I don't understand this objection. OCaml does full program inference. I just prefer to wrap things into modules from time to time. That's a pragmatic choice I make, not a restriction on type-inference.

Aside, when I decide to change where I put module boundaries, full program inference helps too: I just throw away the old module definitions, draw different boundaries and re-run inference.
That's an awesome find, thank you!
Good start. Hopefully the rest of the corporations and world governments follow.
Citation still needed.

The environmental problems we're facing in agriculture seems more closely related to our need to improve yield given limited land / proximity with customers.

If you hate on agricultural technology, you're just hating on the effect, not the cause.

Most people are against your so-called "environmental problems". It's just that solutions have to be financially sustainable besides being environmentally sustainable. The original comment you replied to was suggesting how that trade-off can be fixed with technology, just like many other trade-offs before it.
I started a dog treat company very recently (a couple of months ago), and it was definitely a combination of circumstance and everything I'd learned that made me decide I was ready to go for it.

On the circumstance side, I had actually left the tech industry to start a dog boarding business, but Covid hit right as I was about to close my SBA loan and start construction, so I cut bait rather than take a very large, personally guaranteed loan to start a business driven by people traveling and going into the office. I had decided to go the franchise route for that, largely to give myself the confidence that I would be able to get through all the unknowns with the backing of folks who had done this many times before.

After I called that off, I decided to strike out on my own and sell a frozen dog treat mix that I had been making for my dog. The pandemic circumstances (being at home, collecting unemployment) definitely helped, but the big obstacle for me was honestly less about time/money and more about a lack of confidence (which is weird because most people who know me would probably describe me as confident to the point of vanity). Honestly though, going through the initial part of getting the dog boarding business set up really helped - I had to deal with a bunch of stuff I'd never dealt with before (architect, permits, finding a contractor, leasing a space, getting all the various HR stuff set up to hire someone), and it just wasn't that difficult to deal with each thing as it came up. I think it helps that my background is in product management at early-stage companies, so that entailed a lot of generalist problem solving.

The other thing that helped, quite honestly, was seeing the other people in the franchise. They were, to be charitable, generally somewhat less sharp than the type of people I had become accustomed to working with in Silicon Valley, and most of them were running their businesses reasonably profitably. If they could run businesses, then clearly I ought to be able to.

I guess one last thing I'll add is that I own a few apartments in the Bay Area along with a couple of other folks, and that's been helpful both because they generate income and because that's a very small scale example of running a business (I have a full time property manager, so I don't have to do much), which is, again, a confidence builder. If you're able to start any kind of small scale business while working just to help build your confidence, that might be a good intermediate step even if you're not ready to fully quit and go out on your own.
the following comment is besides your point. I apologize in advance for this.

In my opinion, that first statement is very bad. What classifies an either claim or evidence as extraordinary?

The claim "Extraordinary claims require extraordinary evidence." itself is extraordinary and would be in dire need of something backing it up. Not extraordinary perhaps, but still.
I think it depends on the algorithm & implementation, but in at least some cases type inference adds very little code over type checking. (To some degree, both are propagating and unifying types through the program and throwing an error when trying to unify two things that aren't the same. And depending on the language, you've got to have some non-trivial machinery for handling function overloads, which can require inference-y reasoning anyway (like calling an overloaded function immediately with the result of another overloaded function).)

On the other hand, non-local inference can make things more complicated in some situations, depending on how hard you try. For instance, Rust gives up if you don't know the type of a variable and you try to accesses a member of it, where I once wrote a more complicated iterative solver that would see if it could infer the type of the variable from later context and return to the member access later. For example, consider the following Rust code where the compiler could figure out the types with some additional complexity but doesn't bother:

fn main() {
let a = (1..10).collect();
println!("{:?}", a.len());
let b: Vec<i32> = a;
}

error[E0282]: type annotations needed
There was a patch[1] a few years ago, but apparently it didn't make it into mainline. At least looking in net/ipv4/tcp.c I haven't found any traces related to that.

However, I could have sworn that I've seen a similar patch in recent years, but either my memories are serving me wrong or I simply can't find it anymore.

Nevertheless, I didn't benchmark whether this is the case, nor was performance the main goal for writing ip2unix. So if performance is a concern, maybe benchmark with your specific workload?

https://www.spinics.net/lists/netdev/msg210741.html
No problem, good luck!
Much to my surprise, amazon Alexa devices with mute buttons use a hard button, not a soft input.
Regardless of what any company/product doing specifically, I do not think it is unreasonable to require a fresh token out of an authenticator if you wish to remove said authenticator from your account.

Hypothetically, what if you had 2 forms of 2nd factor to access your account? One is a passphrase you receive via SMS and another is a hardware token you possess. Should you be able to remove the hardware token based on an SMS authenticator response? Should you be able to remove both factors if you have a current session that was authorized at some prior time via one of the factors?

I think the answers boil down to just how secure the application needs to be. If you have 2FA protection, but any authorized session is valid for a year, is this actually providing any protection? I have zero problems with the idea of being required to 2FA into my brokerage app every time I want to use it. I feel like the equation can be partially reduced to:

"If your app is not so security critical that any prior-authorized session up to 30+ days can arbitrarily remove 2FA tokens, then why have 2FA in the first place?"

The amount of time a 2FA-authorized session is valid for seems to be the hangup for me. If its really short (<24 hours), then I would say don't require a reauth to remove a token. But, if a session can be valid for months, then it is much more likely that a bad person has your laptop and wants to maliciously remove your token. The longer the session can be valid for, the more a 2FA re-auth seems to be necessary to ensure a bad actor is not involved.

But, I recognize that there are so many UX considerations when talking about massive scale products that Google puts out. Supporting mandatory 2FA re-auth for token removal would probably be an extremely expensive process, as manual verification with live persons would be required to recover accounts with lost tokens.
While not strictly an upgrade problem in going from Mint 19.3 to Mint 20, I found that the default mysql version in Mint 20 (mysql 8.0) does not allow some settings currently used with the default mysql version used in Mint 19.3 (mysql 5.7).

Normally I can feed a final mysqldump of my old databases on my old Mint version into the fresh install of mysql on the new Mint version. Not this time!

Before you upgrade from Mint 19.3 to Mint 20, save yourself some angst. Check your mysql database settings. Change the mysql engine from 'MyISAM' to 'InnoDB'. Change the default character set from 'latin1' to 'utf8mb4'.
Emulating Windows system calls in Linux
>>Regulation of virtual goods economics market will be an important debate. But most people don't even know about these huge markets, let alone politicians.

Thats not quite true w.r.t. loot boxes. Several EU and Asian countries have already classified them as gambling and regulated them as such. I believe EA's Fifa soccer was pulled from several countries because of this.
What kind of business did you buy? I've been looking into that, but it's tough for me to pull the trigger just due to fear of the unknown (e.g. if I buy an ecommerce business and the supplier immediately goes out of business, will I be able to find a new one?).
Then peoples hours would be capped at < 15 bad employers do this in the uk
> the ability to make very quick investment decisions (given you are the sole decision maker and don't have to persuade any partners)

This specific advantage also benefits Warren Buffett, except in a different investment arena.
As I said yesterday in our conversation, we are in agreement there but I'm not quite sure it solves the problem. A "good start" isn't a solution to the problem and even the "good start" requires enforcing some form of racial governance model otherwise its just another county of the United States.

The situation is at the very least complex and will likely require a "morally impure" solution.
The cookie is not something that is "possessed". This is a case of two separate things you "know", such as a username and a password. If they added a second password, it would still only be 1FA. For it to be considered a "second factor" it should either be "something you have" e.g. a physical hardware token (or to a lesser extent a phone who has a saved shared secret, although it's arguable whether that counts), or "something you are" like a biometric verification (fingerprint, retina scan, etc)
Making Netflix's Data Infrastructure Cost-Effective
Look, customers! :)
That makes it worse actually. Thanks for sharing.
I agree it's not a good analogy but ask any of my peers in Venezuela how they feel about bitcoin and they'll strongly disagree with your sentiment that users don't care about a single thing about it.

Saying bitcoin is a failure because mainstream users don't care about it is like saying electric cars are a failure because they've been around for decades and aren't mainstream yet. Disruptive technologies take time to become the de facto standard.
I did. I said it technically depends on intent; however, in practice it's implausible that you weren't issuing a threat, and threats don't constitute free speech.
That is an interesting question. I'm not the OP, I'll think about it.

Do you have any criteria?
the middle of nowhere is much cheaper to cover than New York City though, you need a lot less antennas ;-)
At this time we specifically bought computers with modules for radios that we could pull. Toshiba was happy to supply this to us.
The webcam is behind the same pane of glass as the display. It's similar construction to a typical modern cell phone.

When the laptop is closed, the webcam lands around the bottom of the trackpad. There's a small gap between the screen and the lower lid, and the trackpad is recessed slightly, but not by much, and it doesn't have any "give". A bulky webcam cover will strike the trackpad and may shatter the glass of the display and/or the trackpad, especially if the laptop is closed quickly.
In Sudan (where I live in), numbers are a little bit different.

I'm currently using Sudani, the cost of 1 GB is 20 SDG. To USD that roughly equals ($0.14, with rate $1 = 140 SDG). The numbers are the same for MTN, or slightly less since i recall it was 15 SDG.

In office we are using an unlimited Wimax plan [1], and that costs us like 1800SDG / month ($12). For 4G unlimited plan, that is like twice the cost at roughly $28.

Edit adding wimax wikipedia link
[1]: https://en.wikipedia.org/wiki/WiMAX
I'm not objecting to anything. This is how I thought most people used inference in OCaml.