skysight-inc/HackerNews huggingface dataset:
> the purpose of TLA+ is to help design and reason about executable things

> execution - [this is not one of] the things that TLA+ helps with.

I think there is a depth limit on HN so I'm just going to stop after this. No, I do not have a "real question". I made a statement, that TLA-PL is a programming language. You still not have agreed or disagreed with this statement, just said that you find it "a distraction" and "confusing" and "not really what you have in mind". Well, un-confuse yourself and present an opinion on its veracity. I don't think it's a distraction because it is a point Lamport brought up in TFA.
I think most extremely wealthy people have a concentrated holding in a business they created or inherited.

The bill gates example where someone has 100 billion in sp500 is rare. You don't get insanely rich through diversification
How The Body Shop unravelled in 3 months
Eh... the ptr::add function exists if you want to make extra promises to the compiler to let it optimize better, but if you don't a safe version exists: https://doc.rust-lang.org/std/primitive.pointer.html#method....
Sure, I'll agree that there may be times when the "extra" caution is unwarranted by the situation at the intersection. But by doing this every time I ingrain it as an automatic habit which greatly reduces my ongoing risk of failing to use extra caution at some point where it is warranted!

Since the failure mode is an auto accident and the cost of the habit is marginal I feel comfortable promoting this behavior. I have definitely seen accidents and many near misses caused by people who failed to come to a complete stop and look around when conditions did warrant it.

Another lesson I learned in driver's ed is that traffic approaching from the left can be traveling at a speed that completely synchronizes with the A-pillar of your moving vehicle, causing it to be completely invisible to you right up until the moment it collides with your front driver's side fender. This is why I stop and move my head around while I look, to make sure I'm not missing anything. I'm just a stupid human after all.
A benign summary of what professional management brings to large orgs is essentially variance reduction.

Set up organization, process, systems, etc such that 99% of the staff becomes more or less interchangeable in the long run. This allows organizations to outlive their founders.
Not going to disagree with your comment but I find it so socially interesting that “the most successful CEO in the restaurant market” is judged by something that has nothing to do with the quality of the food.
This is really awesome, I’ve been looking for this exact tool. Putting the preview in the context of a real message / post makes it more useful.
Crafting a Blockchain in Go and Rust: A Comparative Journey – Blocks and
I am saying insurance as a concept is stupid and anyone who has insurance is dumb except in few rare cases caused by government tipping the scales of the market.

The only thing baffling here us your reading comprehension bud.

You missed my entire point. You think I think that? Well, if I was on another website I would say something about you as a person about the type of human being who can't even understand what they are reading but then replies with an ignorant comment.
> An electron falling (electrostatically) toward a proton will reach the speed of light at some point.

No, it won't. A correct relativistic analysis of the relative motion of the electron and proton will show their relative speed never reaching c, let alone exceeding it. You can't just plug numbers into Coulomb's Law for this case, because Coulomb's Law by itself is not relativistically correct. You need to use the full Maxwell's Equations and the relativistic Lorentz force law.

> So that's an event horizon due to a different force.

No, it isn't. No force in the relativistic sense produces an event horizon. In relativity, gravity is not a force, it's spacetime geometry, and so is an event horizon in spacetimes where one is present.

> physicists will usually say something like "oh you have to treat that with quantum mechanics".

They are correct in the sense that once the electron and proton get close enough together, classical relativity and Maxwell's Equations are no longer a good model. But as above, you don't need to do that to realize that your claim about reaching the speed of light is wrong.
Currently this appears to not handle quotes in titles properly, rendering them as &#39; instead of an ascii quote.
> Why this tool over https://socialsharepreview.com/ or https://www.opengraph.xyz/ or https://socialmediasharepreview.com/ ?

Yeah, I don't get it when other free previewing tools already solve this problem like https://socialmediasharepreview.com/

The only explanation is that this one is only a 'free tool' to try to upsell you to buy their full stack kit grift.
For sure! In both cases I imagine it is a conscious choice where the teachers thought about the trade-offs of each option. Both have their merits. Whenever you write learning material you have to decide where to draw the line of how far you want to break down the subject matter. You have to think quite hard about exactly who you are writing for. It's really hard to do!
There are people here on this forum openly admitting they don’t see how ‘knowing Linux’ is useful, so no point actually learning it.

