skysight-inc/HackerNews huggingface dataset:
The POWER/PowerPC ISA is still widely used in safety-critical avionics, where a mature tool-chain exists for supporting DO-178 objectives.

In my opinion, an area of interest going forward into the next decade of more safety-critical software written by smaller and smaller orgs (e.g. eVTOL companies, sensor companies, etc) is continuing to push forward which objectives can be accomplished by formal means instead of primarily through testing.

An NXP or IBM processor might be great, and might be mature, and might be very well tested -- but I, as a safety-critical software developer, have little way of demonstrating that to certification authorities. The availability of open-source processor designs and, in the future, traceable and accountable conversion from those HDL designs to RTL, to masks, and then to silicon, gives a path to showing that portions of a processor are correct-by-design, and thus a path to the goal of showing that my machine-code-as-authored(-by-an-assembler) and machine-code-as-executed(-by-a-processor) semantics match.
Yeah I’m keen to see your solution.

FWIW, the formatting of the snippets I wrote above was as two separate diffs for additions with the new additions (ie green parts) represented with [square brackets].
Wait, what? Until the 2000s, savings accounts definitely paid more than inflation, at least pre-tax. I remember getting 6% for much of the 90s.

Sadly, this is showing to be really hard to google. The best I could find was 6-month CDs, which track it pretty closely[1] and this article [2] which supports my memory but is vague about which interest rate it's talking about.

Edit: Money market yields are also a good proxy, which I found here [3]

Edit2: Adding inflation link [4]. Example data points for (money market, inflation) from [3] and [4]:

1985: 7.7, 3.8

1990: 7.8, 6.1

1995: 5.5, 2.5

2000: 5.9, 3.4

[1] https://www.bankrate.com/banking/cds/historical-cd-interest-...

[2] https://advisor.visualcapitalist.com/us-interest-rates/
(scroll down for the table)

[3] https://www.infoplease.com/business/economy/money-market-int...

[4] https://www.thebalance.com/u-s-inflation-rate-history-by-yea...
It also solves the problem of having to source tenants and do all the legwork around that which is a pain in the ass part of owning property. Especially if you own many properties.

It's not unlike the role a recruiter plays for jobs.
Belief can be powerful, but there's a few problems with it.

Firstly, people aren't going to just believe in anything. Let's face it, very few "believe" in something like Coca-Cola. Does that mean no one should work for Coca-Cola? Of course people should. (ethic of business practices aside!) Some of the work I'm sure is interesting, and despite that millions of people enjoy Coke and many would be happy being associated with it. They might even be content working for them. I don't think it's necessary to have a belief or passion in a company to do good work for them and not hate your job.

Belief is also fleeting because, if your company is successful, inevitably you will sabotage the things that made people passionate about it in the first place. Once you get corporate, stuck in your ways, and implement layers of aloof middle management, no one is going to care about your business from a personal level no matter how much company surveys will suggest the opposite. Belief is great, but you can't count on it forever. You might be able to extend that belief by being smart and not doing things that would show up in a Dilbert comic, but it's far more common that companies abandon the things that truly inspired their employees. Most businesses dilute responsibilities, get rid of most of the nonstandard perks, and fundamentally get lazy as they milk the cash cow.

What's more valuable long term is respect and trust in subordinates. If you don't foster those things in your culture, you'll inevitably get 90% complacence and yes-men and 10% semi-disgruntled performers who do most of the work. So many employers don't want to hear what the experts they've hired have to say; they disrespect them by treating them the same as sales (and sometimes the sales dept becomes the most respected) and milking as much effort as they can, disregarding any sort of estimates someone like an engineer would make.

If you don't have respect, not only will nobody care about your project, but no one will give a fuck about your project.
I have to ask the obvious question here: How do you plan to maintain the second largest website on the internet that has high bandwidth demands to serve 4k video content and serves 122 million users a day, 2+ billion a month if you are not willing to even tolerate simple adds that you can easily bypass in 1 minute of your time by installing an add blocker or downloading Brave browser or God forbid paying 10 dollars a month?

