skysight-inc/HackerNews huggingface dataset:
I started to learn Elixir and Phoenix awhile ago. I liked it but stopped due to (i) there's no job opportunities near me for Elixir and I wanted to the learning/projects I do on my own to help me in interviews; and (ii) it's not a strongly typed language which I have come to learn is my favored type of language
By that standard, Putin's russia is a "functioning talent market" since it's a corrupt oligopoly. Or the CCP. "If they have not ties to the party, they shouldnt have tried to compete". It's functionally equivalent.

If you want a functioning market, you don't want an oligopoly
I said it was a use case, not the purpose. But realistically these single board computers are more suitable for gaming than for machine learning. If you don't have a computer at all then I guess you could use a Jetson for this purpose, but a real computer would be much better and is easily within the budgets of most companies and most software engineers.

Is this a developing markets play? I've never heard of someone whose only computer is a Pi/Jetson. By the time you add all the necessary peripherals to use it as your only computer, it costs more than a cheap laptop.

So the point of a Jetson is .. you only have a cheap laptop with terrible integrated graphics, and for $60 you get a much better GPU with this Jetson, and you remote into it?

I think it'll do better in gaming.
There is a field of US law called "cybersecurity law", which technically does not refute your anecdotal point. (I worked in cybersecurity law for a while.)
Oh no, it’s not common at all day to day. US foreign policy has been heavily liberal & internationalist for a century or so now in a manner that deeply affects public opinion of it and its effects. More realist lenses such as this have enjoyed splendid isolation in their IR niches until somewhat recently, but even that slight bump in popularity is mostly negligible outside DC and academia.

Each of your doubts could be addressed with a book/subfield of study, so this will be very high level, unsatisfying, inevitably colored, and in the same vein of perspective as before:

1. https://europa.eu/european-union/sites/europaeu/files/pictur... , can also see the concert and it’s rocky phases leading up to WWI here.

2. Mostly as it relates to balancing and the results of that, though as you’ve pointed out this could all easily be viewed as balancing against the USSR (though the context, lack of relative economic power & length of time in alliance preclude this somewhat, alliances don’t necessarily prevent peer conflict, especially over time and as the participants strengths vary!).

3. Sort of? Cold War era alliances were standing, and meant to ensure peace vs reactive with a finite life span and intended to address a specific crisis, e.g. Napoleon. This obviously existed beforehand though, and indeed led to WWI. I’m not sure of the exact historical trends on this.

4. The eastern half was still soviet for one, France was very strong in the form of EC at the time and didn’t like NATO dominating/expanding for two, and Thatcher was just Thatcher for three. The whole process of reunification was such a fantastic example of skillful diplomacy on both sides that I really can’t do it justice here, suffice to say that US efforts pushed an uneasy/unwilling FR/UK to commit to the process, the “Two Plus Four” negotiating format, and Germany in NATO while brokering the guarantees and associated issues that led the USSR to accepting. Really recommend checking out the history of this if you have the interest and time, fascinating period of history.

And decolonization was absolutely key to integration! Staying on brand, I would only question whether it was fully voluntary (Suez), and whether the global cessation of translating military force into economic success among US allies post Bretton Woods & the WWII destruction of every single other blue water navy had more of an effect.

Finally, the third world was a battleground. External powers and powers in general often do cause instability, but the US in this case held near complete hegemony over Western Europe, and hegemony is quite closely linked with stability in general. One can also look at the relative internal placidity of the eastern bloc while the soviets held control, and its aftermath.

I’m not exactly sure as to what your last paragraph asks, but I’ve had enough fun writing this as is, whew.
It's a WndProc, feel free to split each message into a separate function but that's not actually helping anyones understanding.
> P.s I know communication is not core, as i have worked with many 'brilliant' engineers that they had poor communication skills due to be foreigners, or just personality quirks. While that will hamper their ability to get promoted to managers, or architects, they all were respected and did well as engineers.

