skysight-inc/HackerNews huggingface dataset:
so ideologically different that you can not tolerate their opinion

that still doesn't require me to stay away from them.
if there is an opinion so bad that it actually is intolerable, (which the kkk obviously represents) then it is on us to do something about it. none of that affects whether i ought to socialize with these people or not. it only affects why. if my goal is to change them then i should be allowed to do that.

social ostracization of aggressive, intolerable groups is an effective strategy

effective to do what? to change their mind? i'd like to see some evidence for that, because i don't believe it. ostracization only strengthens people in their opinions. it may make then unable to spread their ideas, but it doesn't help them change.

ostracization also can end up hurting the wrong people. those who want to get out but can't because they don't have anyone helping them. it causes people who are actually unsure get stuck because they have noone showing them that there is another way. it causes people who realize that they are wrong being unable to get out because they have to fear to end up being completely isolated. they don't know that there will be others who welcome them. for all they know they have to expect to remain shunned because they are afraid could not convince anyone that they changed. (this is made even worse by todays climate of ostracizing people for things they said years ago. you said something racist on twitter once, and noone will ever believe that you learned your lesson for the rest of your life)

changing your opinion and then finding new friends looks easy from the outside, but very risky from the inside. finding new friends, and then have those friends help you get out is the only way.

it's up to us to be those friends.

a problem here is also who decides who ought to be ostracized. i should have the right to associate with whoever i want. it's not anyone's place to decide whether i am capable of avoiding to get influenced by those people or not.

if you are a close friend who knows me well, you may be able to tell if these people are getting to me or not and you can tell me, or help me avoid that influence. if you aren't already a friend, then your only option is to become my friend and find out. and if necessary help me understand that these people are influencing me. but if you ostracize me because i am not doing what you think i should, then you will achieve the opposite of what you set out to do.

you see, it's friends all the way down. and all the way up. the only way to change the world, is to change its people, one person at a time.

ostracization leads to disunity, and disunity leads to war. the well-being of the worlds society, its peace and security can not be achieved if we keep ostracizing each other.
If you get proficient in a technology, you'll be employable regardless of the market size or niche. There's always demand for specialists.

On the other hand if you're more of a generalist, I'd say stay with popular technologies such as Python, JVM and .NET. You can't go wrong with any of these for the next 20 years.

PHP has been making strides lately with JIT, Laravel and proposals for generics. So staying on it shouldn't prove a bad choice either. But if you're looking for greener pastures while maintaining great employability, my personal bet for the next decades is .NET/C#. And it tends to pay more than PHP on average.
>78% of the people hospitalized for Covid-19 are overweight or obese

https://www.cdc.gov/nchs/fastats/obesity-overweight.htm

>Percent of adults aged 20 and over with overweight, including obesity: 73.6% (2017-2018)

Since COVID targets older people more often, this may match the adult population within these groups, as the population becomes more overweight each year and people get heavier and slightly shorter as they age.
All code reuse creates coupling on some level. Creating more abstractions in between reduces coupling but creates code bloat. There is a trade off.

For example, if you call the same function from many locations those locations are now coupled since if you change the function you change all of those locations behaviour. Many times that is desirable, in which case it is good coupling. The exact same rule applies to inheritance.
I'm 30 but don't have a license, side effect of growing up in nyc
Any basic economics textbook can explain supply and demand and the marginal substitution that occurs as prices change. "...there's no price that will stop the congestion" is simply wrong.

I already provided carpooling as an example of a behavior change that could occur in response to price increases which would reduce cars on the road while keeping the number of trips the same. There are many, many others.

I'm not sure why you think I advocate "taking away transit" - congestion pricing is one way to make transit more attractive, something it badly needs.
> Absent negative externalities or monopoly effects, a man receives from the free market what he gives to it, his material worth is a running tally of the net benefit that he has provided to his fellow man.

Reminds me of a line from a movie, something like this:

