skysight-inc/HackerNews huggingface dataset:
Here's a translation into typical CS language.

The "ruliad" is homomorphic to the set of possible turning machine programs, and translation between the computations done in a rulial space (where concrete symbols are assigned to the relations in the ruliad) and a Turing machine is the "rulial motion" homomorphism.

Wolfram worries: "Just how far can a particular observer translate in rulial space while maintaining their coherence and integrity"

Because the translation is a homomorphism there's no risk of losing coherence or integrity; an observer transformed from "the ruliad" into a Turing machine is, by the Church-Turing thesis that Wolfram alludes to but doesn't name, equivalent.

The article touches on transhumanism, relating it to moving observers through the ruliad such that they become instantiated in different physical forms, but again doesn't name or refer to the long history of this existing concept.

On the whole, the article kind of makes a point; it is possible to bridge the gap alien-Wolfram writes about but it's left as an exercise to the reader to perform the translation instead of guided with the above sort of example in more plain language.
The first two are “Imaginary” in the sense that the author made them up to show how the iconography works. The rest are real Aztec gods and are denoted with their actual names.
>It would mean either that, or that you are using the phrase in a different manner than other people who use the phrase.

Words have meaning, if they didn't then there would be no such thing as hypocrisy because everyone could just have their own little definition for a term or title they want to adopt but not be burdened to live by.

To Elon rules apply to thee and not me, these firings are text book hypocrisy.
'inmates' is a more accurate descriptor. A 'slave' could refer to anyone being forced to work for no pay, whereas an inmate means that as well as a bunch of other relevant stuff.
It's always had a left-wing angle, but it has become more strident in recent years as the comment section began to dominate. Their straight news reporting is generally pretty good. I read it even though I'm not at all aligned with the politics of many of the writers.
I guess this implied people are burned out by working in these warehouses and they will have churned through EVERYONE IN THE UNITED STATES who might have considered it. Quite a feat. Maybe finally allow people bathroom breaks rather than peeing in bottles? Or just develop more robots.
I don't know what's the bar for "isomorphism", but I know that the word literally means "same shape", so just because some nerd that got killed in a duel over a girl used the same word in a mathematical context doesn't give him dibs over its general use.

Unless, of course, system calls can be modeled as operators over sets. In which case, please tell me how.
> However, they do have what seems like a solid privacy policy in how they handle the data they receive.

Not to be a Debbie Downer, but that provides no comfort at all. The best privacy policy is to not have access to your data.
> "No one cares about you enough to "spy" on you."

Would you mind telling them that? Maybe they'll stop sending me personalised spam offering me discounts since I haven't shopped there in a while, or paying to send me phyisical advertisements through the post. From your tone, that must be giving me an inflated sense of my own importance.

> "You really think that basic web analytics is "spying on you""

No, I think web analytics is spying on me. A HTTP log is one thing, a JavaScript library which probes my browser, tracks available APIs and versions and mouse movements and sets EverCookies and behaves insidiously, is spying. If I visit example.com and example.com know I went there, that's understandable. If there's a deliberately invisible Facebook pixel telling Facebook I went to example.com, which is only vaguely disclosed in some "and our trusted 3rd parties" legalese, that's not fine.
If the current tunnel is any example there are no emergency exits. You can't even get by a car if you were walking. Imagine a full Tesla lithium battery fire in the tunnel. You are DEAD.

It's nonsense.
Or is it? I can’t even find it with the search box in the help menu.
FWIW, I didn’t know that shortcut before today, and I consider myself a well-versed Mac user since the intel switch
I'm surprised that these specialty retailers have not banded together to form some kind of syndicate with a common web front end to take orders. That sort of thing could be an Amazon-killer. Combined with a doordash-like delivery service it could offer same-day delivery and reliable product vetting.

Hm, anyone here want to start a company?
I subscribe to FT and get the physical paper.

What makes it so useful to me is that its political bias is largely divorced from American politics. They may have a bias on topics in Britain, but my American sensibilities aren't tuned to pick up on them.

Also, financial news sources in general don't spend a lot of time on the highly charged red vs blue stories unless they somehow affect markets or the economy.
I don’t think “writing better” is even a question, so what are you expecting out of an answer? Whatever it is, this article doesn’t claim to have it.

TFA is explicitly targeting technical writing.
Adults with a history of childhood trauma explore less during a foraging (cont)
Are you saying it's not fair that people who get paid less get more sympathy?
The Spanish Inquisition was civil, not church. The link you provided states that explicitly.