I have no idea if they really never learn and wing it until they become managers or become great cloud engineers who simply scale up instead of running strace.
"Language models" certainly feels a misnomer. The fact that their inputs and outputs are (actually were, originally) language, doesn't mean that what they model is language. The proof is that there is an infinite number of perfectly correct linguistic productions (think "colorless green ideas sleep furiously") that are not generated by language models exactly because their point is not modelling language but some approximation of the human mind. The fact that the models are trained through language and use language to communicate is purely incidental.
I program for a career and I’m not going to argue that iPad is going to be my go to device, until there’s a ‘killer’ app. But that’s my day job. When I want to play around with a hobby (writing, music, game dev using Godot???) I turn to an iPad because it’s NOT a computer. Maybe in the same way a lot of music hobbyists buy gear to make music even though using a computer DAW is far easier - we want to ‘unplug’.
Even if we assume the best intentions, I think iOS and iPadOS is still recovering from being crippled based on early design decisions.

I remember at one of the Apple events Steve Jobs was saying the one area of complexity that still hung people up was the filesystem, so iOS (and as an extension, iPadOS) hid it away from the user. Files were locked to apps. As the platform evolved, people wanted/needed to operate in multiple apps with one file, so this concept of duplicating files in multiple apps came to be. This was a mess when it came to file versioning. It was also very difficult and confusing, and required apps to support it.

Eventually they added the Files app, but it is a very slow road to change over from an app based system to a file based system. Even today, it’s a crap shoot and some apps work better with the Files app than others, and it seems this aspect is still much more confusing than macOS from this perspective.

This was a huge miss that no one really talks about.
Ssllabs Down
Meshtastic is very much insecure (except for the encrypted direct messages they added recently) by lacking Perfect Forward Secrecy, has a limit of 38 devices on a network due to its use of flood routing and can only operate over LoRa.
I would very much recommend using https://reticulum.network/ instead due to its Perfect Forward Secrecy, it's current implementation supports billions of devices (could go up to galactic scale if necessary with a one line change) and can operate over any communication system which provides "at least half-duplex operation, and provide an average throughput of 5 bits per second or greater, and supports a physical layer MTU of 500 bytes" (rabbit hole warning)
I hate when HN nerds deliver something poised as helpful advice that is just an ad for their own thing.
> C-Suite and C-Suite adjacent end up working 60-80 hour weeks, and you have to be always on because that is what the role entails

When they lump in travel, personal appointments/meals, and exercise as "work". I work that much when you add those in too

https://archive.ph/snShK
Some people are willing to pay inflated prices for concert tickets so the market has adapted accordingly. The performers must benefit from this indirectly otherwise, as you say, why would a set price not work?

I can see the argument for secondary sales but if you buy a ticket for an event and then decide not to go then you should take the financial hit, not make a profit.
If you make a game that is 4D, you can visualize moving 4-dimensionally via a 3 dimensional shadow. See the book Flatland for more concepts like this if this sounds interesting.

Now you can get quite good at predicting where you will end up after a while, and even be able to remember how to get places. But does that mean you are thinking 4 dimensionally? No, you’re still thinking in 3 dimensional shadows.

I get the feeling that is analogous to what happens when you try to do what you’re describing.
To be honest, there is a lot of reason to believe that this is more or less how humans work also. We might be better at figuring out why we did something, and we might be more deliberate in some cases. But for the most part I think and then logically justify their actions.
I love that someone in this same thread claimed he’s the most successful CEO in the restaurant industry.
Cuba would like a word
IF Comp 2024 has started! Everyone is encouraged to play and rate the amazing games!
This is not “building from the ground up”
When you put it that way, I makes it harder to hate the C-suite. But I'm conditioned by all of the haters on social media to think that socialism will some how fix all of this.
Makes no sense. Just have a better court system that makes people who cause damages to other's car have to pay a certain amount to that person per month. Like car insurance but there isn't a middle man and you only pay when you get in an accident.
That makes me wonder if there is a height range in humans that maximizes lifespan, on average. Beyond cancer, people that are too tall probably face other shortcomings as they age, like higher damage from falls, increased risk of back pain, increased wear and tear on joints, et cetera. At some point height must have diminishing returns on health.
What's the difference between this tool and something like SpotHero?
Prisons and psychiatric care provide compelling examples of the boundaries of for-profit models and why they might not always be the best solutions in an area. You can always argue — reasonably I think — that these cases represent anomalous bad apples but I think as long as that incentive structure is there it will pull for this kind of thing at some level, even it's not quite as extreme as this example. I think that profit incentives and lack of competition tend to distort healthcare across all sorts of specialties in much more subtle ways than what was going on at this hospital chain. When threats to personal autonomy start to become the consequence it seems to clarify some of the problems involved, but the same processes are at work in all sorts of areas.
This is hackernews not chatgpt sir.
Forgot to add the link - https://en.m.wikipedia.org/wiki/Unsane
An electron-proton pair approaching each other will not necessarily form a hydrogen atom by emitting radiation. They could just scatter off each other, and if the impact parameter is large enough, this process could be modeled reasonably well by an analysis using classical relativity. Or, at high enough energy, other particles could be produced, which would require quantum field theory to model.
Protestors in the U.S. are frequently beaten, illegally detained and have toxic chemicals deployed against them in the streets (or are otherwise menaced and harassed by police) -- regardless of whether they are doing those things. This has been going on for decades, but should be especially obvious to you if you've been following the news in the past 4.5 years.
Imagine being so close to understanding something, but your whole identity requires you to not understand it.