The position taken by including communication as a core engineering skill is that poor comms ability ought to undermine one's perceived ability as an engineer.
> Most hospitals in the US never even got close to peak usages.

Texas ICUs came very close to peak usage, and Florida was also running near capacity in many ICUs. Hospitals like TMC managed by making "surge" ICU beds and bringing in resources from out of state. We don't know the impact of these surges on quality of care, but Texas was losing a 7-day average of 325 lives per day at its peak in August. These happen to be the states with a combination of high population density cities and some of the fewest COVID countermeasures; more rural states and states with stronger countermeasures didn't approach capacity.
Windows 10 keeps on installing Edge and luring me to set it the default web browser. It even looks exactly like chrome so users like my mom unknowingly start using it. I find that very deceptive.

Windows 10 is a horrible OS as far as I can tell. It tries to do things for me that I don't want to and I have to spend a few days to remove all the crap and bloat on a fresh setup then I have to figure out how to stop services that try to update and remove all my changes. I am using Windows 10 strictly for work otherwise I'd not touch it with a 10 foot pole. It's sad to see so many young people embrace Microsoft but I know their relationship won't last, I was one of them years and years ago.
I can confirm. I've mostly been working from my bed during these Covid times, and once I started going to the gym I was astonished by just how weak my back was, as opposed to my upper body or legs. But thankfully, it's building back up nicely.
The firm's who are treating their customers best are the FAANG companies. I know a lot of folks here nitpick the things they do wrong, but why aren't you more concerned about the far greater wrongs of tobacco, oil, pharmaceutical companies? About patent trolls?

I know FAANG companies are easy to beat up on, but going after these is just bullying. Go after the actual evil companies.
Leaving Elon Musk alone to justify overthrowing South American democracies.
I think what they are correctly pointing out is that this administration does not take a rational approach to, well, anything, so it doesn't matter what the facts are regarding Amazon's actual practices. It's just a grudge.
Possible! When I restart the server there are instantly hundreds of connections. If so many people are interested in Dylan, let's get some code contributions going, folks. :)
Don't Fish Empty Waters
The loop invariants that you can detect may not be the loop invariants that they want. Consider:

for(int i = 0; i < n; i++) {..}

It looks like the invariant should be:

0 <= i < n

But if they mistyped the loop that would be wrong. You have to explicitly state your invariants. At best, you could detect them and ask for confirmation. And that's for an easy to detect case.
"Filon" means a mine vein (and is used figuratively as a source of easy money). So the name seems pretty good.
First of all, IMHO it is really important to get diagnosed by a good doctor and to rule out other reasons which could cause ADHD symptoms.

ADHD is a broad spectrum and every life is different.

The next best option I could recommend is to learn about symptoms from ADHD, examine how they are affecting your quality of life and have 'physical' crutches in place where you need them. This is highly personal, takes time for experiments to see what works for you right now, and when your situation/environment changes, you must adapt and perhaps change or create new crutches.

Still, there is a lot of stuff you simply cannot fix w/o medication: Impulsivity and focus are my biggest Achilles heels.

If there is no way for you to get medication you have to learn what problematic situations will be for you and try to avoid them from the start, because there is no way you can trust in prolonged self control if you have ADHD.
Or lived long enough to receive the prize at all - 1965 was 55 years ago!
> IEx also has been improved to show the documentation for Erlang modules directly from your Elixir terminal.

This is a really nice change for those of us who straddle both languages. I've done a fair bit of work with both ets and the crypto module and having to jump into and out of firefox felt at odds with the rest of the development experience.
Nice! Neat idea and smooth execution.
Cellmate: Male chastity gadget hack could lock users in
> Working from home is a lot less efficient than an ideal office. It's harder to debug things or pair program when needed, it's harder to grab someone's attention, it's easier to miscommunicate, and communication is a lot slower. You also don't get the same camaraderie as you would face to face, but the upside is that you also don't get distracted by attractive coworkers.