My friends will not even host the torrent that they just downloaded for a single hour and my family don't know what torrent is and more important than that, they don't care. Good luck with really large scale p2p solutions. You must be really happy paying 100 bucks on fees to transfer 10 dollars on the Bitcoin or ETH networks, but hey! no adds or "evil" companies!
> The data we have shows that it was being caused by Vitamin E acetate, which was used by off-brand THC cartridges.

That's a different, less well understood respiratory problem. Some ecigarette liquid contains (or used to contain; it's banned in Europe but maybe not in the US?) diacetyl as a flavouring; that causes popcorn lung and various other problems.

Regardless, neither of these are a concern where not present, which they generally aren't.
lol - one way or another the buyer is paying for it. If sellers operate at a loss for too long, they won't have that thing to sell any more :p

Overhead is overhead. Trying to pretty it up with fancy language like "moving wealth around" and "changing captured value" doesn't alter the fundamental economics.
Maybe because it presents a false dichotomy where one’s desire to profit from an asset must also accommodate those unable to afford it?
I'm having a hard time parsing your comment. You're saying prioritizing physical health is a net negative and you'd rather trade that for better mental health?

Wouldn't bad physical health generally lead to a worse mental state?
I love the idea of the wafersats

> Thus a 1 kg spacecraft going at 0.3 c will have an effective "yield" of 1 MT or roughly that of a large strategic thermonuclear weapon.

Lets not accidentally wipe out a neighbors city and start an interstellar war.
Next up, Copilot for college papers! Who needs to pay a professional paper-writer (ahem, I mean write the paper) when you can have an AI write your paper for you! It's fair use, so you're entitled to claim ownership to it, right?
Monopoly claims need to show customer harm and an absence of alternatives. I don't think Twitter fits either definition as it has many competitors, it is free for users, and the advertisers are the customers and they have even more alternatives. Do you have data to show otherwise?
The reason the IRS takes this tactic is it is literally underfunded. It does not have enough money to go after every millionaire and fight those court battles, even though there's a near certainty that it was in the legal right and enforcement of that type would bring back multiple dollars for every dollar spent on enforcement. The IRS does this calculus every single year, submits it as a report to the legislature, and then often has it's budget cut
Plagiarism, pretending you made a work entirely yourself when you didn't, is rarely a matter for a court to decide and the standards for what constitutes plagiarism can vary a lot. When I turn in projects for a course, a cite sources in the comments a lot, even if what I turn in is substantially modified. An employer generally doesn't care if you copied and pasted code from StackOverflow or wherever, so long as you don't expose them to a suit and you don't lie if asked "Did you write this 100% yourself?"

