skysight-inc/HackerNews huggingface dataset:
IIRC the Australians tried to be '.oz' but now that's gone.
Thanks all. My "usual go to" answer for this (protecting data where you'd like to hash it but there's not really enough entropy) is in a sibling comment.

Agree, all the data being public already renders everything a bit moot.
No end user has ever cared about decentralization.
> Oh, it's now a reference implementation... since when?! Do those people who climb on the Mastodon bandwagon know this is just a POC turned into a Product, which now competes with Twitter?!

Might I suggest you take a deep breath and tell yourself ‘it’s ok, I don’t need to pick fights with random people over trivial things’?

> The language makes a huge difference

If a decentralized social network is a good thing (jury is out imho), guess it’s a good thing that there’s ActivityPub implementations in multiple wildly different languages then?
They could leave, but I think unionizing is a better solution if they can pull it off, and it would set a better precedent for programmers affected by similar things in other companies.
I guess you only speak monotonically and avoid interpreting pitch, pauses, and physical cues in conversation as well, since those would be archaic, right?
Thirded, I'm reading it now and it's a lovely book. Dense with good ideas.
Elon publicity fires Twitter employee via tweet
.su is unmatched
.cz is certainly up there, at least under current nic.cz: https://en.m.wikipedia.org/wiki/CZ.NIC

They strongly push for DNSSEC, supports a bunch of OS projects, etc.
I've been curious as to the Unisoc T117 RTOS in the Nokia 225 4G- it is Mocor RTOS, but I have no info on what its origins are. Could it be an EKA2-based Symbian? The UI looks somewhat similar https://www.nokia.com/phones/en_us/nokia-225-4g https://en.wikipedia.org/wiki/List_of_UNISOC_processors -uses only 1 cpu
https://web.archive.org/web/20220704160232/https://www.uniso...
Non-profit Irish charities using org.ie?
> Is there any precedence for this?

i'm not sure - but there's definitely risk, and a lot of potential for it to happen here:

- https://domainincite.com/23957-un-ruling-may-put-io-domains-...

- https://www.nominet.uk/the-shifting-world-of-country-codes/

- https://www.theregister.com/2019/05/27/io_domains_uk_un/?pag...
Maybe Assembly? It will only change with cpu architecture.
They haven’t actually, I thought there was a relationship but in researching more I was wrong. Even more of a reason retail would opt for an exchange then.
I find it better and more accurate to listen to the appeal directly than to read what news articles write about it second hand.

Key to understanding this appeal is that there are three burden shifting steps in the rule of reason in anti-competitive law.
First the plaintif proves anti-competitive effects in a market. Then the defendant can show that the anti-competitive effects also have pro-competitive effects. If successful, the plaintif must then show that the pro cometitive effects can be acheived in a way that has less anti-competitive effects. If the plaintif succeeds, the defendant loses. There is also a "fourth step" discussed here, which is controversial, and is advocated for by the Antitrust Division of the United States Department of Justice which makes a guest appearance.

Click https://youtube.com/watch?v=NGLm3kfcUkY&t=58s to skip to the begining (58 seconds in).

Background (now out of date):

https://en.wikipedia.org/wiki/Epic_Games_v._Apple

Some articles covering the appeal:

http://www.fosspatents.com/2022/11/apple-on-losing-track-aga...

https://www.reuters.com/legal/fortnite-creator-fight-apple-a...
> In either case, people are taking the vaccines because of the physical benefits the vaccines provide, not because of how they feel about the corporate history of the companies producing them.

I'm sure there's a cohort of people that fit your description, but a whole lot of people took it because they were forced to. I think at this point it's safe to say that some others took it willingly but were lied to and told it would make others safe when that was never tested before it was repeated thousands of times, and turns out to be completely false.

In all of these cases however it was not informed consent.
The influx has already cooled down. Growth rate for the past 4-5 days is less than half of what it was on the weekend.

Also, on Mastodon you will only see what you explicitly follow. You won't even see the rabble unless you go looking for it.
I heard this argument the other day around the Ukraine conflict being a US - Russia proxy war and the person promoting this view was vigorously rebutted - saying that it can’t be a proxy war because even though Ukraine is being significantly supplied by western allies (and Russia itself), it is Russia that is actually fighting.