YMMV. Your home can be your ideal office, and is for many of us working remote (myself included). There are technology companies with hundreds of employees with billion dollar+ valuations who are fully remote. There is no proof they would be more efficient if you colocated all of those folks in person.
Dramatiq: Background Tasks
When working for NGOs the put you in really weird situations that don't allow you close to people and make lots of money for their security arms.

I backpacked for a month through Liberia. It is a really interesting country. From Monrovia, one of the sleepier capitals in Western Africa, to Harbel some would call it an exploitative plantation for Firestone rubber, to Harper a former capital that is still hard to reach from the capital. Just getting to Harper took one day of shared taxi, one day of hitch-hiking with a UN guy, and a long day of mudding through logging roads in a hired truck. But we made it. I even saw the new soccer star president when he visited Buchannan.

You can feel that it is less developed than the surrounding countries and the war has ripped apart a lot of the inter community trust. Americans have been sucking resources out, and now Chinese businessmen are doing the same.
It's not that you're not paying for your commute. It's that the company is no longer not paying you for those 1 or 2 hours you spend every day to go to your workplace and back.
Brilliant idea. I hope to see titles in other languages made available as well.
I wish Draw.io was textual/visual, something like PlantUML but in interactive way

I mean you be able to drag & drop components, as well as see its "easy-to-use" textual code to customize each component

Also, I wish it was like "node-editors"
This is a great idea. As someone else mentioned, it is a new way of reading novels.

I won't be surprised if this becomes really popular and then you would surely have Amazon showing interest in your innovation.

Again many congratulations for shipping out a neat idea with great implementation.
> first they ask to acquire you and then when they get rejected they copy and kill you

Is that like a law or sth? And do they "ask nicely", or essentially blackmail?
What about patent trolls? What about tobacco, pharmaceuticals, oil? What about airlines with hub monopolies keeping up prices?
Thanks for your comment!
I think you make a really good point and this is part of my initial idea (and probably came too short in my blogpost): To make permaculture successful, we need to make people economically successful with it beyond teaching and giving workshops.
I tried other forums and websites and couldn't find many people who make a living out of permaculture.

On the other side permaculture is designed to not be part of any "economic thinking": One basic principle is lowering your inputs, so I get when people use permaculture to actually get out of any economic thinking.

Happy to hear your thoughts!
Equally strange is “Deer peering” as a tagline for a section. It Has zero connection to the actual subject matter, hacking and security.
The ability of "rule of law" to constrain the arbitrary actions of state security has always been a problem, in every country, and is fatally compromised in the UK by colonialism (use of military as police in Northern Ireland, and before that various crimes of Empire that we're not supposed to know about) and racism (fundamentally a large section of the public wants it to be possible to arbitrarily deport immigrants without due process of law, and is prepared to burn down as much rule of law as necessary to achieve that)
> Platform should not compete on their platform.

This is just one issue. Not even one of the the major ones.
I'd be interested to know if this is integrated and rebranded nanobox [0]? Or something completely from scratch?

[0]: https://nanobox.io/
Great. Do the telcos next.
I definitely think it needs a good database of available plants as every permaculture books and resource I've read so far assumed I already knew about plants.

This is to lower the bar from "passionate people ready to go the extra mile", to "interested by the principle but can't be bothered maybe I'll just plant tomatoes and feed them nitrogen".
You shouldn't forget that, since the mathematical equations have a singularity at the center of a black hole, we can be reasonably sure that they are in fact incomplete and can't accurately describe the internal structure of a black hole.

So, take any such description with a grain of salt. It's much more correct to say that our current models can't accurately predict what is happening past the event horizon of a black hole.
I know support for the map.field syntax in guards is a bit controversial, but I'm really excited about it!
39 listed here https://tc39.es/ecma262/2020/#sec-keywords-and-reserved-word...

51 listed here https://docs.oracle.com/javase/specs/jls/se15/html/jls-3.htm... with a bunch of non keywords listed below, of which true false and null are also reserved
Yes so exciting to see this. His book the Road to Reality is revolutionary to me and I have not even finished it (still digesting). Every time I hear him speak it seems I learn some new perspective on the universe that fundamentally changes my thinking, really inspiring person.
Luckily I just posted this at AnandTech :) I couldn't find the information posted anywhere online, so I wrote it up.
https://www.anandtech.com/show/16143/insights-into-ddr5-subt...
Considering a point particle, what constrains it from orbiting [which is what I'm assuming we're meaning here as all matter has to move radially to cross the event horizon]? If it had a tangential component to its momentum prior to meeting the event horizon (EH) wouldn't it continue to orbit past the EH?
I think it's quite common among programmers. At least, I have always been that way too. I can go week of unproductive time then suddenly several days of immersion.
You're either owning VTI, or afaik, automatically moved to institutional shares when you own the mutual fund class. It's not about purchasing at a minimum.
Right, so Target, grocery stores, hardware stores, and everyone else, can't sell their own value products too then right? Seems like those shelves are platforms to me.