Citing your source is not a get out jail free card for copyright infringement, it doesn't really matter.
I asked the same without the sarcasm, and it got down voted instantly.
Even if it worked that way, its a poor filter since the IFR is only 1% and it mostly kills people that are very old anyway. Plus ideologies aren't genetic. And even with genetics the whole "evolutionary filter" concept fails due to reversion to the mean. Plus it is a fundamentally right wing political concept. "Evolutionary filters" are about as scientific as the antivax movement.
And this is why ETF's and index funds have become so pervasive. You can buy a high dividend ETF, set it up to DRIP, and then you have a share in a hundred geese, all of which can somehow combine together to give you another goose on a regular basis.
I sell a box that performs a task. (It's a slightly specialized OBD2/CANbus scanner that uses an AVR microcontroller.) So long as the box performs the task, it could have a woodpecker typing a picture onto a stone tablet for all the users care. If it doesn't perform the task, they'd rightly complain whether it was a Genuino, a Fakeaduino, a 6502, AVR, ESP32, or Core i7.

I do not advertise the device as containing any specific board and the vendor I buy from does not use the Arduino mark either. https://www.aliexpress.com/item/32799911396.html?spm=a2g0s.9...
It's when a major fund(s), bank(s) or lender(s) blows up and is followed up a successive string of failures until the "big one".

Every financial crisis or recession from the last 30 years or so has had a string of failures leading up a crash.

Late 1980s S&L Crash - You had a string of larger S&Ls failing (and a ton of smaller ones). This was a contributing factor in the 1990 recession. Note that S&Ls started failing in the mid 1980s.

2000 Crash - Long Term Capital Management blew up in 1998 and had to be rescued due to fears of contagion. Note the market hit all time highs after this fund failed.

2008 Crash - In early 2007 - New Century blows up ... starting a cascading series of failures. The S&P hits new highs throughout 2007 after New Century, until it finally starts to crash in late 2007 leading into the 2008 recession.

And now we have Archegos, which failed earlier this year and new highs in the stock market this week.

I am watching for more failures. One of the major contributing factors to Archegos' failure was WAY too much leverage. There is a ton of money sloshing around the system right now, and margin debt has hitting all time highs.

Crypto is also going blow up and take a lot of retail with it. If you get a stock crash and folks get margin called you could see a lot of crypto selling to cover that margin.
odysee.com is also another good decentralised alternative. YT creators can easily sign up and setup automatic sync of all of their videos. This is a great way to have a backup in case Google decides to ban them or do some wonky policy changes.
Op suggested regulation. I.e. making certain practices illegal. You responded:

> they run a racket that would be illegal there to begin with.

Perhaps making it illegal in nyc as well, as op suggested, is the solution? Rather than letting a tech company replace the scalpers with a scalping monopoly
what about lines such as

Idxs[i] += (Imm >> ((i * HalfLaneElts) % 8)) & ((1 << HalfLaneElts) - 1);

double r2 = fma(u*v, fma(v, fma(v, fma(v, ca_4, ca_3), ca_2), ca_1), -correction);

seed ^= hasher(v) + 0x9e3779b9 + (seed << 6) + (seed >> 2);

qint32 val = d + (((fromX << 8) + 0xff - lx) * dd >> 8);

even if it's one line, it likely took some non-negligible thinking time from the programmer
I believe Pihole automatically put in the NXDOMAIN entry needed to disable DoH on Firefox for you. But who knows how long Firefox will respect that, since there's nothing stopping ISPs from employing the same strategy to disable DoH.
That's what I meant by the devil being in the details -- these gray area questions hinge on the specific facts. Lawyers on both sides will argue which factors apply based on past caselaw and available evidence, and the court renders a decision. For example, from the Stanford webpage I previously linked: "the creation of a Harry Potter encyclopedia was determined to be “slightly transformative” (because it made the Harry Potter terms and lexicons available in one volume), but this transformative quality was not enough to justify a fair use defense in light of the extensive verbatim use of text from the Harry Potter books". So you might be okay creating a Harry Potter encyclopedia in general, but not if your definitions are copy/pasted from the books, but you might still be okay quoting key lines from the books if the quotes are a small portion of your encyclopedia. The caselaw just doesn't lend itself to firm lines in the sand.
> Today copilot does what it does.

It's also not a commercially released product yet, but a technical preview, so uncovering and addressing issues like that is exactly what pre-release versions are for.

I'd say it succeeded greatly in sparking a discussion about these issues.
> Roosevelt confiscated gold held in banks (in exchange for dollars) and subsequently diluted the dollar, but it was still pegged to gold.

I mean, legally pegged to gold was meaningless since holding just 2-kg of gold was illegal IIRC. EDIT: Just reread the executive order: 5-oz was the cutoff point.

IMO, Nixon's actions just "admitted" that the price of gold was no longer pegged to the dollar. But making gold "hoarding" illegal was really the pragmatic step that decoupled gold from the dollar.

The (black) market price of gold vs dollar went haywire after Roosevelt's executive order. And in many respects: the market price (even black-market prices) are more important than what the law actually states.
A lot of this sounds like the Breakthrough Starshot initiative ideas. I could not find out if the author affiliated with said initiative.

https://breakthroughinitiatives.org/initiative/3
Did this article change for anyone just now? I was reading on my phone and I went to share with a coworker and its like half the content was deleted...
I suspect you are right about the age division, but would love to see some real numbers and studies about each side. Every study I have seen about the youth pushes your sentiment that "entire high schools are getting addicted", but when you look at the questions, they are typically very misleading and something along the lines of "have you ever tried a vape".

OTOH, being older, I have never met someone who vapes that didn't smoke before, and know several smokers who quit and switched over.
A peer of mine got invited to become a manager and was concerned about being ready so she scheduled a meeting with me and these are her notes cleaned up.

The first thing I told her was that if she thought she was truly ready--this will be no-big-deal kinda ready--to be a manager that would have been the first indication that she might not be ready.

This was a need reassurance and she is doing wonderfully.
I knew an electrician who had a bucket of scrap next to the couch, and he'd strip wire or unravel windings while watching TV. Didn't pay as much as his day job, but it did pay (never asked if he was reporting the income or not).
I go to 1.1.1.1
http://www.savebristolbay.org/pebbleproposal
So now there are "warmists" who obviously target the developing world with their misplaced ire? Interesting.
I guess the good thing with a strawman is it burns easily, right?
I see ;-) Also the words/minute figure is questionable if I type 185 chars/minute.
I use a few of these, they work great. Although I personally run Linux on them, I don't see any reason why OPNSense wouldn't work, as it's essentially just an x86_64 system:

