skysight-inc/HackerNews huggingface dataset:
There are two parts to making chips: architecture (design) and process (how it's manufactured). Intel does both but eg Apple only does design and outsources manufacturing to other companies.

There are lots of different chips ranging from slow, energy efficient, and cheap microcontrollers, to fast, energy hungry, and expensive high performance computing clusters. Intel makes the fast ones, and had the fastest chips from the late 1990s to the mid 2010s. Since then, a Taiwanese company has had the fastest chips which go into iPhones, Nvidia graphics cards, and AMD cpus.

Building a fab (manufacturing plant) to make the fastest chips which require features shorter than 7nm (billionths of a meter!) requires billions of dollars in up front investment. It's mass scale manufacturing at some of the lowest levels anything has ever been created at.

The US gov't is afraid that company which makes the fastest chips in Taiwan (which is not recognized as an independent country, but is effectively self governing, but China claims is theirs, it's complicated yes), could be under Chinese control some day. The Military Industrial Complex don't want the US tech sector or US defense tech to be beholden to China, and US companies (Intel) want government funding to build expensive factories. Thus the CHIPS act.
My guess is that the military is only the tip of the State iceberg.

Shortly after Olson left the State Department, several Gulf countries, including Saudi Arabia and the UAE, launched a blockade against Qatar that sparked a massive spending spree in Washington on lobbying and other efforts to influence the US policy.

Olson, Zuberi and retired Marine four-star Gen John Allen traveled to Doha early in the diplomatic crisis to meet with top Qatari officials and discuss ways of resolving the issue, according to court records and a statement Allen’s spokesman provided to the wire service last year.

https://www.thenews.com.pk/print/954208-ex-us-ambassador-to-...
Indeed, it's close. Obviously mine and Breck's levels of appreciation for indentation/brackets are very different. ;) Although independent, the paths we have taken to arrive at these are somewhat similar (somewhere early in there are experiments with visual programming). As are the tools of thought (minimalism). We were thus taken to similar places.

Before I was aware of the existence of Tree Notation I put my syntax online at tree-annotation.org (now defunct), so even naming converged. I was initially very confused myself. :D

Ultimately I think that the existence of multiple incarnations of this idea suggests that there is (perhaps a very niche) need for a minimal syntax like this. Something like S-exps, but general-purpose. Trying to satisfy that need is the common cause.

