skysight-inc/HackerNews huggingface dataset:
> With many of the Apple Intelligence models running entirely on device, as well as the introduction of Private Cloud Compute — which extends the privacy and security of Apple devices into the cloud to unlock even more intelligence — Apple Intelligence introduces an extraordinary step forward for privacy in artificial intelligence.

They've said this in every mention of Apple AI since the WWDC, but they haven't mentioned at all if you can disable the cloud calls. I'm assuming you won't be able to, but if you can, that will be a very neat guarantee to have. If that same ability comes to an iPhone, I'll be very tempted to break my 10+ year Android tenure.
I am usually slow to upgrade but I jumped on this and iOS 18 immediately because of "iPhone Mirroring".

I've only had it for a few minutes, but it's really nice!
There's a decently successful Star Trek RPG right now (https://modiphius.net/en-us/collections/star-trek-adventures).

I would put the gradual failure of the FASA system more on the same basic problem a lot of licensed RPGs have: it's an elaborate simulation wargame that happens to use the same setting, rather than a game designed to actually feel like the experience of the show. This is extremely common to the point of absurdity, to the point that even official Doctor Who and My Little Pony RPGs have done it.
No, the key is not just the URI. It's potentially the URI + method + Some request headers + some response headers. The Vary header lets you control which request headers should be considered.

This method specifically includes the request body in that key.
That'll take another 5 years
> Amazon founder and former CEO Jeff Bezos saw his warehouse workforce as necessary but replaceable, and feared that workers who remained at the company too long would turn complacent or, worse, disgruntled.

https://www.vox.com/recode/23170900/leaked-amazon-memo-wareh...
This usually means the military.
The author was specifically referring to the original 3 book rules, which pre-dated Forgotten Realms by 13 years.
sel4 is implemented 3 times: in c, haskell and isabelle/HOL.

The implementation in isabelle is proven to satisfy various key high level security properties. All 3 implementations are proven to be semantically equivalent. The compiled assembly output from gcc is also proven to be semantically equivalent to the C implementation.

Having these implementation layers is helpful for the proof work since the highest level properties can be proven over a much simpler and highly abstracted implementation (in issabelle / HOL), and the layers make the chain of equivalence proofs down to assembly more tractable. Most of the proof work is done in isabelle with the final C <-> assembly proofs using a custom automated smt based proof engine implemented in python.

The trusted components are the various language semantics / import tools, as well as a few very low level pieces of actual OS code (mostly parts of the early boot sequence iirc).
VSCode is adding sound as an accessibility feature. I am personally not in need of this feature (yet), so I notice when they surprise me with a new sound for a new event turned on by default.

I think I could find value in adding sound to my dev environment, iff there were a quick and easy way to sample and select from collections of sounds made for this purpose.

As it stands, if I don’t like the sound chosen by the audio accessibility group, I just turn it off because there’s no UI to change it.
No more unpaid overtime. The right to ignore work messages outside of business hours. No more noncompetes

It's a race to the bottom because of the visa worker situation. People will wake themselves up at 3AM on a saturday because shitty tooling made something in prod break.

Many of my friends are visa workers, but if you're working with people living in fear of deportation, it tends to fuck up the work life boundary across the board
> We want to operate like the world’s largest startup

It's always amusing when a multi-decade-old, multi-hundred-billion-dollar company says stuff like this. You're not a startup. You never will be.

And if you were, you probably would actually offer perks in your offices that might actually encourage people to be there. Instead, the only perk that Amazon has is that you get one free coffee per day, and even that they have tried to remove multiple times.

I've never seen a company where it seemed more like the leadership of the company actively despises the employees that worked for them. Between stuff like this and the incessant pushing of Amazon Q against everyone's will, it's really apparent that Amazon execs think that having to employ humans as SDE is a defect they're trying to get rid of ASAP.
Keyboard shortcuts are either a simple Hammerspoon script or Magnet/Rectangle installation away.
> If what you are doing doesn't match that, then it's not a Scrum stand-up.