I repeat:
Do you actually have any evidence for what you're saying?
Nothing in particular; maybe third-party apps like MS Teams (ugh) I need for my customer projects (which also didn't work right on gnome for years, and had trouble when switching logins/customers), that kind of stuff. I considered kubuntu, but thought I was leaving Ubuntu mainstream for good anyway, so why not go to eg Slackware w/ KDE Plasma and say goodbye to systemd, snaps, and containerized browser behemoths that want to update themselves all the time anyway. Don't want that shit on my main machine period. I'll be keeping my old (Ubuntu 16.04 ESM and 20.04 LTS) notebooks around just in case, but customers keep sending me shite notebooks, and MacBooks are more than capable to run Docker crap anyway.
I've had some weird issues with thunar too. Currently using spacefm after trying several options.
If a teacher decides to go on a killing spree they’re free to do as much training as they like beforehand, that’s how free will works.
This one disappeared from the front page real quick
Mostly because we're not looking. I believe that if there were money in knowing where every polar bear is, we could solve that engineering problem. But there really isn't?

So my answer is essentially: "capitalism".
Interesting to see how much choice there is here vs in Europe - i've been debating who we open an account with (e.g. Brex/Ramp) given we're with SVB in London and deal in financial services flows.

We offer payment flexibility beyond corporate cards in the UK and now US - so if you want to spread out your large payments from 3 to 12 months and avoid default dead (or offer this to your customers so you get paid upfront) would love to chat.

Meanwhile would love SVB vs Brex vs Ramp vs Mercury advice for my US banking!
Hahah, oops. It's just a sample screenshot of the first page that came to my mind, never occurred to me that it can be seen as though Shottr requires google account. I better change the pic : )
> I've definitely noticed an overlap between the kinds of folks who want society to embrace and normalize violence against "Nazis"...

C'mon. Beating up and killing Nazis has been a core part of American culture for 80 years or so. Comics, video games, movies. Is Inglorious Basterds anti-conservative? Is Captain America?
Seconded. I subscribed to Financial Times for a year, whose prose, editorial balance, and coverage insight are noticeably inferior to The Wall Street Journal's. I also subscribed to The Economist and feel it is also inferior, but it is a weekly, so that's kind of comparing kettles and fish.

I subscribe to Noam Chomsky's opinion that the best journalism is found in the financial press because businesses need a more accurate and timely view of what's going on.

And yes, the op-eds are a blemish on the paper's outstanding journalistic reputation. It got jammed full of cronies after News Corp purchased the paper. Its workaday editorial staff remain fiercely independent, however.
For urban railways, stations are usually the capacity-limiting factor, so the top speed doesn't really enter into it, and besides

> though I'm not sure it hits those speeds within San Francisco.

due to the shorter station spacing I'd assume that, too.

As for the stations, the limiting factor in turn consists of the sum of dwell time (wheel stop to wheel start) and platform reoccupation time (governed by the signalling system).
A bold claim, perhaps they have done it but I have my doubts that such a large efficiency gain is left in aeronautical engineering.

And also because any time I see "% reduction" that is a bit of a red flag. Whats the math on this one?

(existing 6 passenger plane drag[cessna citation?] - (existing 6 passanger plane drag * 0.59) = celera 500 drag)?

the wikipedia article goes into a bit of detail on some of their more dubious claims.

https://en.wikipedia.org/wiki/Otto_Celera_500L

Also note how the prototype has no windows....
Like around 3500 which is the rumored liquidation price? 1600 is if there was perfect liquidity and MicroStrategy could get current asking price for each coin.
I think the main things here that helped me too are probiotics and B complex (the choline) because they both support healthy bile production
> It's a good thing Europe can mooch off US innovation and Chinese manufacturing. Manufacturing that is not unionized, by the way.

You have it completely wrong. The US is mooching off of EU and Chinese brain talent and has done so for the past 75 years, since the end of WWII. Most innovation that occurs in the US has been done thanks to exploiting highly educated labor that migrated here from elsewhere on the planet.

If we're talking about the tech success of Silicon Valley, again that has mostly been mooching off of the lack of regulations regarding the sale and use of personal user data. Thankfully, EU is finally beginning to install some protections in that sense.
Sirin Labs Token going parabolic on FTX while CEO is in jail
> So it's not too much of a mark against Rust that it doesn't have proper documentation for those aspects either.

There is obviously the benefit that this generally only affects unsafe code (as opposed to C/C++ where the scope is less clear), but Rust just passes the buck to LLVM and inherits the partially baked solutions being used in practice for C++. And if Rust ever changes this, it will involve either splitting the language into distinct versions or breaking strict backwards compatibility.

> But there is much, much more to a large programming language like Rust than those things, and Rust is missing documentation (of the sort that intends to be complete and correct) in many important areas that don't have that sort of excuse.

As somebody who has contributed to both rustc and LLVM/Clang (and would probably rather program in Rust than C++ at this point), I think it would be much easier to implement C++ from scratch than Rust for this reason. The C++ spec is incomplete and some portions are internally inconsistent, but at least there's a real spec. When you hit one of these problems you can just look at what other implementations do in practice. Rust doesn't even have anything resembling a spec.
A common approach in TypeScript, which doesn’t require a wrapping object or any runtime overhead, is called “branding” (or a variety of other names for similar concepts). It works by applying additional metadata about the value which makes it nominally incompatible with other values of the same underlying type. You can accomplish this a variety of ways, all of which have some tradeoffs. My (current) preference is to declare a class where the metadata is defined as a generic value assigned to a private property or a unique symbol, e.g.:

declare class Branded<Meta> {
private meta: Meta;
}

type Brand<T, Meta> = T & Branded<Meta>;

type UInt = Brand<number, 'UInt’>;
Too "political."
The eastern half of Southern California is already desert so you might as well just use that, though one of them had trouble getting of the ground and costs weren't the greatest: https://en.wikipedia.org/wiki/Crescent_Dunes_Solar_Energy_Pr...

Others, including https://en.wikipedia.org/wiki/Ivanpah_Solar_Power_Facility are doing better
It also only implements 3 registers, not 16 (RV32E) or 32 (RV32I), though it might count as 4 since register 0 is hardwired to a 0 value.

But using the RISC-V instructions means that all kinds of existing tools will work just fine for them as long as their programs keep within the limitations. No need to write their own assemblers and such.
Show HN: Vulner – discover CVEs for packages installed by the portage
Some people are so desperate to force their views on others. It is exhausting.

How would you feel if you asked me about a hot button issue important to you at work and I declined to talk about it. Would you approach HR?
There's few things I despise more than the "All My Files" view, because it is so useless to me. Perhaps it works for some, however!
That's not a disagreement. Parent comment is asking for consistency. "If you believe... then..."
In this case, the difference in "inmate" and "slave" is the degree of charitableness given to the US. On articles concerning China's Uighur camps, we don't see the word "inmate" being used.
Actual title is:US prison workers produce $11B worth of goods and services for ‘little to no pay at all’
yep. Those darn liberals calling "voluntary" labor slavery.
The F150 has its supporters but others can take the steps to cut their costs and as a result, make the F150 a harder sell when you have everything else as equal. I strongly believe the current demand for Lightning is partially due to scarcity of choice.
I'm definitely not saying that the supreme court will be correct or reasonable, but I also look at the decisions they've been making lately and am not so sure they care. We need to abandon the idea that they are neutral at this point, pretending they are will result in wasted time and focus on courts for resolving disputes that could be going to directly supporting the individuals impacted.

We need to be wary because I, for one, totally believe they would make any regulations illegal given a case that gave them the chance.

Preventing chaos is clearly not something they feel responsibility for, they're making extremely high impact decisions against hard fought civil rights in favor of just about any other interested party.
Off the top of my head:

-Academic researchers are already overworked, underpaid, and undertrained. Asking them to spend even more of their time to meticulously upload all their notes and data to an electronic notebook is going to be an uphill battle.

-Academic scientists live or die by their ability to publish. Open data, especially if you're sharing in real time, makes you vulnerable to being scooped by competing researchers. Even disclosures of data after the fact make it easier for others to benefit from work you did with no benefit to the ones who collected the data. Given how cut-throat academics is, you're also not going to get many researchers on board with this idea.

-Interoperability of most laboratory software is poor. People have been trying to get laboratory instrument manufacturers to support open data standards for years with little success. They don't have any financial incentive to allow competitors to have easy access to their data.
Destroy all the other companies in the world and then you'll be earths best employer, why be better when you have the power to make things universally worse.
I am reminded of this scene from Portal 2:

https://www.youtube.com/watch?v=JR4H76SCCzY

The difference between computation and intelligence is interesting from both a practical and a philosophical perspective. It is not at all clear why a person is intelligent and a storm is not. If not quite a paradox, it is certainly a conundrum. Wolfram tries to short-circuit this by claiming storms are intelligent, which is so plainly ludicrous to not even be worth discussing. He solves the conundrum by replacing it with a falsehood.

"I don't know what makes people intelligent" may not be a satisfying conclusion, but it is a true one. "Storms are intelligent" is wrong. "People are not intelligent" is also wrong.
Knowing Better on YouTube produced a really good documentary answering "when was the last slave freed?" [^1]. His argument is that it didn't end until 1942, a mere 80 years ago. A big part of the reason why was the prison system and legal system, which was structured around criminalizing blackness, and using this to fulfill an economic need. Articles like this make me think perhaps 1942 may be a bit optimistic, after all, we still rely heavily on prison labour without allowing incarcerated people to earn sufficient funds to support themselves after their rehabilitation, and we're still fighting the war on drugs that started under Nixon.

That said, I'm not sure how non Americans feel about US politics being discussed here, since I rarely see news about domestic issues in other countries.

[^1]: https://youtu.be/j4kI2h3iotA
But if it were about the income generated by China's incarcerated Uighur population, it most certainly wouldn't have disappeared so quickly.
Even in context, consider a user may want to check multiple habits off at one time (I've done 3 things, now recording those in the app), and stopping for each one to see this LONG animation would be problematic for me. (caveat - I'm not familiar enough with the app to know if it plays each time or what.)

If it does play a lot, it'd be annoying enough that I'd be looking for a new app or looking to see if there is an accessibility setting to remove animations.
Going to Mars is easy. We've even done it twice in the last 5 years.

Making a self-sustaining city on Mars is impossible. And even if not impossible, certainly costs many tens of trillions of dollars, which is as good as.
Slaves often became that way by violating the customs of their native lands. In the US, the state calls people who violate codified customs "criminals."
## my main motivation for developing `vulner`

1. learn rust by doing something tangible

2. improve security of funtoo linux (or gentoo, or any other distro that uses portage)

## my main motivation to share it on Hacker News

I'd like to gather some feedback related to (but not limited to):

1. user experience

2. potential improvements

3. source code (sth like code review)

... and maybe even get new users and/or contributors :)
You can refuse work in prison. You will be punished, but I think it’s a little bit less harsh than slavery. The prison system does not own the inmates, they are not property, and the prison inmates do have rights. Slaves had no rights. So all this might look good for sensationalism, it’s not entirely accurate.
100% my impression as well.

