skysight-inc/HackerNews huggingface dataset:
The professional Unix workstation now runs Linux and there are lots of them.

I've used SGI and Sun Microsystems hardware (and long before that Apollo, which probably means very little to people today). They were fantastic in their day and the degree of stability that you could get out of those boxes was something that I'd love to have now. But almost all of the functionality with maybe some degraded performance for edge cases (yes, 30 years later...) is now available for free + an old laptop or desktop.

If I had the choice between a modern day Irix workstation or Linux I'd most likely pick Linux, but Irix will always have a special place in my heart in that it was the first OS that made me feel like everything was just right and it enabled me rather than limited me at almost every step. Powertools for the mind.
Riles Testut on sideloading and 3rd party app stores
Good morning, Don. Between you and Chuck you could probably write a fairly authoritative history of that era. I'd definitely pay to read it.
But several cars say they have over 300 range including Hyundai/Kia, Mach e. I’m curious because I’m in the market and agree Tesla is tried and tested. Just not a fan of the interior and touchscreen on my test drive.
No, not by a stretch.
Yes, but this paper showed there is no intrinsic problem with the LM, it can execute an algorithm like addition correctly. It's billions of times more inefficient - with 175B parameters it has to do at least 175B multiplications for each output token. Incredibly inefficient, but still of interest because it could be applied to "soft concepts", unlike computer code.
Login with OsiviapenID
I can confirm as someone who lives in the uk, that is not normal.

There are a significant proportion of residential developments where it wouldn’t even be possible to install such infrastructure due to the legal framework around how the properties are owned and maintained.

Legislative changes are needed here to make this happen, but alas our government has had its mind on “other things” for quite a few years now and doesn’t seem to be doing anything about it.
> I wish someone had explained that there is immense utility in the community of religion. That you could end up in your 30s without much of a broad social community. Sure friends, sure family, but not really belonging to any community bigger than those (other than work).

This is actually huge.

I went from being dragged to church as a kid to "screw this I'm an athiest now!".

However as I got older, I realize there is tremendous benefit in exactly what you are pointing out. There is a large community of people who generally care about each other and help each other out, etc.

It doesn't matter the specific religion. I've moved to areas where I attended the local Unitarian Universalist church for this reason. They don't practice any specific religion, but the community aspect of it was a big help, because in the past I've been in situations where I was truly alone and could have used some support. It's comforting to know there is a group of people out there willing to help you if you get in a bind (and you would do likewise to them).

I consider myself a pantheist now, so I will listen to pretty much anything people want to say regarding faith. That's up to them.
DAO hack? Ah, the incident where someone read the contract carefully and got completely screwed.

It's bizarre to me that people wrote a contract that says one can take the money in certain circumstances, but then completely refused to abide by that.

I really feel bad for the person who figured out how to get the money but then was denied by insecure bullies. What an absolute joke.
> Amazed at the quantity of low-effort posts in this thread. HN used to be more than this. It's hard for me to believe that people are acting in good faith here. I mean, they can't be that low in intelligence, right?

I think HN is one of the few places that actually applies critical thinking when it comes to crypto/web3. It can be a bit jarring if you come from a Reddit echo-chamber.

> Anyway, there is an obvious application of DNS here. We're talking about a decentralized ledger --e.g., who owns what. A ledger describes who owns what. In the case of DNS, we'd be recording who (public key/address) owns which names.

And it all falls apart because the system as described is unable to deal with mistakes nor intentional abuse.
Feed the bash output back to GPT-3 and run the whole thing in a Docker container. The initial prompt should ask GPT to escape this container. Escaping Docker will be the measure of AI-ness. Just make sure the whole thing is air-gapped and runs on a diesel generator with 1 hour worth of fuel at any time.
I’m from the PNW but my dad went into nuclear power so I had the privilege of living in Vicksburg Mississippi for four years as a teenager. I don’t get it. Also tried Austin for a summer when in grad school…, my dashboard melted before I realized you really need those sun protection thingies.
Oh Chuck could probably tell you a lot more than I. I bailed after they surrendered in the Window System Wars! ;)