You must have stopped reading too soon.

"The Daily Scrum is not the only time Developers are allowed to adjust their plan. They often meet throughout the day for more detailed discussions about adapting or re-planning the rest of the Sprint’s work."
If anything it's much more Renaissance than medieval, what with the prominence of aesthetic-defining heavy armors.
Airplane mode before initiating Siri?
The one thing I like about new Twitter is how those deceptive ads can get community notes that say "gameplay depicted is not in the game".
Add an "error" account, put transactions there so that your transaction accounts have the correct value, and focus on inputting current data.

If for some reason you care about your historical data enough to import it, you can add new transactions into "error" to subtract whatever part of it they are responsible for. If the account reaches zero, you can even cheat and delete all transactions.
> iPhone Mirroring is not available in your country or region.
Thanks to the new API that comes with Sequoia, I developed a new translator app for Menu Bar that doesn’t require internet connection.

If you are interested, please have a look: https://apps.apple.com/de/app/offline-translate-translator/i...
"Your privacy is very important for us" when they suck all your data with Edge.
Unemployment rate doesn't give you the full story. It's always been a suspect metric in my opinion, kind of like how people use Kelly Blue Book values for cars. It's not a good reflection of the real world complexities. I'm not unemployed, but I'm also stuck in my current position because of the 100 applications I may have applied for, I get a response from 1 and I may not even make it to the interview phase. Pre-2020 that would've been 1 in 10 applications. Unemployment rate doesn't capture that. It doesn't capture stress levels due to lack of mobility between employers, nor people that have given up, nor part time workers, etc
There is no way to prove this and you know it. However I can tell you I'm orders of magnitude happier working from home, and that makes me a better employee overall. I'm not driven by stress and resentment, but actual will to improve things and deliver.
I do not disagree with anything you said at all! Though chances of success diminish here.

If you have to introduce some "process" - whatever that "process" is - because you do not have competent people and you feel like "process" will fix it, your chance of succeeding are a lot smaller IMO...
Many very productive people will not work in an office at all, thus harming productivity. When you're remote, you can hire the best.
The submitted title is wild compared to the article.
Ubuntu is really good these days.

If you bought into the apple ecosystem with a recent Mac I’d not bother. But for those of your running a PC Ubuntu is incredible and their new App Store makes finding and installing software super easy. My workstation pc with Ubuntu is insanely faster than my Mac Studio when it comes to jetbrains IDEs. It’s so snappy I first couldn’t believe the performance diff.
How did you like their benefits? For me, PTO is the main reason I avoid Amazon. I get 20 days a year, not counting sick days. I think Amazon is still stuck at 15 days[1], and almost no sick leave.

[1] 10 days for the first year
All I can say is that while there are such companies you never seen to meet them. In the Bay Area we have tens of thousands of people at Google, Apple, Salesforce, etc.., but I would constantly meet people from random smaller and medium size companies and it doesn't feel the same here in Seattle. I think this is partly due to funding and partly due to how people seem to be more risk averse here.
Is it better than Swish? I recently discovered this and it's game changing for trackpad users https://highlyopinionated.co/swish/
I was explicitly taught the waterfall model in 1991 at a university computer science course

I had to work out the problems myself
Yep, it still runs Server side (in Azure) and as such, requires 365 subscription.
Every waterfall project was actually spiral or hybrid.
I'll just do what I do now. Go into the office (I am fortunate that I live maybe 15 minutes away), card in, spend 30 minutes there so it detects my computer use on the network, then go home and work from there. Or, I just won't go in and keep doing my work until they call me on it. My work can easily be done 100% remote and most of my coworkers are in other countries, so it is crazy that I need to go into an office.
More like, put in less effort than they would have.
Because the denumerator is to the left side.
Thank you. Still have nightmares sometimes
1. The README example is 54% reduction (for gzipped result).

2. CSS often blocks page render, to avoid flashing unstyled content.