Venture capital (VC) is fundamentally at odds with good business. VC demands exponential growth from a finite world; something has to give. What usually happens is the company grows to the point that it's impossible to keep the "professional fakers" away. Then the Iron Law[1] kicks in, or enshittification[2], or both.

Do you want the benefits of a small company (sustainability, happy employees, happy customers, good products)? Then build a small company. If you want the opposite of those things but also lots of money, try your hand at the VC blackjack tables. Maybe you'll be lucky and this time, it will be different.

[1]: https://www.jerrypournelle.com/archives2/archives2mail/mail4...

[2]: https://pluralistic.net/2023/01/21/potemkin-ai/#hey-guys
No. The judge is attempting to silence anyone speaking out against the new leftist government. Meta and Google silently complied. X did not.
Mobile GPUs with any PowerVR heritage have it

https://medium.com/pocket-gems/programmable-blending-on-ios-...

https://developer.apple.com/videos/play/tech-talks/605
Carrier Design and Organizational Structure
I think a lot of companies get stuck in a "mess middle" where they've outgrown founder mode, but the people brought in to be responsible for various parts of the org chart are not actually empowered.

So you no longer have the permissive open structure of a small company, but are still small enough that the founder is arbitrarily/implicitly making a lot of decisions that have on paper been delegated.

For ICs/people lower down the org chart this is extremely disheartening because you end up reporting to someone who doesn't actually make the decisions, but instead shields you from the decision maker & the decision making process.

I've seen this in ~200-1000 person size orgs.
> turns out to mean is: hire professional fakers and let them drive the company into the ground.

What a long post to write "Well if you hire the wrong people they will drive the company into the ground"
There's a lot that I believe to be misinformed in your post, but rather than address most of that I'll ask if you've considered your reasons that you're so hostile towards this field?

I doubt you refuse to work with anyone that's read a book that you refused to read. You'd probably also agree that while the topic of those books might be objectionable to you there's knowledge to be gained by reading them. So why is "AI read a bad book" a reason to write it off?

You also assert that it's fooling people. Have you tried the image generation AIs? Do you really believe these images are 'fooling' the people generating them?
Agreed, to an extent.

If this happening as frequently as the article suggests, and if Arcadia operates over 50 hospitals, you’d think there would be at least 1 law firm dedicated solely to prosecuting this specific hospital.

Skip the class action BS, and run those “mesothelioma” type commercials. Then have a boilerplate structure for a lawsuit that you can repeat successfully, hire your own doctors as expert witnesses to refute the hospital, etc.

If they are imprisoning people illegally, I imagine the settlements would be quite high per patient.

> But since it was just the doctor's word against theirs

When something is widespread and perpetrated by the same people, you have to establish a pattern of behavior to discredit the witness.

The narrative could be pretty straight forward: the doctor was lying to the insurance company, and they’re lying to the jury, too.

Seems they already settled a couple suits, which could potentially be used to discredit the hospital as well.

But again, you really need a specialized firm willing to take them down by taking on a bunch of similar cases to make it worthwhile to do all of the background/evidence/research to make a case.

This is also the type of case that could get heavy PR / public support which the right law firms can leverage in their favor.

…or we embrace better regulation and trust the government to fix this. But the government also has a terrible track record when it comes to caring for the mentally ill.
I reiterate that I can't care because my capacity to do so is limited:

* First priority is caring for myself. I can't care for anyone if I don't.

* Next is immediate family.

* Then it's my closest friends.

* Followed by my other friends and extended/distant family.

* After that are my professional connections: Co-workers, bosses, subordinates, clients, suppliers, and so on. They are who I derive a living from.

* Now I get to strangers I happen to meet during my life. This is actually an important group as, indeed, most if not all friendships, professional connections, and even family originate here.

* Finally, after all that, I can maybe care about strangers I have not met and will never meet during my life.

I'm sorry, my damns ran dry somewhere in "strangers in my life" before I got through them and I think that's actually being generous. I don't have any left for someone on the other god damn side of the world who is literally meaningless to me.
I think the balls on sheet is an OK compromise. The reason for me is, it's tough (but not impossible as you point out) to visualize functions over 3D space. Your sponge does that and I like it! (You could also use color-coding, vector-gradients etc) The ball and sheet uses a spacial dimension as the function value, and that's the dimension the needs gravity to work acts on. So, if you accept that as a compromise, it's OK; we are saying that dimension is a convenience.
I think they are talking about the flash. The code is by default run from flash (a mechanism called XIP execute in place). But you can annotate functions (with a macro called IRAM_ATTR) that you want to have in ram if you need performance (you have to also be careful about the data types you use inside as they are not guaranteed to be put in RAM).
I know and it's becoming commonplace here, this is why I prefer free open source software instead so that we can ignore these ads for closed source software grifts altogether.