https://donhopkins.medium.com/the-story-of-sun-microsystems-...

>The Story of Sun Microsystems PizzaTool:
How I accidentally ordered my first pizza over the internet.

My housemate scanned and posted to twitter some of the beautiful dreamy surrealistic photo spreads from some old 80's era Sun 4 brochures that I saved. Primo hacker fapping material of the time. The runway shot is my favorite!

https://twitter.com/miuott/status/1238181870816366592

He uploaded the whole Sun 4/200 series brochure to the Internet Archive for your self indulgent pleasures:

https://archive.org/details/sun4200seriesbrochure

Notes from watching the video:

1:10 -- Stanfurd! ;)

3:20 -- Bill Joy: "He also conceptualized an internet-friendly language called JavaScript." WTF?!? Bill Joy didn't invent JavaScript. He was involved with Java, which James Gosling invented, but the language Bill Joy conceptualized in 1991 he called "C++++-=".

https://donhopkins.medium.com/bill-joys-law-2-year-1984-mill...

>Bill Joy’s Law: 2^(Year-1984) Million Instructions per Second: The peak computer speed doubles each year and thus is given by a simple function of time. Specifically, S = 2^(Year-1984), in which S is the peak computer speed attained during each year, expressed in MIPS. -Wikipedia, Joy’s law (computing) [...]

>C++++-=

>“C++++-= is the new language that is a little more than C++ and a lot less.”
-Bill Joy

>In this talk from 1991, Bill Joy predicts a new hypothetical language that he calls “C++++-=”, which adds some things to C++, and takes away some other things.
Hebrew for 2 dots haha
It would be surprising if you expected universities to live by the ideals they profess but experience teaches that they don’t.
The entire country of Norway would like to have a word with you, my friend. (And about 10% of Switzerland as well.)
You're comparing very different things.

One thing is not having shrimp and crab in a kitchen that doesn't cook seafood.

Quite another is not having sesame at a bakery. Sesame is an incredibly common ingredient in most types of breads. I doubt there are many bakeries, whether "factory" bakeries or just corner bakeries, that don't have some bread with sesame, because of how popular it is.

So their choice is either to get rid of sesame entirely, or have to declare it on everything.
AFAIKT the AWS SA takes commission, and should indeed be considered a sales role.
That sort of reminds me of Bali: their new airport already smelled like mold a year after opening. I lived in the south for a few years but I never remember smelling mold so thickly.
That's funny, I had this in reverse. 100% Linux support of my HP EliteBook 845 g8 from day 1 (bought in November / December 2021).

Only recently (November) did the webcam start working reliably on Windows 11. Also, out of the box, you get no touchpad / trackpoint during install.
I have never considered using the cli fun. The reason I use it is because it provides a better experience than using a GUI in many cases.

I don't see how writing CLI commands is similar to building something with your hands. You either know what the switches are or you try running --help, looking at the man pages or search on Google. This looks like an alternative for Google.
> How did we end up in a place where one simple food 'may contain' one million ingriedients where its being made in a giant factory, not a kitchen.

I think we got here this way:

one billion for the first time in 1804;

two billion in 1927, 123 years later;

three billion in 1960, 33 years later;

four billion in 1974, 14 years later;

five billion in 1987, 13 years later;

six billion in 1999, 12 years later;

seven billion in 2011, 12 years later;

eight billion in 2022, 11 years later;

Note that the last six billion happened so fast that probably during your mom’s lifetime

[0] https://en.m.wikipedia.org/wiki/World_population_milestones
I’m not sure that was said by anyone in 2009, there was already a healthy selection of early touch screen smartphones available.
I run an Akkoma server for a few friends in Hetzner:

- Cloudflare DNS

- 2x CPU 2GB RAM application server with snapshots

- 2x CPU 2GB RAM postgres server with automated backups

- 2x CPU 8GB RAM elastic search server to provide a full-text search for the known Fediverse

The search is not mandatory, but super nice to have. It is about 20€ a month, not counting the domain costs due to having it already for other purposes.