I'm fine with 'big tech' not being able to sell products/services on their platform, but i want the same standard for other businesses as well.
Abstraction.

When my kids were little I thought I would teach them programming. The biggest problem I had was teaching them what a variable was. They finally did figure it out after a lot of work.

Abstraction is the same barrier between elementary school math and algebra. Some people never do learn algebra.
That’s true for some jobs. But some jobs consist of talking to people.
thanks for including Plausible on that list!
The human genome contains 3 billion nucleotides, SARS-COV-2 contains about 29,000. If it shares ~60% of its genome with common coronaviruses that's quite substantial.
Gear Template Generator Collection
"A Tesla rep just called me racial slur.". Tweet goes viral.

There you go, do you need a PR deparment now? If it's your CEO doing that job, that's a bad use of the CEO's time.
COVID19 has caused 250,000+ additional deaths in the US on-top of whatever the normal flu kills in an average year.

Here is a link for more information on 'excess death': https://ourworldindata.org/excess-mortality-covid
Couldn't agree more. You might be highly intelligent and/or creative, and those things should help for sure, but if you don't have grit, nearly a masochistic attitude to keep striving when you're flat on the ground or when you're at a dead-end, you won't make it.

To me, writing solid code is like combat.
English, for those of us not born into it.
Apple is successful because they make good products. I'm extremely satisfied with Apple Music, my iPhone, and my Airpods Pro. So are almost all of my friends who use them.

We all want to blame a boogeyman for all of our problems. There are plenty of alternatives available to Apple Music, the iphone, and the airpods. How many brands make wireless earbuds? how many phones? and Spotify, Amazon Music, Google, etc, all offer competing music streaming services.

Apple certainly leverages many advantages is has, so does every other company. That doesn't make it monopolistic.
Thinking abstractly with a sense of curiosity and humor. Only hire programmers who like Monty Python.

Second would be the ability to write a one-page summary of problem and proposed solution.
I'm starting my PhD under the supervision of one of the Frama-C authors, if you have questions I can relay them.

In general I've found deductive verification techniques interesting / promising because they free engineers of a lot of required but tedious details you'd have in ITPs.

However, I think there's a LOT of room for improvement in terms of ergonomics of proof debugging. For a frequent (for me) problem when debugging invariants is conditionals that break the invariant.

if i have some code doing something like

while (X) {
invariant { forall i. 0 <= i < N .... }
if j < i A else B
}

But it turns out that one of the branches A, B doesn't preserve the invariant well all the provers will tell me is 'can't prove this!' it's up to you to perform the transformations that split the two cases (granted in this example it's trivial) so that you can see that only _one_ branch was failing.

I think that there should be transforms that automatically do things like split the range of an interval along relevant points (aka j) to help you figure out which portions are failing.

There are tons of other issues related to proof ergonomics that could be improved, the UIs are really stuck in the 90s!
Look into the phrase "dumping".