and you're right. macos is fine from a usability point of view. everything in gnome UI feels like they started strong, stayed strong, and then gave up half way ... (so many examples there's no point listing them anymore) and yeah put the clock in the middle of the bar while we're at it too.

and yet, you feel the potential no? no bugs whatsoever for me.

:/

back to xfce4. clunky, but consistent. some bugs. it's ok.
Haven’t polls been done that show a majority of people don’t want to talk about politics at work?

Seems very believable to me.
And the Z80 had a 4 bit ALU. Note that the 68000 actually had three 16 bit ALUs and could crunch 48 bits per cycle, depending on what operations you were doing since one was a full ALU while the other two more simple adders/subtractors.
The HN title should reflect Nature's: "Polar bear population discovered that can survive without sea ice"

These are not polar bears that have adapted to the current, rapid loss of sea ice due largely to anthropogenic climate change. This is colony of polar bears that have been living in the same unusually small territory for 200 years due to some other reason. Currently there are 27 of them. They still hunt from ice, which has calved off a glacier, but they don't stray far from their terriroty.

All the other polar bears in the Artic, who hunt from sea ice and travel extensively, are severely under treat due to loss of habitat.
"the organisations and writers that make up the community almost exclusively focus on material advancements, such as boosting economic growth, improving and accelerating scientific research, and increasing housing supply ("Yimby-ism") and immigration (particularly "high-skilled")."