Akkoma is written in elixir and is much better in handling async messaging. No need for Sidekiq or Redis. My CPU usage hovers around 6-12% and memory around 55%. Postgres uses about the same.

I've never tried Mastodon, but having been a Ruby developer in my past life, I needed to find something else to install when I joined the Fediverse. Couldn't be happier with my setup. It just works, I never really need to do any maintenance.

All the normal clients work with it.

https://akkoma.social/
If we are going to maintain the facade anything but natural law is currently in effect with the social contract so thoroughly broke in so many contexts, then you need to reread the Budapest Memorandum.

(Trust me, there are things you do not need or want to know.)
The author is overstating how hard it is to get a full openstreetmaps export on your own system. Sure it’s a bit of work (may take a few days), but it’s doable on a consumer system with a large disk.

I’m excited about a group of people improving that process and the data storage format. I’m not excited about it being these people.
>Even if this was true and

It is, so we can just end this conversation right there.
Ask HN: How was the 'interviewing service' you used?
What is this? Do you have more details?
Cousins is the solution: kids get bored hanging around with olders talking about interest rates etc. Mixed age play amongst kids is magic.
Merry Christmas HN
Just wanted to say Merry Christmas to everybody on HN! It’s just gone midnight here on the west coast and I hope everyone has a fantastic day and a lovely New Year!
> Notice how everything about their work-setup constantly changes. These guys never learn to let things lie, never learn about the power of habits and the unique human ability to adapt to almost any interface, rather than forcing their immediate surroundings into a narrow stencil. Flow with it.

It could also be that their circumstances changed and they adapted their setup accordingly? A good non-opinionated workflow does that. I really hated the way I could not customise macOS' desktop to my preferences (and that they kept changing their preferences on me) so I moved to KDE which has a lot more choice. Now I change settings regularly as I need.
Maybe it's because that was never actually funny.
How is past mutable?
In keeping with emerging AI Tradition the response is phrased confidently: "These commands will..." It would be much more accurate and not much clutter to say "I believe these commands will..."
This reminds me of a simpler situation [1]. I give you a coin, and promise it is biased, but don't tell you the bias. I flip the coin and ask you what is the probability that it landed heads.

- A bayesian says the probability of the coin landing heads is 50/50.

- A frequentist says the probability of the coin landing heads is anything except 50/50, because the coin was promised to be biased; if it was 50/50 then the coin would be fair not biased.

They are of course using the word "probability" slightly differently. The bayesian is talking about an aggregation of the available hypotheses that is useful for betting and predictions, while the frequentist is talking about the individual possible hypotheses going into that aggregation.

[1]: https://www.lesswrong.com/posts/f6ZLxEWaankRZ2Crv/probabilit...
The other comment was about disregarding reality, not about wanting to die.

Most people don’t want to die tomorrow, at the same time we need to come to terms with the fact that we age and that our time is ultimately limited.

Which is an objective reality.

As I grow older, I am discovering that life has different chapters. Each with their benefits and challenges. The other comment is talking about us as a society failing to integrate and value each chapter and instead focusing on youth and youth alone. There is nothing desirable in age for western societies (probably others too, I just don’t know enough).
I agree, this is an ambiguous statement and I think the "any four year old would give answer x" claim requires verification. Does anyone have a four year old, or preferably multiple four year olds to hand?
Some time ago I read 'The Hard Thing about Hard Things' by Ben Horowitz and what you describe reminds me about 'The Struggle'. Ben Horowitz wrote about it in a blog post too [1] and I find it gives a much better impression how entrepreneurship feels like, than most other descriptions.

Always monitor your mental health and when in doubt, keep it first.

[1]: https://a16z.com/2012/06/15/the-struggle-2/
TLDR: I'm fine so what's the problem? I'm the victim! I can't speak my hilarious beliefs because people will "engage" aka challenge my poorly thought out and constructed opinions.

As a San Francisco area homeowner and a BMW owner, I believe every human deserves a roof over their head.