The way I imagine it is that it would be supported across programming languages, like JSON. It could be an universal format for (tree) structured data. There is this piece of the Unix philosophy which says that text streams are the universal interface. That's true on a certain level. On another level not far below binary streams are the universal interface. On another level not far above... there was nothing universal until XML. But that was overkill, so JSON displaced it. But that's still overkill, so...
Buffalo mass shooting suspect 'radicalized' by fringe social media
What do you folks think, we, as builders of system, do about it? I, for one, am not a fan of unlimited free speech and a tolerant society cannot be tolerant of intolerant speech. We should all have a skin in the game in how we maintain our liberties.
What about secondary schools? There is a stretch of road on the way to the local Junior High (in California,US) that is absolutely not safe to bicycle (I've personally witnessed 3 car crashes and a car vs motorcycle crash each of which would have also hit a bicyclist had there been one there). Due to a nearby freeway and the geography, there aren't a lot of good alternate routes. The "next best" option adds 2km to the route, much of which is unseparated (other than by paint) by traffic with a speed limit of 45mph which regularly travels 50mph (70-80km/h).
> A view of drones during a military exercise in an undisclosed location in Iran

Isn't that shape of mountains so not unique or the world do not have proper maps of Iran? Or nobody will even try to find this place because nobody is allowed to bomb Iran for the sake of destroying those production? As a Ukrainian being in Ukraine, I am seeing a stare of death on this photo.
I wouldn’t say gmail is good if the compose button floats on top of my inbox, a new message opens up in a modal and covers anything you’re trying to read/refer to. No format buttons.

Sheets is terrible. Cannot use the magic keyboard to shift your active cell (ie click a cell, type = and use arrow keys to find the cell you want to reference.. it just quits the cell).
Let me try to summarize, it's indeed a little complex: There is no direct connection. Protelion was member of the CSRD. Schönbohm's friend Dünn (also a founding member and still head of the CSRD) had contact to russia. While Schönbohm left the CSRD and became head of the BSI, he still had contact with the CSRD, he was even advertising it. The problem is, that Protelion offers security software for huge companies for critical infrastructures - allegdly "Made in Germany". And while the BSI issued a warning for Kasperski, after Russia invade Ukraine, this did not happen for Protelion (though the refused a certification request from Protelion, knowing the connection to Russia).
It's not time-limited.
Would you please stop posting flamewar comments and political/ideological battle comments? It seems to be the bulk of what you're posting here. That's abusive: it's not what this site is for, and it destroys what it is for. The site guidelines specifically ask you not to do this, so please stop.

https://news.ycombinator.com/newsguidelines.html
https://archive.ph/woqkb
> China occupies Taiwan

They're not even remotely capable of doing that before US intervenes. Taiwan is a heavily fortified island with unfriendly geography and a massive high tech army.
They will take it without a fight
You seem to have misspelled "misguided". https://atproto.com/specs/xrpc invents their own RPC, because the 8000 other ones are somehow insufficient for their Web3 ways? Bonus points for https://atproto.com/specs/xrpc#authentication

And that's not even getting into "oh, ok, so my cousin is going to create his own DNS entry, is he?" https://atproto.com/guides/identity#identifiers

https://atproto.com/lexicons/atproto-com#comatprotocreateses... seems to be missing any 2FA parts, spitting in the face of years of "don't get phished" learning
This is a remnant of the old era where the 90s kids lived in the commie blocks and had schools right in their neighborhood.

This has changed tho as the families are moving out to suburbs which are heavily car centric.
this is recombination, portions of virus are swapped around, in this case an omicron spike, with wuhan backbone.

this sort of manipulation can produce gain of function when there is interplay between the recombined elements, most often it is simply a recombination of functions. to split hairs, the wuhan "backbone" [not spike] gained function of omicron spike, but lost function of wuhan spike.

gain of function doesnt have to be so dramatic. there is a non spike region, of coronavirus that modulates virus/interferon signaling dynamics, modification of a small number of, [as in 2-3] codons will produce lethality

that itself is not gain of function it is potentiation.

a clear cut case of gain of function would be a recombination of wuhan backbone with chimeric SARS-MERS spike that retains both target specificities [ACE2-DPP4]
> I think GIL is not the reason for slowness, it is the weak dynamic types of Python that make it slow.

Python is structurally typed, that makes it dynamic, but it is not weak as there is no type coercion.

> Every single instruction need to be type checked at runtime and thus making everything slow.

This is also wrong, python does not type check anything, not in the "regular" manner of typechecking. It relies on structural typing, if it quacks like a duck, then it is treated like a duck.

In fact, PyPy is an argument against your position as it still allows the same (more or less) behaviour that python has while operating a lot faster due to JIT.

Python doesn't have the luxury of compiling that C# and Java, nor is the VM intended to be high performing.
> I use Jetbrains IDEs every day and from the screenshot I can barely spot a difference. Everyone will be okay.

Except for the terminal window, it looks like an entirely different IDE.
There are some technical differences like AT storing all content in a Merkle tree so it's easier to replicate, check integrity, etc. It's not clear to me how valuable these features will be. Perhaps the biggest difference is that they've introduced a username->server indirection layer.
My entire company (800+) runs on gsuite for better or worse. At least in browser on desktop its functional.
I wonder if there's some sort of game-theory esque problem with cars.

As in, the more people drive to a destination, the less pleasant and convenient it is to walk the same route, and the more attractive driving becomes.

I think, also, the more driving you do in general, the more it feels like the default.
All DisplayPort 2.0 products are now DisplayPort 2.1, VESA says
> If the media says a hurricane hit Florida, almost everyone trusts that.

You probably shouldn't. I read media reports that Ian was in the top N (maybe 3?) storms ever to hit Florida. That is so far from the truth it isn't even funny, just sickening.

National weather-related media mostly plays to left coast biases: it treats routine hurricanes (and other routine windstorms) as existential risks but the threat of major earthquakes (for example) as routine.
I find it kind of astonishing that Word documents have been an attack vector (a) in the first place and (b) for as long as they have without a sealing patch. Like, why do I need my word document to contain any sort of RPC invoking capability.
You'll want to use a GitHub App[0] for that -- GitHub Apps use the same permissions model that these new token types are using.

[0] https://docs.github.com/en/developers/apps/building-github-a...
We have secret trials in the UK where the accused doesn't get to hear the evidence.

So classified evidence can be used and there is no danger of it leaking.

Of course, there is a danger of innocent people being convicted but that doesn't seem to bother MPs or the government or even the public.
It takes longer to learn how to use C++ to the same level of proficiency and correctness compared to Rust, in my experience. It's harder to write an incorrect program in Rust.
The fundamental tension in tagging systems, to me, is whether tagging is a feature the software offers to the user or a task the user performs to assist the software.

In the first case, you want freewheeling and tolerate ontological inconsistencies because you want to offer flexibility to users and will capture hard to quantify emergent benefits (some made up examples: "try the tag user233-favorite, I keep discovering awesome articles!", "the physicist-needed tag has highlighted a lot of misinformation surrounding quantum physics and relativity"). People use it to the extent it is useful.

The other way, with formal semantics, governance (which you made some very wise points about), etc allows the software to reply to queries like "19th-century + Missouri + humorists" in a performant and authoritative way. It's not really a feature so much as it is a way to enable other features.
SMTP started without proper authentication so anyone could spoof anyone's address. Most of those extensions try to fix this. But ActivityPub, for example, has authentication built-in from the beginning in the form of HTTP signatures.
I haven't used them much, but sled, ldap3 and thrussh do exist. As Rust gains further in popularity I'd expect more of these to become production ready. Meanwhile there's always C and C++ interop.
Costco doesn’t really have “margins” - everything is more or less expected to cover its cost and MAYBE a bit more to offset loss leaders like the rotisserie chickens. Costco makes all of its profit from memberships.

If they have higher prices than Costplus, that’s not a good sign. They’re a top tier company for logistics and price controls. Sounds like Cuban’s just eating the difference
https://archive.ph/gUm8P
especially compared to completely rational stable genius in the Kremlin, right?
That group of people isn't terribly large. It's mostly terminally online wokelets, who are loud, but not a terribly large population.
For a person who was critical of everything around him, I don't think Jon Stewart got enough flak for his part in all of this. He regularly deflected criticism of when his show was blatantly being inaccurate or misleading. Even when he was presented with troubling studies about his show was the primary source of news for a growing body of young people.

Whether you liked his show or not, this is now basically the model of journalism today. Left and right. The people who did all the hard work - actual interviewing and source gathering and factual reporting - are an increasingly small slice of news. You now have an ecosystem that just reprocesses the same stories over and over again from the same small set of primary sources.
And when teams ask for resources to fix issues, they have to get those resources. Its all very well for an executive to say those lofty things, it also has to be funded.

Unfortunately, sometimes people in the middle just assume that saving money is more important; the CEO might have told them to allocate resources, but the request just got squashed along the way.
It's OK, space has too much radiation for things to migrate off world unshielded. Except if you are a tardigrade though, but the reasons for them being like that are due to the types of niches they occupy on earth. Mosquitos on earth that have some sort of space proof shielding in their exoskeleton would probably be quickly outcompeted by those more fit mosquitos that don't have to invest resources into this space proof exoskeleton.
Yes, it's a very correct observation that a well functioning society should also provide universal healthcare (including mental health), a social safety net that limits homelessness to the fullest extent possible, decriminalization and free safe treatment for hard drug addicts, and urban planning that encourages lively neighbourhoods around schools where there are always responsible adults close by.
I watch Smiley's People with Alec Guinness once a year. You can't make film like that today.
Why do you think the meme exists?
DNA gives colloidal crystals shape-shifting and memory abilities
The early versions of GIMP only ran on platforms with Motif.

The 0.60 version broke all the plugins with the advent of gtk. Nobody liked it for quite a while.

I used an earlier pre-0.60 release on AIX.

https://www.gimp.org/about/ancient_history.html
> I did some ADA in the past and yes, it is a nice language, but it lacks the modernity and a dynamic community like Rust. ADA did received some nice update to its specification, but, just like C++, it struggle / cannot really fit the latest innovation in programming language that easily.

I'm still learning both Ada and Rust, so please keep that in mind. Nevertheless, I humbly disagree. The more I learn Ada and other "old" languages the more it looks to me like "modern" ones rediscover things that have been present in other languages for years.

The really significant difference I can see for now is that Ada is not focused so strongly on functional programming paradigm and it has no async/await sugar. Rust borrow checker is a strong success of course and was another significant difference, but latest SPARK got borrow checking capabilities too, AFAIK.

While Ada's open-source community is smaller, I find it as energetic and devoted to improving the ecosystem as Rust's. I have no idea about closed-source community, but in the past 4 years ArianeGroup [1], Airbus [2] and Nvidia [3] talked about choosing Ada for their high-integrity applications.

> And to be fair, it is fine. ADA is very much a "committee" language (its spec are ISO/IEC) instead of a "community" language (all the spec and rfc of Rust are on github and anyone can easily discuss them).

You can discuss Ada/SPARK RFCs on Github too. [4] I think I once saw on Ada forum or chat that someone proposing changes to the language was simply invited to talk to people working on the standard, so it doesn't look like the language is developed in isolation or something.

> This makes it so that ADA doesn't get the attention, and the rapidity of innovation, that a language like Rust does, but ADA is mostly made for program that will need to be maintained in critical operations for decades with the code being maintainable and compilable far into the future.

I think that Ada adopted quiet quickly to changing world with Rust as its inspiration: lower entry barrier toolchain, compelling licensing, library distribution, RFCs, etc. And in terms of language features, in many areas it's not only on par, but ahead of competition. So you're less likely to see lots of changes, but they do happen nevertheless. I'm not saying Ada is perfect, of course. There are parts of it that other languages do better. No shame in that.

IMHO, the reason Ada is unknown to many people is a combination of its past, myths surrounding it, and general trend of people to follow trends. ;) But currently I find Ada/SPARK even more compelling option than Rust, even though I like both.