https://www.pcengines.ch/apu2.htm
Morgan Stanley’s Customers Data Breached Through a Third-Party Service
The thing is that the "seeing as equals" has to cut both ways.

UX people, UI designers and PO/PMs who see developers purely as interface xerox machines don't really deserve much respect.
KYC only helps to an extent, right? My understanding of crypto is minimal, but if you run your own miner I assume you don't need to verify anything to anyone. You should be able to send out transactions to the network and have them be accepted anonymously, which is what most people who would be interested in money laundering would do.
The rug pullers, of course.

It's a market with very asymmetric returns. If a typical rug pull results in millions but the typical victim is out hundreds, then there must be 10,000 victims for every winner.
The 1918 pandemic didn't end until 1957. The virus came back as seasonal influenza until it was eventually displaced by H2N2 (as H1N1 displaced whatever influenza was around pre-1918). That H1 envelope protein came back in the 2009 pandemic and has been with us ever since.
I think we'd all benefit if Microsoft had more direct control over legacy print drivers. Printer manufacturers seem some of the worst offenders in bad driver software in general.

I also assume that if Microsoft had the ability to create more generic printer drivers they would. Given the huge amount of older legacy hardware that falls under any of the other Generic Class Drivers it kind of sticks out as a sore thumb how few printers have generic drivers. (IIRC, there's a Generic PostScript driver that works with early [Apple led era] laser printers back when PostScript was new and considered sufficient as the only language between the computer and the printer, and nothing recent.)

My understanding is that most inkjet printers especially speak OEM proprietary languages that's not just PostScript or PDF (or Microsoft's mostly failed dream of an open XML format with fewer patent hangups than PS/PDF they tried in XPS). You would assume some of those proprietary languages include commands at least ancillary to the cartridge DRM (initiating checks, validating DRM status codes and checksums, things like that) if not directly involved. DRM is the main reason to blame these proprietary languages for remaining proprietary and not well standardized across/between manufacturers (and thus don't leave us with enough generic OS printer drivers today), though it's probably not the sole reason for the proprietary languages. I'm sure the manufacturers also have other reasons for keeping their printers using proprietary languages such as not wanting to license PS/PDF or leak too many low level details of their hardware designs (beyond just possibly leaking DRM information) or patented "secret sauce" of their own languages they believe to be a competitive asset.

Microsoft's XPS push was one attempt to get them off proprietary languages and allow them to offload far more driver work to Windows directly. Seems a shame none of the printer manufacturers seemed to take them up on that.
Not true. Generating energy is only part - propulsion is hard too. Even if you had a bunch of anti-matter, how do you build a spacecraft that can safely transport humans for years with a propulsion and storage system that uses it? How do you use M-AM annihilation usefully? It’s not like Star Trek.
GitHub appears to be tracking every snippet that they're generating during their trials:

https://docs.github.com/en/github/copilot/research-recitatio...

Are you doing that? If not, then I wouldn't use GitHub's use as justification to engage in copyright infringement.
Requesting doesn't mean you will get anything.

Had a lawyer on 2 occasions request various pieces of information regarding traffic, denied.

And it was traffic, not state secrets...
Fast food prices have increased greater than inflation for some time: https://www.delish.com/food/news/a39265/fast-food-menu-price...

Thinking that labor costs do not impact product costs is grossly ignorant.
LBRY is what had me thinking a lot about this
If Github hosts AGPL code, does that mean that github's own code must be AGPL? Obviously not. What's the difference?

There's no point to copilot without training data, some but not all of the training data was (A)GPL. There's no point to github without hosting code, some but not all of the code it hosts is A(GPL).

The code in either cases is data or content, it has not actually been incorporated into the copilot or github product.
This Post Was Written by GitHub Copilot
The difference from Doorkee, or any matchmaking service, is that they do not guarantee to pay your rent for six months if a) they can't find someone within a month or b) your landlord doesn't like them. This bet is highly asymmetric - they can win 1 month fee (if you sublease tomorrow) but lose 6x that. I'm also in NYC, and wouldn't underwrite this gamble two years ago, and absolutely not today.
I'm a living citation. Was a small business owner, retail vape shop. Did fine for 5 years. Then the regulations to save the children and hit pieces in the news. All the small independent shops went under and now you can only buy the vuse, and juul, both owned by...you guessed it, the same folks who sold cigarettes.