And that made sense to me definitionally.

So I’ll make the same point here about the Soviet-Afghan war. Yes the US pumped in supplies, but it wasn’t a proxy war because one of the powers was actually one of the forces.

So, I think I understand better now and maybe no historians will yell at us for mis describing proxy fights
To get a little bit technical, the axioms of ZFC, as a "first-order theory", make use of universal and existential quantifiers. These quantifiers have to quantify over some universe, whose constituents we call "sets". Take the axiom of the empty set as an example:

exists x. forall y. y not in x

The meaning of the "exists" quantifier is that it runs over the universe of entities; the formula it quantifies over must be true when instantiated on at least one such entity. The meaning of the "forall" quantifier is similar, except it must be true for every such instantiation. Notably, since the universe of all sets is not a set on pain of paradox, the universe itself cannot be a set. It is a primitive "sort", part of the logical signature of the theory.

These quantifiers only "work" when there's a universe of entities to run over. This universe is not internal to set theory as an axiomatic system; the whole point of "non-standard models" is that we're looking for universes where the axioms of set theory hold, and yet are not what we normally think of when we reason using those axioms (e.g. "large cardinal" models).

Category theory can also be framed as a first-order theory. In its most common incarnation, it's a two-sorted first-order theory, with separate universes for objects and for arrows. This isn't essential; we can actually dispense with objects and work only with arrows. (Objects are then encoded as their identity arrows.) But it's a first-order theory either way; all the axioms of a category can be given with quantified formulas.

Group theory is also a first-order theory. When you specify a particular group, you give the universe over which its axioms quantify, and then prove(!) that those axioms hold on that universe. If you interpret group theory internal to set theory, then your universe will be a set; but the axioms don't care as long as quantification can be interpreted appropriately.
I genuinely like Rust, but it's pretty amazing that you managed to write a comment on this article and make it about Rust. Peak HN :-)

Re Lisp's superiority - Lisp was certainly a superior language when it was devised many decades ago, but over time much of its comparative advantage has been absorbed by other languages. Starting in the 90s when productive, GC'd scripting languages like Python started being prominent this trend accelerated.

For a nice discussion of this see https://norvig.com/Lisp-retro.html
neat!! this is great to know :3
anything associated with donuts and ethos capital is in my opinion highly suspicious.

remember ethos capital is hooked up with the people who tried to hijack .org

https://www.google.com/search?client=firefox-b-d&q=ethos+cap...

https://en.wikipedia.org/wiki/Donuts_(company)
Meh... It was a pain years ago and Mastodon is still a pain today.

It's not like torrents and likes of PirateBay that make downloading movies easy. It's very complex to get into the network. It's like Mastodon is trying to not let you in.
They are in fact called IO games even.
Yeah, too many people pick TLDs solely out of vanity. But there's a huge spectrum of registries in this space. Who is in charge of your DNS records? It could be Verisign, under Delaware law, or it could be some guy updating a zone file in notepad, under a dictator's rule. You probably should check that out before you build a business on it.
I'd say the most satisfying experiences I have with lisp are a cross between clean abstractions and light code-golfing. To call out specific approaches, I'd highlight anaphoric macros, code-walking via (symbol-)macro-let [1], and the freedom to control when expressions evaluated (generally at read-time, compile-time, or run-time) for optimization [2][3].

[1]: https://letoverlambda.com/index.cl/guest/chap5.html#sec_

[2]: Compiler macro chapters aren't free, but I guess read-time is covered here https://letoverlambda.com/index.cl/guest/chap4.html#sec_1

[3]: https://irreal.org/blog/?p=809 / https://web.archive.org/web/20140711171755/symbo1ics.com/blo...
United States Air Force, where initialisms enjoy a great deal of popularity
Most societies generally recognize that a person's ownership extends past the objects in his immediate use/possession. You don't give up ownership of your car, just because you parked it on the street unattended, just like I don't become the owner of it if I steal your keys.
A good time to build a container home perhaps
New-ish video of actual BeBox running in HD video quality
https://www.youtube.com/watch?v=RkM9WbB8cWM
I didn't know it had functional LED light meter in front of the case. very cool.