[1] https://www.facebook.com/ArianeGroup/posts/2872955946126067

[2] https://www.manufacturing.net/aerospace/news/21175187/airbus...

[3] https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...

[4] https://github.com/AdaCore/ada-spark-rfcs
I've written quite a bit of production code in C++, Python and Rust, and currently work on a hybrid Rust/Python system. Here's my experience:

- C++ is an unusually large language. And it has many historic footguns, requiring a higher level of vigilance and code review. If I were starting a brand new project today, I wouldn't try to build a team of C++ programmers.

- Untyped Python becomes more difficult to refactor and maintain once you reach 50k to 80k lines on a group project. Typed Python, however, scales nicely beyond this size.

- Rust is a "medium-sized" language. It requires developers to learn more than Go or Python does, but less than C++. And Rust has far fewer traps for the unwary and the reckless than C++. Rust's tooling is also very good in many areas.

- It's tempting to split a project into a fast "core" language, and high-level "glue" language. There are real advantages to this. (Which is why I've done it on one recent project!) But this also comes with costs: everyone needs to be fairly good at two languages, and switch back and forth. And you pay a tax at the boundary.

If I were building a brand new database (and a team to maintain it), I'd actually be strongly tempted to use Rust exclusively. But this is partly because databases rarely have a "business logic" layer that changes constantly, so there's less need for a high level scripting language.

