y1n0

Column view for hacker news with resizable fonts. It’s just a fun hobby thing for me. I’m not in software, but I can do hobby level programming and that gets leveled up by codex.

https://hn.orbitalchicken.com

I use a reverse firewall to monitor and control my apps trying to access the network.

There are a lot of things that access the network but don’t really explain that they do or how. VScode plugins do this often.

It's a cultural tic to refer to something by its name.

That's how it was named. The bootscreen didn't say Apple IIe. It's Apple //e. with slashes. That's how it was in all the docs and any software and the bootrom.

Call it weird if you want, but that's what the name was.

> disks have a natural expiration date and it's not long

You really have no idea what you are talking about. It's normal for floppies, especially 3.5" to last decades just sitting on a shelf. I've got 5.25" floppies from 1984, and they boot just fine on my old apple //e.

42 years in my parent's dank midwest basement.

Everybody thinks macOS on ipad would be great, but it's not. If you are in the ecosystem, you can use your ipad as a remote display for your mac. Boom, macos on ipad.

And. It. Sucks.

It's a terrible, shitty experience.

Reversing said blobs is only a few tokens away.

Yes but this was true before Claude existed.

Maybe their kids are gifted.

That’s pretty interesting about the parable you mentioned. Maybe I’ll give GEB a try.

From what I understand the iPad mini weighs the same with a slightly larger screen. Has their matte display option.

I have big pockets so for me it’s probably pocketable. But I still would have a phone. So I’ve got a duo on order with a year lease so I’m not stuck if I don’t think it’s great.

I have to confess to considering a mini with cellular instead of a phone altogether though.

My old crappy eyes need big screens for this. I have one on order. I’m ambivilating over the screen crack issue.

> John Luke

that's not how I would pronounce by default, though I suppose I might if star trek TNG wasn't a thing.

hard fail on colorblindness accessibility

You should check them. Writable cds / dvds have a limited lifespan with their own bit rot issues. Something from 2001 may not be readable anymore.

I'd love for an alternative to youtube. And there are some... it's not really my area but I've at least heard of vimeo for example.

The problem is hosting videos is not cheap. Certainly not free. Storage and bandwidth are the easier costs to deal with. Policing to prevent devolution into the utterly deplorable is where things start to get costly and challenging. People get PTSD from having the job of scrubbing content on places like youtube and facebook.

Improper for sure. Illegal? maybe. It should be at least.

Criminal negligence usually involves bodily harm or serious risk of bodily harm.

I think it’s the mixed terminology that’s causing confusion. Prosecution is for criminal offenses. Lawsuits are for civil cases.

OMG $79 more! That ruins everything!

I believe you. But Apple has a history of deprecating MacBook Pro after about 7 years

It's getting more average every day. QED.

You will if you use macos and want to stay supported. On the other hand, being an M1 puts you squarely in Asahi supported territory.

The more you people keep harping on this ultra robust backup strategy, the fewer everyday average people are actually even going to attempt a backup.

The 2 and 2+ were concurrent.

The 2e, 2e enhanced, 2c, 2c+ and 2gs were concurrent.

I didn’t bother with Mac because I got tired of writing all the things.

As others have said, the pro is a different mask set.

But you are right, they do bin. You can get versions of the cpu with different core counts for this reason.

I’m only seeing this with the pro and max though.

And you think 1 is better.

Are you kidding? When have they not? Apple II, II+, IIc, IIc Plus, IIe (also //e), IIe enhanced, IIGS. All sold concurrently.

They’ve always been this way.

This has never not been true. There are always hand wavy axioms at the bottom.

I fully agree it’s harder to read. I do chip design and I feel like formal is more common in this area, but I generally restrict it to very simple properties that are easy to understand without having to mentally solve a sudoku puzzle.

It’s to easy to write an assertion that looks like it checks what you want it to, and gives you a false confidence when it passes, only to figure out after a field failure that it wasn’t checking what you thought at all.

But I’d pay for a commercial set of properties and assertions that had guarantees, and not worry about their complexity. For something standard like cache protocols and bus protocols.

Other cases it needs to be pretty straightforward to grasp by a peer reviewer in minutes, or it’s not worth it.

But when you can hit the sweet spot, a set of easily understood properties (or complex but trusted properties), formal can save massive amounts of time.