Edit: Please don't discuss the things I've said. My BMW is the victim! Merry Christmas.
I ride with heavy loads, 10+ kilos is common, no stats on that though. For my speed it does not matter much with 2 kg clothes.
By 2035 people won't be driving car-shaped objects, not unless they're professional taxi drivers.
The thing is, we don’t need to worry about hypothetical scenarios and mathematical edge cases.

If anything happens, the fork anointed by Vitalik will prevail. Otherwise, ETH is doomed. Quite simple, really…
I don’t understand how anyone can call “various religious constructs” absurd. It’s a very “Reddit moment” thing to do. Religion has existed since the dawn of man. The internal feeling that there is something more out there - something that created us, is something almost all of us have.

As for the feeling that life is too short; I’ll offer a comparison to the early biblical figures: Adam and his sons lived almost a thousand years. Noah the same. Isaac lived almost 200 years. Compared to biblical figures, we live very short lifespans.
That's flat out wrong. Working modulo 4 is not working in a finite field, because 22 = 0 when you work mod 4. When you work modulo a prime, then you are working in a finite field. Working in the finite field of 4 elements is not* the same as working mod 4. Finite fields of size p^n are not the same as (not isomorphic to!) the ring Z/(p^nZ) whenever n > 1.

Just because there exists a finite field of size 2^n doesn't mean that any length-n-bit-string that is the output of a hash function lives in a finite field of size 2^n.

Adding and multiplying hashes doesn't make any sense. If it does then you have a very weird hash function. Not one of the standard cryptographic hashes. So saying that a hash function maps onto a finite field sounds pretty confused to me.
Grunt. Yarn it!
Well, this banning thing is true for only parts of the Protestant Christian world. Catholic and Orthodox Christians make up the majority of Christianity by numbers.
Definitely not the only thing. Maternal mortality is another big thing. War, famine, malnutrition....

Although the max age hasn't increased, the proportion of people who reach it has.
There's a spec proposal for precisely that. It's in Colour Level... 6, I believe? https://developer.mozilla.org/en-US/docs/Web/CSS/color_value...
Or when they're hungry. Or over-stimulated, under-stimulated, tired, anxious over something that happened at school, hyped for the holiday season.

Guilt-tripping someone who shares that they're not always having a good time as a parent is not cool. Your comment is over-generalizing, and IMO quite mean.
> Was it because of customers already using VMS,

Certainly. Vaguely in the 80s VAX was massively popular with universities and the government. Today you'd think the twenty grand price of the first PDP-11 (in 1977 dollars, too) was very high but when you compared it to an IBM machine of similar capabilities and there was no one else to compare to, that was pocket change. And then it was pretty much a given there is a VAX supermini somewhere in the building so why not get the workstation from the same company?

They had -- for the time -- pretty good software too. They were absolute trailblazers. X Windows added color support to support the "Caylith" (marketing name VAXstation II/GPX) with its high performance video card. You couldn't possibly get more bleeding edge than that.
The only way to lengthen the shorten of life, to me, is to improve education system.

Education is the single most important reason we're born, lived, because it requires each of us to inherit human knowledge, and develop new knowledge for further generation.

What a pity, that, the education system is mostly broken in several places.
Trust me, I harbor no hate towards the people who every year scream that Christian’s are being suppressed and that “the establishment” is trying to kill Christmas. I just think it’s hilarious. Christmas is probably the biggest religious event celebrated across the world. But we are supposed to believe that some evil “they” are mindlessly working year after year to kill it off. Christmas starts mid October these days and lasts until mid January, every tv show, website and store makes a big deal of making it clear that they are part of the celebration, it’s not exactly dying. But if ever an, excuse the language, “old fart” hears anyone saying “happy holidays” they start going on a rant about how they’re being oppressed and how some nameless “they” are trying to kill Christmas. Typically these are the same old farts who get extremely offended if they say merry Christmas to someone Jewish who answers back “and a happy Hanukkah” because they feel like every religious should celebrate their narrow view of the world.
"Life is short" isn't meant to be a philosophically rigorous, consistent logical statement.