So the high-level pitch sounds very ambitious and comprehensive, but when we get down to the nitty gritty it's just wealthy professionals cloaking lobbying for the issues that affect them personally in philosophical verbiage. including YIMBYism and high-skilled immigration to the US in a discussion of global progress is like complaining about your dry cleaner's prices during a discussion of the world economy.
The better approach is to form a union, in order to address the colossal power imbalance between SpaceX's executive committee and the people who do the actual work. It's likely you'll get fired for that as well, but it's better than leaving in "protest". Elon Musk probably spends 50x more time thinking about his hair plugs than he does about engineers departing his companies.

Either way, to act like this "business relationship" is perfectly reciprocal is either naive or malintentioned.
This is highly deceptive. Musk is on record saying that for a town square, you should be able to say whatever you want so long as it is within the letter of the law. Which means, gone will be the days of getting perma-banned for offending some woke crybaby.

Musk's companies are not town squares. They are private entities and employees can be fired for insubordination, harassment, or abuse of company resources.
user249 says>"I think we should create a polar bear preserve in Antarctica in an isolated area away from penguins"<

FTFY:

I think we should create a polar bear preserve in Antarctica in an isolated area away from penguins and humans.
Yeah, I worked with a realtor once that kept referring to houses as "the product" as though it was some profound philosophical insight. I wanted to punch him in the face.
They did a piece once on a subject with which I'm very familiar (a fairly controversial thing that happened in my city). They asked for feedback from the public at large before publishing it, and I filled out the questionnaire.

What came out was a disgrace. Straight up propaganda, writing up only the exact words of the only person they interviewed -- easily the most controversial person in the entire city. But you see, he's far left and entirely in line with The Guardian's agenda.

I will never read The Guardian again. It is not a newspaper; it's a propaganda rag of no news value.
I'm not saying that being unemployed is better than making an unlivable wage. I am saying both outcomes are unacceptable.

And I am not advocating for any specific solution, just saying that the current system does not work. I don't believe in false dichotomies. Being unhappy with capitalism does not automatically make one a communist.