3. "Tree-shaking" CSS is often difficult or impossible.

Many (most?) CSS libraries minify their outputs...Bootstrap, Materialize, Semantic UI, Foundation.
Or maybe all of the ridiculous pressure from sky high salaries and no affordable housing led to the homeless population...
Interesting, see also: https://www.youtube.com/watch?v=78YN1e8UXdM
Note that you can option double click the corner of a window to make it fill the screen.

I realize that this isn't what you're asking, but it might help.
I've had a disturbingly large number of friends cancel on weekend or late evening plans because something at Amazon broke, and they had to drive into a downtown office to fix it.
But then you work at Oracle.
A long time ago I started dreading major updates from corporate providers. They push features they want, not features I want. It got so bad with Microsoft that I fled. Apple's updates have been aggressive in resetting my preferences and pushing things like iCloud and their login to the point that they are on the Microsoft path. I am forced to use mac for work but only because of work.
Weird how the title says, "macOS Sequoia is available today, bringing iPhone Mirroring, Apple Intelligence, and more to Mac"

Then you look at the paragraph for this and it says, "Coming Soon: Apple Intelligence"

They announced this in June, and it's just loosely coming "this fall." I have a feeling they are finding it very difficult to do anything with any kind of consistency or value on their 8gb RAM phones / Macbooks. Their models they have demonstrated so far are a relatively low parameter count with LoRA adapters for various use cases.

I have a feeling that the majority of Apple Intelligence will eventually just be farmed out to their "secure cloud" or whatever they were calling it.
My dad — whose entire family was killed by the Nazis in Lithuania in 1941 after they'd enabled him to escape to Sweden and then the U.S. in 1939 when he was 17 — went back to his home there for the first time when he was in his 70s.

Upon returning home, he became VERY depressed and it persisted for the remaining 8 years of his life.

It was clear to me and my brother that the change from his normally upbeat and optimistic self stemmed from seeing in person the very places he lived and frequented and the memorials to those killed.
On call? I never had to do any kind of support of any of the software products that I worked on. Why would you waste eng time on something as trivial as support?

Is this an American corporate thing?
With TeaVM you can compile Java to JavaScript and run it in the browser again. We've come full circle. https://teavm.org/
I can see that, but plate armor was prominent in the later middle ages too, pre-Renaissance. And D&D has no gunpowder weapons, which were starting to be common in the Renaissance.

Then again a lot of "medieval" movies/TV/games mix Renaissance stuff in.
Haha, yeah, hearing things you literally did being discussed like they're urban legends. xD
> This can add milliseconds

My previous (very long) project was in such a state when I got there that it was only in the last year I was there that measuring things in microseconds was something I could get on other people's radars. I wish I had started sooner because I found a lot of microseconds in about a four month period. That was the most intensive period of user-visible latency reduction I saw the entire time it was there and second through fourth place took years of manpower to accomplish. Past me and future me are both still mad about that.
c) They don't have metrics and will never have, because the only thing they have is "of course the real intent is to quietly forcing people to quit. what else do you think is happening here?"
I don't care how something works if I'm against the purpose. The same "but we should have a technical argument" BS was used by proponents of WEI, and thankfully most people saw through it.

No means no. DO NOT WANT. End of argument.
Good comment!

> The author might make broad sweeping generalizations but the main point is true. A group of PCs is basically a democracy. Such D&D democracy makes roleplaying in strict social hierarchies pretty difficult. PCs will mouth off to kings or wizards or even deities.

But D&D (and its descendants) make this particularly likely to happen, right? Take Paranoia as a different extreme. You cannot mouth off to authority figures in Paranoia because it will get you killed in a second, and the rules encourage making you trip and get killed because you said the wrong thing to the wrong person (or Computer).
How would you install Ubuntu on an M1-M3 Macbook?
> Pure text like Hacker News is a safe zone from this kind of crap. But multimedia sites like Twitter, Threads or BlueSky need to deal with the filthiest content and sanitize their servers