"If everyone played poker the way they're supposed to, I would win 100% of the time."
Who knows, 10 years is a long time and most of my predictions are 50/50 even a year out :). Still, I feel relatively confident based on past history (I'm a car nut, and have been for the last few decades), the incumbent manufacturers are very capable and have a valuable pool of experience to draw from.

What I truly expect to happen is that some manufacturers will try to emulate Tesla and fail. Some will remember that they know how to make cars, and that people want cars not computers on wheels, and they'll make good cars that just happen to use electric motors instead of internal combustion engines. These latter manufacturers will be very successful. The whole touchscreen-on-wheels fad is just that, a fad. On average, people's taste in cars is evolutionary, not revolutionary.
Does Big Sur let you loopback audio out yet, or are third-party extensions still required? Do Soundflower & BlackHole even work on M1?

The fact there hasn't been native loopback for so long is mind-boggling. I'm a Mac user and use BlackHole.

I've lost count of the number of times I've been on a call and someone with a Mac has gone to share screen and been confused as to why their audio isn't being shared. COVID/WFH has made this a regular occurrence.
I'm pretty sure this isn't as hard as it sounds. There are that many states, but there are not a factorial number of transitions. I often link to my blog where I explore permutations to do this, here https://taeric.github.io/cube-permutations-1.html. pretty sure this with a sims table would be all you need for a set of transitions.

Now... The minimal set is a different beast. But, not sure how to prove you have the minimal one. :(
I can’t understand why he would put his name on that open letter and remain quiet. For now, I will withhold judgment either way and hope more details emerge.

Edit: To clarify, I don’t think you’ve made enough of a case to prove Aditya’s innocence or justified your attack on Greg.
yes it's used very well I think on streams you can find on youtube e.g. "Speedy J vs. xxxxx"
This is news. I've used cubase for years because sunken cost fallacy (it's ridiculously expensive and terrible at the same time).

But scripting... too many things I do are repetitive and time wasting.

Going to take a look at Reaper again, thanks.
Thank you, this was informative
WiFi is literally the only blob Linux will have to deal with as far as we can tell, and I'll make sure our installer pulls it from the system firmware partition (which will always exist on a functional Mac) so nobody will have to worry about it. All the other blobs are loaded by system firmware before Linux even gets to run, so they might as well be invisible to us (UEFI on PCs does much the same thing).

No DKMS, ever. All our drivers are headed to mainline. I'm not even going to bother with DKMS most likely; people who want to use bleeding edge drivers before they're merged can use our kernel trees (and we'll have builds available for those folks).
Julia has ArgParse.jl for 3rd party argument parsing. It seems pretty fully featured.
I like the Ubiquiti EdgeRouter X since it doesn't try to be as magic and cloud-enabled as the USG (yes there is UNMS but they don't push you use it like they do on the Unifi gear)
Because some people understand "is a" better than "has a".
Logistics entrepreneur here. I'm keeping that quote! Apparently Robert Hilliard Barrow (1922-2008), USMC four-star general. Added to https://github.com/globalcitizen/taoup
> Because interfaces don’t confer a relationship between implementations

Having the interface implement functions does exactly that, so your point only applies for interfaces without implementations.
This is really neat, I wonder if there was a gameboy studio that really used such a tool to churn out gameboy games.
If you're personally vaccinated it kind of doesn't matter if there's another wave amongst the unvaccinated, no? Plus tech workers probably have a 90% Vax rate.
Canned soda ph2.5 and is a solution

Fountain soda ph6.5 to ph8.5 and is a suspension

The differences are stark.
Most people use Ableton / Bitwig afaik. I'm still stuck in my old ways with Renoise and an MPC.
Okay, who's joining me for an expedition? Finders keepers, right?
Or... it was re-branded.
Is there an open source resolver and Handshake to DNS gw with caching?
If the original headline had been "graduate student submits auto-generated patches wasting several hours of kernel developer time," I sincerely doubt there would have been any outrage. Certainly no one would be calling it proportionate to ban the many tens of thousands of people at their university and to revert every patch they had ever submitted.

Unfortunately for the graduate student, their lab had previously written a paper about sending buggy patches. One thing leads to another and we have "the UMN Affair"
R0 is indeed static. It's R(t), the reproduction rate at time t, that is not static.
The world works in Excel. It's not usually the best tool for any one particular job, but it does do most jobs, and it is everywhere.
I wouldn't call it as "easy" as Python or Go but I've been writing production services off the Rocket master branch (all async and compiles on stable rust but the API itself is rather unstable) for the last few months and it's been easily as productive as Django (sans ORM & django-admin integration). 80-90% of my logic is in request guard implementations and diesel types/helpers which get reused all over the place, making the controller logic trivially simple. Reimplementing most of the bells and whistles took less time than trying to decipher Django's magic anytime it goes wrong.

Rocket's DI and middleware layer with serde, validator, Rust's error handling, etc really take the pain out of the whole affair. That said I wouldn't recommend it until the ecosystem matures and stabilizes unless you really like updating lifetimes all over rocket libraries every few months.
And they didn't choose JS to do it is the cherry on top.
Broadcom has been through so many mergers and acquisitions that I doubt the two product lines have much DNA in common.
Well, if you click through and look at the OPs work they have previously written an article about the company they describe as, "basically accused the school and its chief officer of fraud".

On the comment itself though it is looking for former employees and stressing the anonymous source angle. If I'm promising not to reveal the identities off the bat I'm clearly fishing for negative views on something. Have you ever read an article where an anonymous source said something glowingly positive about a subject?

I sort of agree that Lambda School is probably over selling itself but if I were looking to learn more about it in a balanced manner I would probably use more neutral language when soliciting information.
From his posts to the mailing list it's clear that Greg was aware of the "hypocrite commit" paper and that there was some agreement in place with the University which must have stipulated "no more bogus patches". Professor Lu and everyone in his group were aware of the state of affairs. Then Aditya went and posted another bogus patch, the output of his static analyzer, to further his career, even though he should have known how that would be received. I regretfully stand by my assessment.
I think any future generations will likely have more advanced technologies for finding stuff.

And hopefully somebody figures out how to find my glasses.
Plain of Jars, one of the most mysterious archaeological sites, reveals its age
We've banned this account for breaking the site guidelines. Not cool.

https://news.ycombinator.com/newsguidelines.html
Broadcom Wi-Fi languished for something around a decade under the "b43" driver before Broadcom showed up with their brcmfmac driver, it caused significant anger within the kernel community that they decided to write a new driver instead of just augmenting the existing one
I like it much better than I expected. We picked it up about six months before I decided to part company with my Model 3 Performance.

The Bolt is nowhere near as quick as the Tesla, of course, but it's perfectly competent. Even manages to feel zippy though in a full race with an ICE car at full throttle it's clear that the Bolt is average at best. I like that it's nimble and tossable (though a sports car it definitely is not). And it's small, so it fits anywhere. It has enough power to roast the front tires, for better or worse.

We use it 99% for in-city driving and never DC fast charge aside from occasional 300 mile road trips to grandma's house. The range has been more than adequate, even in the winter. The most we ask of it on a routine basis is about 150 miles in a day, and it managed that fine even during the cold times of the winter (cold as defined by PNW standards, however). And we only charge it to 80% every night.

The seats kinda suck. They're worse than my Tesla's seats were, for sure, and I didn't like those seats very much (especially on an expensive car). The Bolt's seats don't make me hurt, but they don't make me happy either. Mostly flat, a bit hard, definitely the low spot on this car. Ours is a 2020 model, I haven't heard of any significant changes though.

At this point we have just over two years left on the lease (picked it up for just over 6K one-time payment for a 3 year high mile lease), and I will definitely be considering an outright purchase of another one at that time. Maybe the EUV. I'm disappointed the refreshed Bolt & EUV have the same relatively slow DC fast charge speed, but OTOH when we stop on the way to grandma's to charge, the fact that it takes 45 minutes to fill back up isn't really a big deal for us. We travel with two kids and it's a nice break to stretch our legs and use the facilities, etc. Since we only do that trip maybe a half dozen times a year, it's not a big issue for me overall.
I was the same way. Its hard on this old dog sometimes.
So what will be the security flaws we will see in Rust-based software in the future? Seems like there are still many kinds of flaws that no language can prevent.
If they're only paying support staff 9 to 5, it might make sense to shut it down outside of supported hours, even if it would probably still work, especially if they're not positive that it won't do something odd like start issuing duplicates if the back-end DB is down.
Maybe the english or literature stackoverflow?
Oh wow thank you for this reply yeah haha as I said I was a little iffy on how to devise an algorithm to transition from one state to another fast enough to where this would be viable. I will definitely check this out.
Martin Kleppman also has uploaded distributed systems course lectures on his channel

https://www.youtube.com/playlist?list=PLeKd45zvjcDFUEv_ohr_H...
this journal posts so much misinformation and xenophobic content i'd call it alt-right tbh, they're fucking nazis
This isn't quite the same thing, but Brave has had support for IPFS[1] for a while, which I think is a pretty cool alternative to the ICANN-controlled TLD system.

[1] https://en.wikipedia.org/wiki/InterPlanetary_File_System
No, because a proof (especially a human-constructed proof) is a finite object built out of basic pieces. The only question as to the validity of a proof is whether the basic pieces have been fit together according to the established rules of the game. We don't have to have any notion of "execution" of a proof to verify that its construction is valid.

Let me put it this way. I tell you that I can make apple juice if you give me an apple and a juicer. Do you have to give me anything to believe me?

Several researchers have indeed put together a theory of "execution" of a proof; see for instance Prof. Frank Pfenning's research program on logic-based process calculi. These theories tend to have the common theme of execution as normalization -- the chosen mode of execution actively changes and evolves the proof structure until it reaches a terminal form, usually one with a particularly simple logical structure. Cut elimination is a central theme: any logical system worth calling "computational" (one argues) will support cut elimination, allowing you to replace a proof with steps like `A -> B, B -> C |- A -> C` with a direct proof of `A -> C` that does not use the intermediate hypothesis `B`.

But we're not doing that when we're verifying a proof. We're looking at the finite, static structure of a proof term, and checking that it was put together legally.
This was like a what you need to know tour through all of the LinkedIn-pro-sponsored, pseudo-quantitative approaches to evaluating personality guided by self fulfilling anecdotes and a glut of paraphrases/quotes from people I’ve never heard of. In other words, a lot of ideas clicked if somewhat reductive and Machiavellian. And certainly well researched and written.
I only read the abstract, but theyre looking at big (~mm) particles. Those wont be passing through the digestive system to the muscle tissue. Looks like theyre also digesting/processing samples so they cant precisely isolate the locations in the sampled tissues.

Much smaller (nanometer) particles can pass through tissues and migrate in to the body. But accurately detecting those sizes isnt reliably achievable AFAIK.
I don't have a direct answer but you may find Xidnaf's YouTube channel's lingustics coverage interesting https://www.youtube.com/watch?v=pkzVOXKXfQk and TED Ed YouTube channel https://www.youtube.com/watch?v=kIzFz9T5rhI

You may find watching such YouTube videos produces good algorithm recommendations, and also it may lead you to associated subreddit and Discord communities that you may find helpful
> Why should there be a tool to verify a general theorem?

We want to verify proofs, not theorems. And that's far from "theoretically impossible."
The seniors on there that are beside themselves unable to use some of their sites is something I think of when designing software.

Your users aren't always tech savvy. Sometimes quite the opposite. A single change, even if it isn't a bug, can render your program unusable by some because it's so different.
Broadcom "enabled" the Pi to be created because the SoC for the original RPi 1 was a flop. They wanted to use it for Set Top Box (Cable TV, Google TV etc) devices but couldn't find any buyers

One of the engineers who worked on it worked out a deal with Broadcom to simply reuse the design and market it toward education instead
One interesting take I’ve read on that quote is that you need to consider the source. If you’re a general for a country that routinely deploys troops to the other side of the world, in the service that specializes in landing those troops on a hostile beach with no friendly infrastructure, in a milieu when it is no longer considered acceptable to supply your troops by allowing them to pillage the countryside, you are going to spend a lot more time worrying about logistics.
Intermodal shipping containers are arguable the most significant technology of the 20th century. They did more to improve worldwide standard of living, than any other advancement. Including medical.
Seconded! Very good starting point.
This post is essentially an ad on Fly's blog, but maybe some others with experience can weigh in on its tradeoffs vs the other popular providers with first class Elixir support.

I haven't used it yet and am curious about new offerings.

That said, the guide linked from this post requires more config than the competing options.

For example, Render also handles clustered deployment with libcluster setup, and it's very, very simple to set up. http://render.com
When you move overseas, wouldn't you take anything with sentimental value onboard with you as luggage? I can't imagine being too devastated to lose books or whatever other larger items people take when they relocate overseas (assuming that you would be compensated for the monetary value of lost items and be able to replace them). In my experience, most sentimental items are small enough to easily fit in a suitcase.

However, on second thought, I suppose some people would have more and larger sentimental items than I do, like large vases or antique pieces of furniture and so forth.

Is it possible to pay extra to have a very large flotation device attached to your shipping container? :P
OP didn’t insinuate people should feel guilty. Those feelings you are having are of your own causing and interpretation. He was just stating facts
In the 1990s, a ship from Hong Kong bound for Tacoma, Washington lost a shipping container that was filled with 30,000 yellow duckies.

Oceanographers were able to collaborate with beachcombers in the western US (and eventually as far away as the UK) to validate their models of how the currents would move the ducks.
The chargers we go to in the Bolt are almost all 150 kW chargers. Yes I wish the Bolt could use all of it. No the 45 minute wait isn't really a deal killer. It still took a half hour in my Tesla even though it peaked out at 1000 mi/hr for the first bit of charging.

In my opinion, 99% of everyone worries far too much about the road trip use case and completely overlooks that most people will do almost all of their charging at home.
Yeah, I hope the creator did something like that. I'd be sad if the thing would just stopped printing and yaya would wonder why there were no replies to her messages anymore.
I think for the usecase you mention, there is a different solution that I personally prefer.

Optimally, if your language supports it, just define an interface with these 5 methods and then define extension methods that work on any type that implements the interface. The reason why this works is that all the other functions are usually helper functions / convenience functions and they only need the other 5 functions to work, so no need to access any inner/private properties.

That is by far the most lightweight solution, and it works even for 3rd-party libraries where you can't control the types.

If your language does not have extension methods, then you can still use composition just like in the example I gave and delegate to the base class. That is a bit more code to write (because you have to delegate to the non-5 methods if you language doesn't automate that for you, some do) but I find it cleaner than hoping that no one overwrites any non-5 method.

But yeah, essentially what you are saying here is to ask people to follow the rule I gave by convention - depending on that context that might work as well.
Perfect analogy to this conversation