But with a different team or different constraints, C++ could also be the right choice.
One reason you may not wish to use Mattermost is because they embed spyware into the server that phones home without consent.

Additionally, their feature gap between their paid enterprise proprietary version and their free software version is really telling: they don’t believe in free software as a philosophy and are just using free software licenses as marketing bait.
Memory sanitizers, address sanitizers, leak sanitizers, threading sanitizers, undefined behaviour sanitizers. The visual studio core guidelines checker. The clang-tidy core guideline checker. I could go on but my point is, the landscape does not really look like how you've painted it.
Appalling tone of conversation. Comparing a multibillion dollar high tech company's workplace safety procedures to street violence in poor parts of the US or in mechanized agriculture is insulting. SpaceX has tried to ignore this tragedy and their silence and opaqueness about it mean nothing will be learned that could prevent the next disaster.
Hmm, interesting. I'll have to think about that.
> vulnerable (I'd daresay even more so) to account takeovers.

Not more so. Vulnerability is a function of defensive capacity. There is no reduced defensive capacity. If anything, knowing who invited whom can allow one to allow web-of-trust based checks on suspicious login, allowing for more stringent guards.

> For a first approximation, even if one user can only invite 2 users, exponential growth will mean that bots may still pose a problem.

In these types of systems users earn invites over time and as a function of positive engagement with other trusted members. Exponential growth is neutered in such systems because the lag for bad actors and the natural pruning of the tree for bots and other abusive accounts, leads to a large majority of high quality trusted accounts. This means that content flagging is much more reliable.

So, yes, bots are still a (minor) problem, but the system as a whole is much more robust and unless there is severe economic incentive to do so, most bot operators understand that the lower hanging fruit is elsewhere.
The first Bitcoin difficulty adjustment happened on Dec 30 2009. Which means that for entirety of year 2009 there was on average just one computer mining Bitcoins.
It seems reductive to eliminate solar, but the land use is a real consideration. There are some areas where solar, and other forms of renewables, can be installed without issue, but those sites are limited. If you commit to an all-renewable energy system, you'll almost always end up running out of suitable sites and start installing solar panels and windmills in areas where they harm existing animal or human populations.
One nice thing was Ignite.

I really missed that, until I found ReaR.

I actually passed the HP-UX certification exam.
Maybe I'm not the only one who resubscribes just for Great British Bake Off...
Pure rust ? No.
If cities provided separated bike infrastructure and kept that infrastructure clear of snow, cyclists can manage it. Pogies (https://bikepacking.com/gear/pogies/) are incredibly effective for keeping your hands warm; the rest of your body can be kept warm in cold temperatures by standard wind-resistant gear & the heat generated by your body when you exercise.

Studded tires make an enormous difference if you get ice in your town.

The problem is not the climate. It is the infrastructure. American cities, towns, suburbs, roads, and just about everything else are designed for one mode of transportation: the car. Even walking is an afterthought -- ever feel uncertain of how you're supposed to get from your car to a business, because there's a sea of parking lots right up to the business's front door?

Cars are not scalable. We need to redesign American cities for micromobility today.
What about pedestrians? What about safety from the increased visibility?
It did. I somehow threw the TV onto the footpath as I fell. Its box and polystyrene packing did their job.
modifying the potency of a function is not gain or loss of function.

GoF is aquisition of a new tool or capability.
Essentially all public functions that create records create, by definition, public records. There are exceptions, but they're much narrower than you'd expect. You're entitled to demand copies of the records that federal agencies collect, and those records are created with the expectation that they can be produced on demand. Most agencies do a reasonable job of making things overtly public, so you can just download them. But even if they don't, you can just FOIA them.
I don't follow, $7k-70k is still nothing to the likes of SpaceX. Why are human lives valued so little? Why aren't organization size and resources taken into account when computing the violation penalty amount?