Basically, the wrong people were making money, and the regulators fixed that. Now the money is flowing to the right people and no one gives a shit that teen smoking rates went back to higher than they were before vaping. Harm reduced, a slow clap to our regulators.
Yeah it's an electron app, this puts me off instantly, on my macbook i prefer to use native tools since my experience with electron apps = faster battery drain.. that's not desirable..

apple provide best frameworks to design UIs easily (SwiftUI), please use that
Ask HN: As a self-taught dev, how do you network and build relationships online?
Since COVID drove most of the communities and events online, I was curious to know what worked for you and what didn't when it comes to networking and how that lead to a job.

As a self-taught dev, where do you think is the best place to find like-minded folks in the industry, build a genuine connection and learn from them? What strategies worked for you personally other than LinkedIn? I would love to hear your story!
Caretaker: The redfin of brokers. Take all the value for themselves freeze out the brokers (who provide a service but are universally disdained). Ride that wave of positive news for a couples years. Eventually everyone will hate the fraction of the market Caretaker has as they raise prices to make investors happy and people realize there are problems.

It's like the same idea of Uber and Lyft. Less human involvement = better world /S.
Atlassian is truly an embarrassing company.
Don't most OSes include a mechanism to visit a non-SSL site automatically?
The Monument Engine: Parallel J
The aluminum carries the current, the steel is for support (tensile strength).

How do they keep galvanic action from eating the whole assembly? I've never been clear on that bit.
Street criminals tend to be dumb. Thugs, muggers, dealers, guys who just freak out and shoot/beat/rape someone for no reason. People like that usually aren't together enough to even think of getting a secure phone.

The FBI is after the upper echelons of organized crime, and organized crime can be terrifyingly intelligent and resourceful. As another commenter mentioned, some of the Mexican cartels have their own IT departments and private cell providers.
In San Francisco at least I'm not sure this is a true statement at ALL.

San Francisco law is that tenants may sublet / add roommates etc. Landlord has 14 days to object. Objection has to be for a good reason. At least that's how I've always understood it.

Can you cite the rule in San Francisco that landlords are under no obligation to allow subletting?

https://sfrb.org/topic-no-151-subletting-and-replacement-roo....
Maybe they mean code that is in public (versus private) repos? And then use the word to make it seem like it's stuff in the public domain?
> I suspect the machine you were using was swapping itself to death

Good point. I recently upgraded my machine to 64 GiB RAM, because 16 GiB filled up pretty quickly with parallel compilation, several VS Code/rust-analyzer instances and a couple of browser tabs open.
EU draft exempts private jets, cargo from jet fuel tax
> short verbatim snippets of GPL works

Define short