Obligatory demo from the 90s
https://www.youtube.com/watch?v=BsVydyC8ZGQ
Given that nobody associates the TLD with the Indian Ocean I'd think they could hand it over to a new entity to manage
I was surprised by the low number as well. I still have mine.
With Microsoft Direct Storage 1.1 games can stream data from SSD straight to the GPU bypassing the CPU. However games need to be written to support this feature and it will only work with DirectX 12 + Shader Model 6.0 games on Windows. So it won't work on the Steam Deck.
Not wanting private capital firms to hijack .org (look into the history of Ethos Capital and Fadi Chehade) is a valid political and economic position.

Without the massive community backlash towards it a couple of years ago I have no doubt they would have been successful.
This message brought to you by .sh domains lol
This headline strikes me as a "No True Scotsman" sort of thing.
You should try ILLA. It's also an open-source low-code platform, and it's very stable. We are developing new features and iterating very fast. Try ILLA and let me know if you experience any inconvenience, and we will put all the advice into our next version plan. (https://github.com/illa-family/illa-builder)
As with everything in life, there can be many perspectives on things.

The sacrifices made should be remembered. But lessons should be learned too.

In this case, the focus on material losses tries to show lessons to be learned for this aspect of the war. They do not argue that all else should be forgotten.
Ah... The "good old days" of poor spam filtering
My website https://officesnapshots.com

We sell and host our own advertising which are static images. No ad network for the last 7-8 years.

The goal is to match the ads to the content and have the content be curated so that only people who care about the content would be interested in the ads.
Yes, this is essentially what I'm getting at in my cousin comment -- although the nlab is typically rather impenetrable to non-specialists.
BeFS was amazing.

I miss BeOS, TBH. I ran a heavily customized BeOS R5.05 install that had upgraded bits from OpenBeOS (later, HaikuOS), ZetaOS etc.

I ran it as a daily driver on a Dell GX1 SFF that I swear was designed for BeOS: Max RAM the BeOS kernel supported without hackery was 768MB - The GX maxed out at 768MB; The GX1 had a Rage GPU that BeOS natively supported (Including 3D Acceleration!) which was a very short list; the GX1 had a supported NIC, IDE controllers, etc etc.

I had upgraded the CPU to a 1.4GHz Tualatin-S that, sadly, had to run at 1.04GHz as the GX1 wouldn't run a FSB higher than 100mhz so my 133mhz FSB Tualatin had to bop down a little. Still screamed.

sigh I miss that system. I would still be running it if lightning hadn't fried it.

It sat next to my NeXTstation Turbo Color that I used for way longer than was reasonable as my primary system, lol. The NeXT was a daily driver till 2008.

33mhz 040 w/ 128MB 60NS EDO. OPENSTEP4.2 + lots of ported goodies friends and I did. Even managed to get SSLv3 working and load newer websites! :D

... wish I hadn't sold it.

Oh yeah! I also had a Pre-FCC certification dual 66mhz BeBox. Cool machine. Slow as shit though. The 603e in it wasn't natively SMP capable IIRC. The GLU chip could either run one CPU with L2 cache or dual CPUs with L2 cache disabled. Coherency was done in software. Unless I am horribly misremembering. It was a nasty hack and showed.

My BeBox!
https://www.flickr.com/photos/helfer/albums/7215762193739249...

My GX-1 and my NeXT :D
https://www.flickr.com/photos/helfer/6676203105/in/photolist...
And just as widespread normie adoption increases crypto prices, widespread normie adoption increases Linux use cases and interoperability.
Ask HN: Is there an internet social class system? Are we cyber-burgeois?
It seems every society has had some form of a class system. Usually there are the rulers and the ruled.

Everyone says "community" when speaking about different sites, systems or platforms (e.g.:HN or FOSS community). Communities naturally form societies.

So, in the english speaking internet world, would it be fair to say the typican technocrat user of HN is the burgeous ruling class and everyone else is part of the proletariat? Or is there more nuance to it? I see "10X" rockstar engineers, founders and legendary technologists here so I couldn't help but wonder about this.
> .io domains are associated with:
> - cryptocurrency
> - startup culture

So, like .com domains?

> - military occupation
> - native population displacement

What utter nonsense. The British Indian Ocean Territory is associated with those things. ".io" domains are in turn associated with the British Indian Ocean Territory. But association is not transitive. If it were, it would be just as correct to say that ".com" domains are associated with slavery and torture.

This whole post is pseudo-moralist manufactured outrage.

> 2021: a very sexually frustrated ethos capital buys donuts and afilias

This line should tell you everything you need to know.
It's actually the system load on each 603e.

Source: dual BeBox/133 on my desk
Why are you capitalizing "category theory" and not "topology", "algebra", or "math"?
yes! The Blinkenlights on the front of the case were a hoot. I had a prototype BeBox for awhile and it was delight. I linked to some images in another comment.
Oh, don’t be a daft. First, they gambled a fraction of a percent of their portfolio into FTX. Second, the OTPF is one of the best-managed, most-successful funds: they will never be in a position to require bailing out. Your claim is, to be precise, horseshit.
Not sure if jealousy is the right word.

I might be jealous of him getting to make rockets and electric cars.

I'm not jealous of him acting like an ass as in that "pedo guy" and numerous other incidents.

I'm certainly not jealous of him buying Twitter. It makes me think of the time I drank too much at a party, acted like an ass, and got banned from my brother-in-law's house. It makes me think of other stupid things I did that I won't disclose to protect my reputation.

I'm not perfect but when people have pushed back on me I've changed my behavior. I certainly not jealous for Musk's inability to do that, which endangers the success that he's had so far.
>ealistically if Google, Microsoft and perhaps 2-3 other email hosts decided to collude and disallow any other email origins the majority of people's reaction to those complaining would be "just get yourself a gmail account".

That's exactly what these big email providers should do: just make a short list of allowed email hosts, including some governments and academic institutions and large corporations, and ban everything else. What are people going to do about it? Start running their own mail hosts? Hahaha. It would solve the spam problem quickly.

A better solution would be some kind of Email 3.0 system that's designed for better security and trustworthiness, but we've already proven it's nearly impossible to get people to adopt a new open standard, so we need to stick with a locked-down corporate solution run by an oligopoly.
well, what's the minimum time for cross-country transfer, anyway, and what sorta fees does it correspond to, if you know?
I'm really tired of seeing the obligatory comment of this form on nearly every article posted.

I mean...no shit? I won't entirely go out on a limb here but I really can't recall any article titled "X considered harmful" that wasn't an opinion being stated.
Not just that, many mathematical advances have been made well before physical applications ever caught up. For example, Calculus was invented in the late seventeenth century while Maxwell only used it to discover EM equations in the 19th century.

Similarly, matrices existed way before QM was even formalized but now it heavily relies on Matrix Algebra.

Number Theory had no usage whatsoever until it suddenly had in cryptography. Therefore, nowadays, I have begun to think of any new mathematical inventions as a possible prelude to the future.
>We need a PID controller running the markets. Only half joking.

See Gosplan ([1]). They kind of tried. It will work better with an implementation that has more silicon than humans, but it will still be miserable on the edges.

1. https://en.wikipedia.org/wiki/Gosplan
>I stopped reading your rant here because it's clear you are not familiar with financial regulations.

This is the magic of HN. One day the community will be decrying crypto for being unregulated. "It is all a scam", "We need reasonable regulation", "Crypto is a ponzi", "There's no legitimate reason for irreversible transactions", a million more stock lines we have all read here before.

The next day HN will attack PayPal for their exorbitant fees, policies and other hurdles which are necessary to comply with regulations.

While some of PayPal's business policies are not defensible, most are understandable. Especially when you consider the regulatory overhead they have as a worldwide business.

If HN doesn't like it, one solution would be a less regulated environment. If users love regulations, they should accept the fees as a cost of compliance. Either way, if others choose to operate in an unregulated cryptosphere, it would be nice to see a bit of "live and let live".

You cannot have your cake and eat it too.
Judging by the downvotes I guess other like minded people want you to be free from other people caring about things by their own silence. What a pathetic sensitivity, to demand other people provide you free software without any expression of their own humanity.
The 'peso guy' is just one of a long line of completely avoidable lawsuits. Deliberately offending to the point of drawing legal fire, attacking the weak or vulnerable, is not a good look.
Normally I'm a fan of creativity and not of tone policing, but I look at this and I literally have no energy to try to figure out wtf this person is arguing.
For me it was CS50 Web Programming with Python and JavaScript taught by Brian Yu.

By background is non-technical and tried to learn web programming by reading books and watching YouTube videos. However, I failed multiple times because these sources lacked in depth or breadth or explained poorly.

In early 2022 I enrolled in CS50W through Edx. The course contained the right mix of depth and breadth, and the topics were very well explained: Brian is an amazing teacher. The course also included interesting projects that I had to implement. For example, building a Wiki, a small scoped Twitter clone, and finally a project of my own. I had so much fun learning! Since taking the course I built two web apps from spec to launch on my own.
Tl;dr :

Author thinks .io is “icky”, but more importantly the purpose of this article is to convince the reader that writing in a cutesy early-2000s “monkey cheese random lol” style lends the author credibility.
Still have one? I am jelly. Is there a working version of Haiku for them yet?
This seems better suited for large companies to do internal support, rather than B2C/external support.

At my previous employer (Chime, 1000+ employees) they built many slack tools/integrations/bots/etc to help scale their POps team.
When is the last time you checked? Lumber tanked over a month ago.
Well, I sold mine for almost $800 like a decade ago and they are only getting harder to find. I wish I had kept mine.
Thank you. So, that happening by 2030 is actually a solid, measurable prediction.

For the record, I'm cheering for you to be wrong...
Anyone know what the state of censorship is for TLDs? I know some enforce rules on what kinds of sites can be hosted, but have there been any cases of tld owners going beyond that?

Seems like .net is pretty resistant to censorship and deplatforming but I can see domain names becoming the next battlefront as we continue moving down the levels.
I would bet Lewis will substantially revise his book if that was his initial take, but it doesn't bode well that he saw SBF as a Luke Skywalker in the first place.
this was nicely written.

it's amusing to see the name of the blog, a popular column in pc magazine in the '90s bore the same name. i forget who wrote it, but it was one of the really well known computer journalists of the time, if i recall correctly.

a notable absence is mention of the cpu utilization lights. to show off all that work they did to build a truly multiprocessor system, they had two strips of leds that ran up the front bezel of the system, indicating realtime utilization of the cpus.

i remember playing with beos many years ago. i think they may have shipped an intel version after shutting down the hardware.
You remember correctly: the 603 was never intended for multiprocessing. It was amazing it worked as well as it did on the BeBox, but AFAIK it was the only 603-based computer ever to try. The G3, the 603's more-or-less direct follow-on, doesn't support it either. From the BeBox FAQ: "We use the Motorola 105 'Eagle' support chip, which allows for either one processor and an L2 cache or two processors without L2 caches. So, our two-processor PowerPC BeBox has no provision for an L2 cache."
What are you using for backend?

Typo:
Is it one time payment?
Yes, absolutely. No stupid subscriptinos.
His fuck buddy allegedly claims SBF's company forked over the cash to cover bad debts. I'm guessing we're talking $Bs.

"Around the time the crypto market crashed this spring, Ms. Ellison explained, lenders moved to recall those loans, the person familiar with the meeting said. But the funds that Alameda had spent were no longer easily available, so the company used FTX customer funds to make the payments. Besides her and Mr. Bankman-Fried, she said, two other people knew about the arrangement: Mr. Singh and Mr. Wang."

https://archive.ph/HYKVo#selection-1129.0-1129.402

That's allegedly hell of a lot of money to lose over a shared woman who didn't even pop out your kid. Honestly dude probably could have made out and at least not gone to jail if he hadn't been allegedly defrauding his customers to prop up his amour's company.
There's literally censorship on HN, under your own definition.

Also content moderation is quite literally censorship - deeming which expressions(which are actions) are appropriate and removing inappropriate.
The worst I can say about .io is that it's a fad TLD for software projects from about 10 years ago.

The best I can say about .io is that nvim uses it.
Then use a performant webserver like Nginx and beef up your server hardware.