I'm guessing Hacker News is safe because of the context and the small size. Other text-only forums I've moderated in the past have needed plenty of moderation for various horrible stuff that's been linked. And links we have on HN as well, but it doesn't get nowhere near as much misuse as I've seen in other text-only places.
Ugh, if they make an ad that has non-game game-play that gets a lot of clicks... why not make that game instead/too?
It has been for 20 years :)
https://lists.ubuntu.com/archives/ubuntu-announce/2004-Septe...
There appear to be a lot of people who derive a significant amount of their self-confidence and self-image from not being fat, and looking down on people who are. They seem to get pretty upset when people who they've been able to dismiss as fat become not fat, and hate that these drugs allow the users of them to take away that moral superiority -- various GLP1 subreddits are full of stories about them.

I'd never encountered anyone like that in real life, but they show up over and over again on any discussion of these drugs. It's very strange to me.
> The Moral Panic Over Ozempic Misses the Point The media has made the drugs about body politics and our obsession with thinness. That’s the wrong story.
Allowing people to work from home, and then yanking that back even after studies prove happier workers and better productivity is mistreatment in my opinion. Especially when it's malicious and arbitrary when they do it in hopes that you will quit. Our quality of life plummets when we're dragged away from our families and forced into long shitty commutes to sit on zoom in a cubicle all day.
Butts in seats as a KPI is the definition of "Day 2 culture"
https://archive.is/https://nymag.com/intelligencer/article/o...