Is there a FOSS version of all of this that is open source? Otherwise one can make one such that these 'ads' don't need to exist and everyone can benefit from a FOSS version just in case an author chooses to shut their closed source one down.
> You can't even step foot into a hospital without paying $20K

I had a surgery and was in the hospital for a week. The out of pocket cost without insurance was lile 20-30 thousand if I remember correctly. And that is without coupons discount you usually get from cash payment. I used insurance, so I don't know what the discount wiuld be, but usually its like at least 10-20%.

I don't know what hospitals you got to, but 20K for a hospital visit is something I have never heard of.
A journey inside Epic Systems' mythical and sprawling campus
Having jets contrary to many believes it's not a bad thing, using it for stupid thing is.

If you need to travel, for instance to expect a new remote production site, a potential acquisition, getting to know well something up somewhere where you have interests, it's not wrong at all. Travel just to show up in the office, like a religious act, a ritual probably to justify RTO policies needed by the company to stay alive not because they need people in the office but because they live on cities and with WFH as the default, having already lost industries with '80s globalization, cities are simply dead with their Barnum circus including therein Starbucks that have no substantial reason to exist in business without the "ritual, polite, city-stile suit and tie/tailleur" way of living.

This act means a thing: Starbucks is a no future company, desperately attached to a past model that can't exists anymore, so having no substantial reason they switch to rituals, imposing them on their own, chiefs included, to trying keeping up.
> Some claim matter falling into a black hole never really does from the point of view of an outside observer.

Such claims are wrong. The correct statement is that the outside observer never sees the matter reaching or falling inside the event horizon. But that's not because it never happens; it's because the spacetime geometry prevents light emitted at or beneath the horizon from getting back out to the outside observer.
I think you're foolish if you think that stock price "has nothing to do with the quality of the food." Repeat customers are a big part of the profitability for any business and they're a big part of the success of Chipotle. Unless you think that the quality of the food doesn't matter to the customers, I think the real challenge for any restaurant is to come up with an acceptable level of quality for an acceptable price. The stock price shows that he achieved that for an increasing number of customers.
Tiny tip of the iceberg. And all of those only got to prison for crimes against their investors, not for crimes done on behalf of their investors. Your examples actually support grandparent's point.
Good questions for a recruiter, less so for an interviewer who just gave you a technical interview (and is probably an engineer themselves). The article is questions to turn the table during technical interviews.
I don’t know how someone uses modern dev tools without understanding some very basics of the Linux CLI. I see this all the time. If a command in some documentation isn’t a straight copy/paste, they’re done for.
Okay, I've only scaled to 30 people so far, so anything I say is just me interpreting things I read.

I imagine from what I read about Steve Jobs, Elon Musk and Jensen Huang is that all three of them have/had unconventional management style in the sense that they're often amongst the IC's. Obviously you can't do that with all of your 30.000 employees, but I think they're just picking the teams that are most crucial at a certain point.

For example if Steve Jobs is managing Apple while launching the iPhone, I imagine he's talking to the VP of Sales in the management meetings, but he's not on the sales floor, nor is he sitting with MacOS dev teams or making sure motivations are high in the customer service department. But I bet you could find him in weekly iPhone design team meetings, and maybe he'd be shown progress on iOS every month and have a 3-hour brainstorm with a core team of senior devs on that team. Maybe they'd pull him into procurement meetings to make sure the capacitative touch screens would be made in the quantity they needed.

You'd have your VP's, directors and senior management making sure the ship sails, but you'd have the founder CEO present where they can have most impact, which just isn't in those top level meetings.
Honestly, the people that put in these processes are the smart ones. Useless as they are, they do climb the ladder, get good titles, and good pay.
Thinking about a UFO as some kind of extraterrestrial spaceship is naive
It might be more accurate to forget about the various current job categories. There is nothing that requires a technology to eliminate a certain existing job category(as if a job category is an immutable constant in the universe). Instead, it idea more likely to accelerate some types of activities and perhaps completely automate others.
Do you have a link for the full talk?
That's really the core of the social media problem though. Social platforms are asked to, and signing themselves up to, walk the fine line between free speech and content moderation.

Ultimately they are private platforms and as far as I'm concerned they can censor as much or as little as they want, but its a fundamental problem of any algorithmically managed feed of user generated content. There's no easy fix there and you'll always piss of a large chunk of the population.