Uber and Lyft are allowed to run permanent losses because they have privileged access to cheap capital. If you have a better platform but you actually need to turn a profit, your ship is sunk before you leave the harbor.

And a lot of the people earning "10x" at the RAMJAC companies would almost certainly earn more in equity appreciation in a competitive market.

This era is bizarre. All the free market rhetoric from the 1980s is being recycled to defend central planning that is now totally cool because the central planner has a corporate charter.
Reddit has a lot of anti-Elon users, I'm not sure that on net the users of that site support him/Tesla.
The definite news is that they have stopped responding to emails from Jalopnik and Electrek and other news organizations.

The article explicitly explained that personnel from PR moved into External Relations.

The headline is far more sensational than the article. But that's been standard practice for centuries, not "pure fabrication"
Going to codepen this later and see what’s up. I haven’t used them beyond toy setups since it’s usually a hassle, I always get inspired by the Stripe site.
Digital Ocean has really changed. Just get the feeling leadership or something changed internally to pivot away from being customer/developer focused. I'll stick with gcp.
We certainly took a lot of inspiration and leaned on the awesome experience of the nanobox team, but this is largely a completely different architecture.
Can you add a line to explain a little bit what screego does, how it achieves its goal? Otherwise, looks awesome!
When Pepsi Had the 6th Largest Navy in the World
Esports is not a game to me
Time for a WTF MySQL Moment
Show HN: Optimal Workshop vs. UXtweak – user testing tools
The company is still paying you the same although you are no longer commuting though. Before you wasted between 1/2 hour and 2 hours every day just moving back and forth from the office (formally unpaid time). Now you can get out of your bed ten minutes before the first meeting in the day or be grocery shopping in your neighborhood five minutes after your work day ended.
Also the online Erlang docs are arguably even more utilitarian than iex docs output...
Don't you think this comment represents tremendous whataboutism? Don't cure one tractable problem--which may yet develop into a greater, less tractable problem--because there exist other troubles?
I was waiting for something like this!
I keep Yaml/Helm manifests and templates in git so we can track them. Does this support GitOps based workflows?
Is it full automatic, pixel perfect compatibility or only a bunch of games are ?
Why did Twitch buy Curse in the first place? Why are they selling it now? Why did Curse agree to acquisition in the first place?

I mean, surely it must make sense from the business perspective, but from the user side of things, it doesn't quite do.
Oh weird, I wasn't aware they still haven't release it yet. It's been 19 years since the 2nd volume. That's really odd. They didn't fulfill the preorders in 2014 either https://www.amazon.com/gp/product/0684873176/

I thought making it through the other two 700+ pages of letters was quite an achievement. I was planning to read the 3rd one at some later point in my life.

I guess I'll still have to wait ... the title was really great too "The Mutineer: Rants, Ravings, and Missives from the Mountaintop, 1977-2005".
Thanks for your comment!

And I agree 100% with you.
This is a community-driven (wiki-style) database, so we are happy of anyone to contribute.
I am a native German speaker and added some German names but definitely would need help fro the french names.

This is partly one reason why I started the website: All the info you find is very specific for the US, mostly California and doesn't help much anywhere else.
Also all plants recommended are native to the US and not to other areas.
The idea is, if a lot of people contribute, we can get to a state where you can see what others grow successfully on your area.

Love to hear your thoughts on this!
There's no way it's that simple. It's the equivalent of telling Wal-Mart, Costco, and Target they cant sell Great Value, Kirkland, and Good & Gather. Does that mean if Ikea mostly sells their own brand, they cant also sell some third party products.

Is this rule only going to apply in the digital realm, to non physical goods? Does that mean that game publishers can no longer own game studios? Are game engines a platform, or only virtual stores? Can GameStop no longer make an inhouse game? Making a "simple" rule like that, would cascade much further than you lead on.
Scientists do have some idea: https://twitter.com/farid__jalali/status/1293305162509910016

disclamer: IANA scientist or doctor, but it looks like long covid might be very similar to allergy (and similarly treated)