Appears that the original title was the submitted title. (Note: I'm not sure how Archive.is works with titles.)
Will Apple Intelligence be available in the EU after all?
Participate in a Phase IV trial at your peril.

But I wonder whether I'd say the same if I hadn't learned to lose and keep off all the weight I needed to, before it came along.

(If the downvotes are because I sound like I'm bragging, that's fair but also not my intent. What I mean to say is, I suspect I'd view this class of drug and indication less dispassionately and with more of an appetite for risk, if I weren't so lucky as to have no pressing need for the benefit.)
Not as much of a monoculture as Portland. Portland has Intel (where they are in the process of laying off tens of thousands of people), Nike (where they just went through layoffs and aren't hiring), and... not much else.
Money, mostly.

But also: working at AWS is genuinely really interesting at a technical level. Very few companies operate at the scale that AWS does, and being able to have technical documentation about the underlying workings of EC2 or IAM at your fingertips, or even just listen in on root cause discussions or technical analysis of incidents, or read the technical details of a new design in a service that saves hundreds of millions of dollars per month or day, is something that really scratches my engineer itch.

Amazon and AWS really have the potential to be a great place to work, but leadership just squanders it. That's what makes announcements like this even more painful.
There are keyboard shortcuts:

https://arstechnica.com/gadgets/2024/09/macos-15-sequoia-the...
I've worked at Amazon (and AWS) for over 16 years and have made many friends, and it's how I met my wife. What's always kept me here is that it's been fun the whole time, with meaningful problems and opportunities that move the needle for so many customers.

So many modern experiences that are built into our improved quality of lives; apps on phones that can know my tastes and preferences, hailing a cab virtually, a bonkers level of selection of goods to all consumers, low friction same-day delivery, far greater access to online services including education and financing, just wouldn't exist (or at least not as quickly) if weren't able to cut down so many old-school structures and replace them with much more efficient and available alternatives. Getting to create a transformation in digital infrastructure and logistics at that level is just nuts. And there's still plenty to do. The money is great too; a far better result for me financially than the startups I worked at.

But all that said; Amazon isn't for everyone. It's probably not for most people. I don't mean that in the "Amazon only hires the best" sense. That's true, but so do the other big tech companies. It's more that you have to be a particular combination of driven and outcome focused with a relentless tolerance or even insatiable need for urgency, hard work, and trade-offs.

If that resonated, and you have an opportunity to join Amazon towards the middle or advanced stages of your career; definitely try to do it. I interviewed several times at Amazon to get in. But if you are at the earlier stages of your career; choose your team and manager very carefully and care a bit less about the company you join. That will make a bigger difference.
If a team has reluctance to drop something where you see a need to drop it, it is you who is not working. Will you drop yourself?
What I don't see represented in this conversation is the idea that you can just write for personal satisfaction, or examine something you're personally interested in. Not everyone needs to have 10k+ monthly active readers. Not everything needs to be a rat race. Why don't we see blogging like exercise? Sure you'll have your body builders, but some people just go on walks, and no one is doing anything "wrong" they just have different goals.
I'm not taking the bait on that one. ;-)
Surprised to see so much hostility towards Wisp. I find it very clean and elegant. It won't cover every situation (sometimes it's just cleaner with parens), but it allows you to fall back to parens when needed! It's just really well thought out imho. I've used Wisp in a moderately large project and wouldn't hesitate to do it again if I had the chance.
https://ubuntuasahi.org/
> Perhaps a better question is - if one can get an offer at other FAANGs and the equivalents... is there a reason to choose Amazon over others?

People on blind say facebook is pretty similar with the hire to fire culture
Not so fast. "Strangely, America’s companies will soon face higher interest rates" by The Economist [1] explains why Fed cutting rates will not translate into easier money for US companies.

[1] https://archive.today/fvRnt
Buying a retro game no longer gives money to the developers. It doesn’t support the development of further games, it mostly just puts money in the pockets of collectors and scalpers.
we already do that on my team- you can hardly respond to a pager in 10 minutes if you commuting. I suppose it's an unofficial policy but we never got any pushback from it.
I believe it was Chris Okasaki who discovered that the thing that helped neophyte programmers go from not getting it to getting it in terms of blocks and scopes was semantic indentation.

Lisp's parens were originally a convenience notation for McCarthy's idea of lists, but not intended as something people actually code in. For most programmers they are, as they say in the Rust community, not very ergonomic.

Semantic indentation is a win, and will be good for the Lisp family. Embrace change or get left behind.
A typical business wants customers that call in to get a quick and efficient response, so they will potentially buy more things in the future.

Your health insurer, on the other hand, already HAS your money. Their goal is to do exactly as much customer service as will keep you (or more likely, your employer) from switching companies. The more efficiently they let you make claims, the more you cost them.
From Matz

>Prism needs quality and for that it needs to be experimented with on a wider scale. For that reason, I agree with making Prism the default in previews (when Prism passes all tests). Whether it will eventually become the default in 3.4 depends on quality.

Once it land on master. It will automatically be tested on Github and 37Signals, in addition to Shopify. I remember there were one or two other companies that run on Ruby / Rails master as well. Cookpad? or was it Discourse.

If we could get Gitlab and Stripe to test against it, and perhaps a few other Ruby shops that doesn't use Rails as representatives then I think Prism is damn well tested.

Wondering what else is baking in Ruby 3.4. YJIT team has been very quiet....
We've had that tech for decades, it's what France's infrastructure is built on.

The US doesn't like it because you end up with plutonium doing that. It's contrary to their geopolitical/non-proliferation goals if we start using it because we simultaneously want fairly arbitrary foreign states to use nuclear power (so they don't feel as compelled to start wars over energy), and we don't want arbitrary states having the ability to create nuclear weapons. So pretending that reprocessing fuel isn't the best way to approach long term nuclear power generation is what the DoE/DoD/DoS are stuck on, even domestically.
That does look pretty cool. Unfortunately my experience with third party window management features has been bad.
Aside from the traditional and expected bells and whistles, are there any major core improvements?
Sure. My point really was though that if you find a place that is openly discussing A/B/C dynamics it is a huge red flag.
I have been using a little app called Rectangle[1] for years now, and it solves every possible window positioning need I have ever had. No ads, no cost.

As far as the conversation goes, 1st party implementation by Apple would be nice and all, but 3rd party doesn't bother me in the slightest. (at least in this case)

[1] https://rectangleapp.com/