skysight-inc/HackerNews huggingface dataset:
Casting mut to &mut in a safe function is unsound, and UB if the result is used alternatingly with an earlier &mut to the save object (I've seen this in a library I tried using). In C++ casting a to a & is sound, and casting a * into a __restrict & might be unsound but restrict is so rarely used that it doesn't matter, whereas safe Rust nearly requires using &mut for mutating through a pointer.

As for "compile-time memory safety inherently requires some limitations on programming style", I find compile-time lifetime safety to be a tradeoff, and often a net negative in not only performance but ease of programming for low-level code maintained by the same individual preserving a "theory" of the code over time (whereas I don't find compile-time bounds checking or thread safety to be a net negative to programmer experience nearly as often). And when I see people on crusades to stop programmers from writing code in unsafe languages (taking away programmers') ability to opt out of this tradeoff, I will stop at nothing to oppose these people.
Fly.io, I really respect them and their awesome "light vms". Their blogs are fantastic and one of these days I'll have a reason to try them.
I've used Borland. I'm sure it was marvelous at the time, but it doesn't hold a candle to CLion or Visual Studio in the 2010s or later.
In a perfect world yes. Unfortunately we can't pick up our schools and move them if it turns out to be a poor location.
Another interesting weird syntax I ran across a few years ago is OGDL: https://ogdl.org/

It's sort of an alternative to S-expressions with much less punctuation, but the data model is slightly different — in S-expressions you label the leaves, and in OGDL you label the nodes. In other contexts these node-labeled trees are sometimes called "rose trees"; they are the basic data model of, for example, Prolog. Labeling nodes is almost equivalent to labeling arcs, but OGDL does support multiple references, so not quite.

The OGDL proposal was intended for data, like XML, not programs. They started out by trying to simplify YAML, which has arrays and dicts, and they simplified it by unifying them into a single structure.

Here's one of their examples:

network
eth0
ip 192.168.0.10
mask 255.255.255.0
gw 192.168.0.1

hostname crispin

This is not quite just an edge-labeled digraph because, as in S-expressions, the order of arcs within a node is significant; you can have multiple edges with the same label in the same node, and you can select edges by ordinal rather than, or in addition to, label.

This is of course amenable to use as a programming syntax.
Squares do not exist outside of abstract axioms. Solids projected from them share the same status. A mason making a tile forces reality to approximate the concept. Even crystalline structures which suggest them are too approximate. Why is a square implicit to an alien?
The galaxy tablet isn't the best selling android tablet? then what is, is it the kindle?
It’s probably because of the second paragraph. The first is a sentiment many people can agree with. The second paragraph, asserting not only that the U.S. is crumbling but that somehow retired generals working in SA is proof is utterly ridiculous.
Ebike Charges in the Sun
Independent sources verified that 93% of journalists voted for Hillary Clinton. The media overall is very much leftist.
(NB: I was, prior to being a fully remote worker, a full time cyclo-commuter, and sometimes bike infrastructure advocate.)

The problem is partially the infrastructure. My rust belt city, or Eau Claire WI, could put in perfect bike and pedestrian infrastructure tomorrow, and it would be barely used for a generation, or more. Many bike advocates advance the wrong approach. Sure, with the right gear, anybody could commute in the middle of a Wisconsin winter. A better approach would be convinced the residents of Eau Claire (or any town, USA) to start by riding their bikes when the weather is good. Then gradually shift expectations to riding when it is raining. Then riding when it is cold. Lather, rinse, repeat. I think it would be a huge improvement if 2/3 of the residents of my city walked, took the bus, or rode their bikes to work five months out of the year. Over time, some percentage of those folks would realize that they could ride (or walk) when the weather isn't great.
I think, we used to called that cross-platform applications not Operating System. Honestly, it sounds trying to too hard to sound like sell a vision that already exits for a while. That's not a new idea IMO. Java wanted that, Adobe has been trying to do that with their CC stuff, Google has been on it for a while, Apple does that within its own ecosystem for all devices you would want to use (iCloud, handoff for applications, AirPods ...). I don't know why Microsoft is frontrunner with this. Microsoft probably can work with more platforms, but I'm not sure it goes deep enough with each other those compared to say Apple or maybe Google.
JavaScript for terrorists, courtesy of GitHub Copilot
Putting aside the huge copyright case that's seemingly coming Microsoft's way, I tested something a bit nonsensical earlier on (FBI, I'm no threat -- I promise!). I typed the following:

function blowTheWhiteHouseUp() {
}

Copilot then responded by suggesting the following code:

function blowTheWhiteHouseUp() {
var bomb = new Bomb();
bomb.explode();
}

Edit: Come to think of it, an actual terrorist would say they're no threat, wouldn't they? Shit...
Findings show that the Vikings' self-image was influenced by Ancient Rome
> IMO this was likely a misguided effort directed towards reducing spread, because it was determined that quarantining to save other people wasn't a strong enough incentive to curb risky behavior (which is depressing), but backfired heavily and likely caused more harm than good.

Perhaps a large set of people have a different set of values and consider the tradeoff between endless (and mostly useless) lockdowns and restrictions not worth it compared to taking their risks of getting covid.

Perhaps they have decided that the costs to society far outweigh any benefits from these mitigations. These are a perfectly valid set of values, just different than your own--it requires absolutely no "conspiracy theories" to think this.

> conspiracy theorists

There is not many conspiracy theories about covid and a very small set of people peddle them. Most of the "conspiracy theories" turned out to be perfectly true. For example requiring proof of vaccination to sit down at a starbucks turned out to be true. Vaccines turned out to do very little to stop infection or transmission. Masks not working as well as some people would like to believe. Lockdowns and school closures hurt children--especially those who are low-income.

Writing off everything you disagree with as "conspiracy theory" is poor intellectual thinking. Maybe if you put aside your preconceived notions and dug harder into the arguments people have against everything society has done for covid, you'd discover that they have very valid points.
> then said "state-sponsored news is inherently spam

So BBC is spam according to them?
Threading is the killer feature of Zulip I think
The results are a trade-off between sparse or having false positives.

Rust just takes the other side of the trade-off, and will reject valid programs. Hence why the unsafe keyword exists, and why tools like Miri (https://github.com/rust-lang/miri) exist specifically for rust.
Not fully undetectable after it's been detected now, is it?
Danbooru is one of the most popular anime image board.

Anyone who's into Anime (not just for hentai) probably knows.
Yeah that’s literally how race quotas work. You hire some white men, go “woah too many” and stop hiring them.

To make things easier, you do this by avoiding hiring poor whites in particular, while continuing to hire privileged whites who will celebrate your efforts as brave and courageous.
I'm surprised I haven't seen more discussion of how tags are an entry point into plain-old data architecture. It should be obvious that by the time you're using tags for queries like "start-date: BEFORE 2022-03-01", you've created an inner-platform where you're building a plain-old relational database on top of your tags. Stop what you're doing and elevate "start date" out of tag-land and into a more structured representation with more application support.

Many enterprise databases add a memo field called "Comments" to almost every table. Clients very often end up coming up with their own guidelines about how to embed various information in the comments fields that the primary structure is missing. Looking over how clients are using the "comments" fields is a great way to discover new things that should be formally incorporated into the structure of your data architecture. Similarly with tags.

Look at tags as a starting point for adding a bit of loose structure to the frontiers of your data architecture. Mix them in with more structured data architecture. Be ready to "graduate" tags up to the next level of structure when it becomes appropriate. Stop worrying about how to make tagging perfect and embrace it for what it is: an easy way to get started on modeling the parts of the domain that you haven't spent a long time thinking about yet. A good way to understand how users want to use your system. Something you're always revisiting, cleaning up, and using as a source of inspiration. If you see some tags getting out of hand, don't try to improve your tagging system; instead take what those tags are trying to represent and add more structured fields and queries for them. This pipeline of less to more structure should be constantly playing out in a healthy, evolving system.
The hacked and leaked DNC and Podesta emails and corresponding fever dreams of cheese pizza meaning child porn and all the other nonsense definitely affected some people. The DNC emails and conspiracies pushed on the left made a lot of Bernie voters sit out. It all adds up. Our national security infrastructure should actively combat that kind of foreign interference.
It's interesting to note that the family has changed the main picture to remove any overt SpaceX references.
It looks fine. Some people just complain about change because they hate change.

I for one welcome it and far prefer modern software design to old paradigms.
Well, it was certainly a lot more dangerous then:

https://youtu.be/ZNAHcMMOHE8?t=395 : A trip to the moon 1901

But seriously, the point is that the techniques and facilities are not changing, which is blatantly not true of reusable meth-ox rockets. Or you can just say we'll stick to Saturn Vs to get to space.
> I thought it was understood that the word "incomplete" in the context of a discussion of Godel's Incompleteness Theorem meant incomplete with respect to the truths of arithmetic, because that is what Godel's Incompleteness Theorem is about.

What does "with respect to the truths of arithmetic" even mean? How is Presburger Arithmetic "incomplete" in this sense?

> And those two things would be...?

That it's so complex as to be obviously incomplete, but also so simple that anything smaller than it is obviously trivial. There are interesting systems smaller than PA, and none of this is obvious.
The footgun-to-appropriate-feature ratio is higher with C++ than Rust. Rust also has some excellent Python integration options that are relatively easy to use.
> 24 workers have been killed while in the space industry

Non-competitive US Government incompetence killed 14 astronauts since 1980.
> Their economy would be cut off from the rest of the world in an instant.

I think you misunderstand deeply the current equilibrium in the world.

Most of Africa, a significant part of South East Asia, some countries in Eastern Europe would definitely align with China. A significant part of South America would be neutral.

The USA is losing allies nearly as fast as China is making them.
You’re right, I see some *.md-files in the GitHub repo
Can confirm.

If you put a penny in a jar every time you spend time with your kids until they get to school, then take a penny out every time after that, you will never empty that jar.
TSMC (and Intel) use DUV for their 7nm.

TSMC's DUV 7 processes are reportedly very good.

And I thought Intel's 14 was good too (after some ramping), which is why they stayed on it and iterated on it for so long, it was the 10nm process they had so much trouble with and the problems there are not generally reported to be with lithography but materials (cobalt, among other things, which they dropped in later nodes).

So I'm not sure what you are trying to argue. DUV has _proven_ to be economical down to about 7nm.
> I find it very difficult to see how the independents would be more biased.

What do you mean by biased?

You can probably say that on average, independents are less biased than Democrats in favor of Democrats and against Republicans, and correspondingly less biased than Republicans in favor of Republicans and against Democrats, although this may not apply to some individual independents.

However, I don't view politics as a line. The terms "left" and "right" were based on seating charts in a legislature. The realm of politics and political views is vastly broader than encompassed by relatively narrow range of the American Democratic and Republican parties, and moreover, there are vehement, nasty disputes even within those parties. So in the broader sense, I would say that every individual person has there own idiosyncratic views, which may or may not overlap well with some political party, and the whole notion of being "unbiased" is somewhat questionable.

Let me put it another way: if scientists say the Earth is over 4 billion years old, and creationists say the Earth is less than 10 thousand years old, should we expect the truth to the somewhere in the middle? Should we ask the agnostics?
I really like the idea and motivation here. I’ve always preferred forums over chat for the reasons you described. Hopefully this gains traction.
Sure, but can you generalize the behavior of Trump, Snowden, and Assange to that of a bunch of retired military officers?

Incidence matters. If intentional classified information leaks were commonplace and unsurprising, then sure, we could say we expect retired military officers to routinely follow the example of Trump, Snowden, and Assange when it comes to classified information. But I don't think any of us can make that claim.

Intentional classified information leakage is relatively uncommon, and, for the most part, is punished when it happens and a perpetrator can be identified and caught. Obviously in the case of Trump, that potential punishment is politically fraught, as was/is the case with Assange. The US government would love to punish Snowden if they could get their grubby hands on him. I guess look to Chelsea Manning if you want an example of when the government has successfully brought down the hammer on someone doing things with classified material that they didn't like.

To bring it back to the topic at hand, I expect that the retired military officers now taking employment with the Saudi Arabian military will most likely protect any secrets they're legally bound to protect. Why? Because that's what seems to happen most of the time, and punishments for failure to do so can get pretty severe. And someone who wanted to sell secrets might have a difficult time if their chosen country of exile is SA. If found out, they'd have to contend with the strong possibility that the SA government would extradite them to the US, depending on what kind of pressure the US might bring to bear.
That video (US) is super bizarre.

Presumably you could just get out of the car and walk like 50 metres to the school entrance? What's the point of the queue?
One thing off the top of my head, from experience:

std::string s(s);

To be fair, compilers will warn you about this nowadays. But when I converted a C codebase to C++ 20 years ago they didn't.

IIRC, references can also refer to de-allocated memory. Also, if you don't pass-by-reference or pointer, you can literally "slice" the dynamic doohickies off your instance so your AlbinoCat behaves like a Cat because all that extra special stuff is gone as far as the function is concerned.

This is just off the top of my head after not working with C++ for 20 years. I'm sure with all the new features it's gained over the past 20 years theres whole new exciting ways to blow your leg off.
Is gsuite even ahead of office?
As many commenters have mentioned (as does the article) hierarchical tags are a pain, if not an impossibility to get right. Related tags, though, can be done on the cheap and are surprisingly powerful, fun and cool under the right conditions.

Say you have a massive database of photos, each photo having tags. As example we'll use the tag "United States", which is used as a tag on 50,000 photos. Next, you go over each of those 50,000 photos and check which other tags were used, and sort them by occurrence.

This reveals useful and often surprising implicit relations between tags. The relation can be of any type, hierarchical or otherwise. It reveals relations never explicitly mapped or maintained. It's organic, which kind of fits the philosophy of tagging.
Are you referring to the infamous Wright Brothers rocket ship?
I would not mind except for the US’s tipping culture. I would rather bus myself than pay a tip just to have someone walk a few feet to drop off food and pickup plates.
Adams must not watch many movies.
I wish the author had provided a source for their claim.
I love her work :) The co2 isotope-based tracing is genius.

Also reminds me of the nutrient chain in PacNW connects the salmon spawn to becoming tree fertilizer via the bear fishing and discarding partly eaten carcases; they just eat the fatty skin. Deep ecology.
> It's quite apparent their desired narrative is falling apart now, where a Pfizer executive publicly admitted they didn't even test for transmissabiity

This was known when the clinical trial docs where first published. No one said it did at the very beginning, it was never hidden by anyone. The data of reducing transmission was collected when the vaccines began to roll out. And for pre-omicron strains it did reduce transmission.

This whole thing about the recent Pfizer thing is just some anti-vaxx narrative.
> When media actually relied on ad revenue, it was not so partisans.

Do you have a source for this?

> Advertisers wanted bland stuff that appealed to everyone.

Do you have a source for this? From my point of view a larger audience will drive the price up so I fail to see a correlation. Also, a broader audience leads to less targeted audience, so that seems cost-ineffiecient

> It's the subscription model that drives partisanship.

Do you have a source for this?

> People want to pay to support stuff that they agree with.

Do you have a source for this?

You are framing a bouquet of personal opinions as facts here.
Note that I was talking about using pointers to pass a single object by reference. In such cases references are 100% better than pointers, if the pointer is never supposed to be null.

>Also, there are programming errors that can lead to a NULL reference, and there is no way to guard against that in code using the reference (well, none that doesn't generate Warnings, and/or is liable to be optimized out) - whereas at least with pointers you can always check in your own code.

On the other hand, if you find you've received a null reference as a parameter then you know that something has definitely gone wrong, because unlike with pointers null references are impossible in the absence of UB. If all you know is that the function has received a null pointer then you could waste a lot of time trying to figure out how the program reached that state, when in actuality the problem is that someone else wrote out of bounds.
Pretty sure you can't factory reset iPhones without the password either.
Thanks for the info, that's good to know. I'll definitely consider going back to the MacBooks when Linux on the Apple Silicon chips becomes a reasonable option after Apple drops support for these new laptops.

I get almost all my laptops from eBay, so I often replace the batteries soon after purchase, then maybe every 3-5 years (?) after that. I replaced the battery on my 2014 MBA in 2020. I get the impression that I use my laptops longer than average. My Windows 10 laptop is a 2011 model with an Intel i7-2620M processor whose batteries have been replaced twice.
So you've reversed your position about the inevitability of war with China then?
My use case for this would be fairly simple: future proofing, to make it unlikely to need a new tablet for 10 years
> Those only work for people in the US or countries that will extradite which I would guess SA would be unlikely to do in this case.

I wouldn't be so sure. SA depends on the US for a significant amount of military equipment and training. They might turn over a US traitor if they got even a whiff of that help being threatened.
This is a PhD thesis in itself!
All of this complicates the program significantly, and greatly reduces the advantages of RAII. If you're not using the constructors for initialization, than your desturctors also have to handle the case where the objects didn't even attempt to acquire the resource they may represent, for example.

Also, how to handle a failure to release a resource is context dependent, you can't encode it in the type of the resource unless you create a different type for each call site.
I'd recommend deleting or editing your comment. The actual definition of "gain-of-function" is quite easy to find if you want to take this matter seriously: https://en.wikipedia.org/wiki/Gain-of-function_research
To keep that sweet sweet grant money coming?

Well that's not the only reason, but it's probably the biggest if we're being honest.
I think multitasking is the basic operation and these are normal operation. Ipad is seriously limited by Apple wallgarden design.

And, I think many people work like this if it will ever be available in wall gardened ipad.
It's cultural. Americans perceive anything but a private automobile to be inconvenient and unsafe, even though stats show that private automobile use is actually fairly dangerous. Changing the culture will take a while.
They’re now funded by investors at a loss.

It doesn’t make accounting sense, but neither does politics. Media is power.
It's unfortunate because I like reading Lowe usually, but these pieces that obfuscate and explain to us how we should feel about something so obvious is telling.
She said if my daughter showed up by bike she wouldn’t be allowed into the building. If they saw the bike locked up to the fence they’d cut the lock and impound it. She was apologetic and said it was a safety issue because everyone else drove and it’s not safe for students to be around cars and busses. I pointed out that everyone else drove because they weren’t allowing people to walk or ride their bikes. It was very frustrating. I was glad when we moved on to Jr High.
It's the best. I learned DSP from that ~20 years ago and still use those mental models whenever I need to think through a problem. A good book like that is a friend for life.
Plus 14 astronauts, at least half of which were because the government management overruled engineering because they wanted the PR of a successful launch (and didn't get it).
Note that diving to a depth of only 10m will double the external pressure on your body yet humans can easily survive this.

Indeed the all time record is >300m which is something like 32x pressure.

So it’s not merely that there is equivalent pressure from inside.
I agree that it feels like multiple projects are converging on something that is ripe (or close).

I have done some deep-digging for markup languages and came across more than one project in this space. (I've added Jevko to my list; https://twitter.com/abathur/status/1582492437984837632)

You may have already seen it as well, but you might also find https://github.com/teamtreesurf/link interesting.
Amazon Labor Union Loses Election at Warehouse Near Albany