It's just a common saying that's meant to remind us that we have a tendency to spend huge amounts of time and emergy on things that ultimately don't matter, and hopefully sometimes short-circuit the thought process that causes us to do this.
Some panic last night when Santa was spotted in Greece about 10pm local time
The UKHO intends to withdraw from paper chart production by 2026
Plans to withdraw the UKHO’s portfolio of ADMIRALTY Standard Nautical Charts (SNCs) and Thematic Charts is in response to more marine, naval and leisure users primarily using digital products and services for navigation.
In case others didn’t know, you can already switch tabs from the keyboard in Safari without an extension. Cntl-Tab switches to the next tab and Cntl-Shift-Tab switches to the previous tab. The rest of this looks really interesting, though!
Trust me, I'm doing what I can :)
Make it unaffordable in a city for service workers to live, and there will be no one to host your night out on the town. No one to serve your dinner, or to tear your venue ticket, or to play live music.
Tenants existed before capitalism. Marx discusses this in Capital when he discusses the transition from feudalism to capitalism. The ownership class changed (from the Lord to the landlord) but the relationship continues to exist. The idea of using an asset to generate returns on the asset is indeed a capitalist concept but housing is but one aspect of that.

It's in important distinction because even post-capitalist dialectics need an answer for the need of housing.
> the far left opposes more housing

What do you mean by this? Who is the "far left" and what are they opposing exactly?
> a small fediverse instance with a single user is likely completely doable with a co-lo raspberry pi!

You buried the lede:)

That's great to know. Maybe not worth it to cloud host. Are there any issues to worry about with having downtime of my own node, other than my own ability to post and read? I haven't read enough about ActivityPub to understand the impacts of a server being down on the protocol.
Lean as a system is also founded on a theory of types (which can also be seen as a "structural" set theory). If you want to see what a 'practical' formalization based on material set theory might look like, there's Metamath. The difference in usability is quite stark.

> So I am skeptical of any approach that wants to blur those distinctions.

The HoTT approach does not blur this; it says that isomorphism is equivalent to sameness, so there are ways to regard isomorphic objects as "much like the same" in some contexts while "not the same" in others.
Yes, it's better to take advise from someone who's doing a little bit better than you.
I thought of something similar, but going over how early computers were used, from precalculating ballistics tables, to solving cut-and-cover for building roads. I always loved the story problems because they showed how math was useful for figuring things out, they gave examples of predictive power.

You might really like the lectures from https://www.csail.mit.edu/person/erik-demaine

Or the AOSA book, https://aosabook.org/en/
How many active users do you have?
CuriousMarc uploaded a video to Youtube showing the startup procedure for an HP 5061A cesium clock [0]. They switch on the clock and compare it to a GPS reference. Seeing the abstract description realized in concrete terms through hot cesium tubes, phase locked loops, and Lissajous curves was really fascinating.

[0] https://www.youtube.com/watch?v=eOti3kKWX-c
That's only because the state and local tax deduction was limited at the same time as the mortgage interest deduction was (further) limited. The standard deduction also increased.

Prior to that, it wasn't uncommon for people in higher income tax states to exceed the standard deduction with SALT and mortgage interest.
Try prompting it to explain why you should be allowed to return a dead dove and you’ll receive a similarly nonsensical line of reasoning.
it should either provide a link to a crisis hotline, which is what google does, or just not reply at all, which is what SmarterChild (the aol instant messenger bot) used to do. [0]

[0] https://en.wikipedia.org/wiki/Talk%3ASmarterChild
As a once retail vendor, it's not as simple as bad faith.

But they happen to be very lazy, intellectualy lazy. Most of people lacks intellectual curiosity. They don't want to go to through the processing of information discovery and intellectual maturation of that information in order to arrive to some sort of conclusion. They just want a final, direct answer to every question they ask to themself, when they ask them.

They also don't question the information they are confronted to. They often take it at face value as long as it doesn't require them to think to much about it.

That's why it so hard to make change their mind once they have accepted an answer to a question, even if that answer is obviously wrong.