skysight-inc/HackerNews huggingface dataset:
The book Empty Mansions [1] is about the heiress of Montana copper mining interests, Hugette Clark (father is namesake of Nevadah's county). IIRC, she inherited multiple properties and $300m+USD. A quite fascinating view into the insanity of an eccentric ultrawealthy, who lived into the 21st Century at times thread-barren.

The unfathomable wealth she squandered on bullshit throughout her mostly-anonymous lifetime of luxury... could have supported hundreds of other 20th century families. As specific example, she maintained a Santa Barbara mansion, for decades, without ever visiting the property.

That she was given it all from her father creating a superfund site... probably helps explain much of her reclusiveness [that and loss of sister at a young adult age].

[1]: https://www.amazon.com/Empty-Mansions-Mysterious-Huguette-Sp...
[dupe]

https://news.ycombinator.com/item?id=40657933
Actual equity is hard cash, options are a potentiality of cash.

As the company with equity, any calls you’re selling are guaranteed covered, which hedges against downside loss of having given away equity and it exploding in value. Calls also theoretically align incentives better than equity because it gets the staff member personally interested in seeing the stock rise, rather than just selling immediately to take profit if they’re short your company’s future outlook.

Lots of other nice properties - If you sell the option, either discounted or at some full price, you make a money premium, which helps runway. If the stock falls, you make money from having chosen options and basically don’t have to give the employees anything. If the stock rises, you’re probably making great sums from your (much larger) equity share, and your losses versus just giving them equity are essentially capped at the difference between the current price and strike price, instead of theoretically unlimited cost. This is easily quantified with some multiplication when issuing the options, meaning in a growing company, you have knowably limited exposure, and essentially are just giving them the equity you would’ve given them anyways.
I really also don’t bother about security, but I hate that any argument against people caring about privacy is along the lines of „I have nothing to hide“. Especially on the note of Apple, I remember when a dad was flagged as a pedophile because Apple found photos of his kid in his iCloud and their algorithm decided to get him raided. It’s about control, when you hand your data over to 3rd parties of any kind you are giving up control and one day that will bite you in the ass in some way. I am will to take that risk, you too, but I still think not wanting that is totally valid. A type of angst which I find much more stupid is people being scared of AI taking over the world HAL x Terminator style…
One could overload the * infix operator to support this type of multiplication. It just doesn’t come with the standard library.
No cast, just a conversion, depending on how you want the math to work. int * double would usually be Double(int) * double.
> German mathematician and Fields Medalist Peter Scholze collaborated in a Lean project—even though he told me he doesn’t know much about computers.

> With these formalization projects, not everyone needs to be a programmer. Some people can just focus on the mathematical direction; you’re just splitting up a big mathematical task into lots of smaller pieces. And then there are people who specialize in turning those smaller pieces into formal proofs. We don’t need everybody to be a programmer; we just need some people to be programmers. It’s a division of labor.

Who can get paid to be a "mathematical programmer" ?

PhD mathematicians? Grad students?
It comes from Knoop and Chollet's pockets. You are welcome to spend your own money to further whatever matters most to you.
Not all criticism (but alot) and not remotely an invention.
Location: Vienna, Austria

Remote: yes

Hybrid: yes

OnSite: yes

Willing to relocate: no

Technologies: AWS, Azure, GCP, Java, JS (Angular.io, Node.js), SQL & NoSQL, RabbitMQ, Docker, K&s, REST, etc

Résumé/CV: on-request

LinkedIn: linkedin.com/in/simone-taliercio/

Email: simonetaliercio@gmail.com

With over 15 years of experience in software engineering, I have developed and deployed distributed systems across global markets including the USA, Europe, and China. My technical expertise encompasses major cloud platforms like AWS, Azure, and GCP, and spans across technologies including J2EE, JavaScript, SQL, and NoSQL databases.

In my leadership roles, including as Head of Engineering, I have effectively guided Agile teams, fostering environments that enhance both innovation and performance. My role in mentoring and coaching multiple engineering teams has not only accelerated project timelines but also fortified the technical skill sets within organizations.

I am recognized for being flexible, resilient, performance-focused, and bringing a dynamic leadership style and sense of humor to my work, traits that define both my professional engagements and leadership approach.
> Raise my eyebrows, more than a little bit. If to compute e.g. (assume for a second you do not have optimized instructions for this) you have E = D * C and C = B + A, how exactly you can compute E without first knowing C? You can't, not without computing all possible values of E for C (inefficient).

I think what the mean (according to their diagram) is each result has to be written back to the register file before another unit can use it. So conventionally you would compute C = A + B and update the C register and in the next step compute E = D*C.

What they seem to claim is they directly bypass the computed C result from the add unit the the multiply unit, hence it is pipelined. This is a bit disingenuous as any performant cpu worth it's salt will have operand bypassing.
Nice! I will have to give this a try as an alternative to Diary:

https://f-droid.org/en/packages/org.billthefarmer.diary/

https://billthefarmer.github.io/diary/

https://github.com/billthefarmer/diary
When I was making the list above, I actually went and looked at my bookshelf of ancient sci-fi paperbacks. C.S. Lewis’ Space Trilogy is a nominally “science fiction” work that I excluded and would consider soft sci-fi. It’s set in space with aliens, but is really a fantastic story (in this case an allegory) that makes basically no attempt to extrapolate or connect with hard science as we understand it today.

A funny one is the Pern series, which starts out as a sword and dragon fantasy series, but then like 10 books in we find out it is actually hard sci-fi (!) with space ships, orbits, genetic engineering, computers, etc. But there is still that telepathic connection with the dragons…
> when the startup ends up selling for $250M

s/when/in the statistically and historically very unlikely case that/g
Agreed. They publish some impressive research on https://waymo.com/research/, but are very tight-lipped about many things. I've always wanted to know how they maintain maps and what their in-vehicle compute hardware looks like. They don't want to share anything beyond high level blog posts.
Regret is perhaps too strong of a word. But $5M is $5M even if you have $45M. Sure, it won't change your life since you have the $45M, but the incremental investing / philanthropy / estate / family help etc that it allows you is real in absolute terms.

The other thing I've noticed is that for people on the other side of this transaction, it's not like "smaller numbers" all of a sudden become immaterial. $1M is still $1M. $5M is still $5M.

Again, I'm with you, I don't think it's regret exactly. But post hoc you might choose differently, even if it's the rationale choice at the time.
Alexa's "by the ways" will be its downfall.

What kind of assistant says "by the way" apropos of nothing? An annoying one. It's just a thinly disguised ad that was never asked for.
Setting the journal_mode to OFF or MEMORY is a sure-fire way of corrupting the database. It's not fine.

https://sqlite.org/pragma.html#pragma_journal_mode
That's an incredibly compelling hook for a sci-fi story!
These type inference landmines are all over the place with SwiftUI too. I run into them with View/Shape/Color frequently
For what it's worth, Rust uses libc by default in Linux.

On the other side, there are quite a few self-updating applications out there (browsers), and source control systems like Github will push notifications, and even pull requests for out of date dependencies. So pushing out a new version of a given application is pretty easy. If the application comes through Flathub or self-updates then it doesn't have to wait for the distro maintainers to get the update out.
The website tries to tell you every time someone buys one, like some kind of creepy attempt at peer pressure.
Sells or shuts or goes public.

Those are the only three outcomes for a venture backed startup.
"The update corrects an error in the software that “assigned a low damage score” to the telephone pole."

What did it get classified as? What's a Waymo allowed to hit?
It seems like google is forcing content towards video. Which I fucking hate for a lot of stuff, because it's much quicker to skim an article, say a review of air purifiers, than get it from a video.
you don't need the same voting rights, for example
You could overload * if you really don't want to convert the int manually
It isn't necessarily true but the origin of the meme is a supposed CIA mind control defense. It was current in 80s meat space before internet conspiracy culture flourished.
This was an issue, but less of one than you'd probably think. I estimate that roughly 10% of people we vouched for were cheating. 10% is certainly not zero, and it was occasionally trouble with clients, but 10% also kind of disappears into the general noise of different hiring processes and steps to the point that that estimate could be off by a factor of 2 or 3 in either direction.

There's also the sort of sad statement that even prepping that much puts you far ahead of the average candidate. We TOLD candidates what to expect (and we do at Otherbranch, too) and the overwhelming majority do not even read that, which requires no active searching, no moral compromise, and no pre-knowledge of our process.

Triplebyte did, late in the history of FastTrack, start rotating problems a bit to address that problem.
> Thirteen years ago, the town’s residents prevented corrupt officials and a local cartel from illegally cutting down native forests to make way for the crop.

This is a key take. Organized crime doesn't rule regions outside the control of the state, they're managed by a coalition of local corrupt politicians and businessmen that use them to do their dirty work. The town residents were wise to fight not only the illegal criminals, but their legal supporters.

People are getting tired of deeply corrupted govermments blaming everything bad on the runaway cartels, while they're the real intellectual authors.
I've used a newbie notes file for years. Mostly written but screenshots and video if they make sense. Preferably in something version controlled.

One of the first tasks of any new joiner is to update the notes with any errors or omissions. That should mean the notes are only as outdated as the last person to join. Which if you have a steady cadence of people joining shouldn't be too bad.

Having a buddy to answer any questions is good. Budget that taking 30% of that person's time at least initially.
> GPT is probably absolutely useless for high-level math

Terence Tao disagrees with you.

https://mathstodon.xyz/@tao/110601051375142142
I accidentally did this to a vacation home we stayed in once, like weeks after we checked out. It took me a solid minute to piece together 'where the music was going'. I felt so bad; hopefully the house was vacant.
The strongly diminishing marginal utility of money after $10M for most people makes that first $500k much more impactful than $5M would be after you have $45M.
Which 3d player are you using?
They aren’t going to hire anyone overweight
No, I found it uncomfortable for extended periods of wear - to the point where I would rather just use a normal display on my Mac etc. I look forward to the second-generation with comfort, weight, & FOV improvements (hopefully!).

It also still hasn't found the "killer apps" just yet, but it's clear Apple is still heavily invested into this considering there's nearly 30 sessions on VisionOS at WWDC this week.
But, in this case, it's not a term of art, it's a specific legal definition. It's a "recall" because Waymo filed a recall notice with the NHTSA.
Do you think this is something that the team didn't realize or underestimated?
I like this but I'd rather make it myself than buy it. I wonder if there is a db one can get with the time quotes already compiled, it would be trivial to make one, although the fit and finish wouldn't be this nice.
ChromeOS will soon be developed on large portions of the Android stack
> I've jokingly called Forward's books science papers with a plot.

All the biggest scientific achievements always occur in Canada. His stuff's solidly in the fantasy category.
You need to ask a more specific question.

https://leanprover-community.github.io/theories/linear_algeb...
Wild horses in North America are a very interesting question.

All equids evolved in North America. For tens of millions of years they were here, and only have been gone for ~10,000 years until being reintroduced by the spanish. [1]

[1] See the fantastic book "Twilight of the Mammoths"
The ai boom is also a boom for mediocre journalists
Secondaries have become more popular over the past few (5?) years but you need to know to ask.
In Europe yes, especially with the Level 3, it means that Mercedes is taking the liability.

In the US it's different, because the US' FSD has nothing to do with the capabilities of the FSD in Europe (which is some sort of glorified driver assist), and it can clear navigate in many streets.

Mercedes in the US is very limited.
It might not have hah. Early version Playstation 1 consoles had notoriously bad CD drives that failed all the time. It had something to do with poor quality plastic gearing on the laser carrier or something.
> It depends on what you consider the system.

It certainly shouldn't! If wavefunction collapse happens for a photodiode but not for a mirror, that means that there should be some objective law of nature that says "if you arrange silicon atoms in a flat, polished plane, the wavefunction does not collapse, but if you dope them with phosphorus and nitrogen, and apply an electric field, it does collapse". Whether the wavefunction collapses or not shouldn't depend on what we consider the system to be.

> in a discernible way.

This is passing the buck. What makes a change discernible? You know there's only one place the bucks stops: The photon frees an electron in the photodiode, which creates a small flow of current; that current is wired to an amplifier, which flips a MOSFET gate, triggering the flow of charge into a capacitor, which results in a voltage that exceeds a comparator threshold, which triggers a software interrupt in a microprocessor, which increments a digital counter, which alters the light output in an LED screen, which a human observes and scribbles in their lab book.

At which point did the system change become "discernible", and change from a quantum wavefunction to a classical-but-randomly-behaved outcome? MWI provides an answer: when the observer became entangled with the system it was observing.

Nature doesn't even 'know' there's a photodiode there, or a human observing the screen. It's just a sea of fermions and bosons all doing their thing, with various positions and velocities. If some of them are arranged in a way that we call a "photodiode", that's only our orderly ontology imposed on the messiness of the natural world. The photodiode itself is merely a bubbling sea of quantum particles, just like its surroundings.

> The question I'm asking is do we have experimental evidence of "very large" macroscopic entanglement?

How large is "very large"? Is the Cosmic Microwave Background big enough? [1][2]

According to MWI, the classical-physics behavior we observe in macroscopic objects, and the unpredictable decay of nuclear isotopes, are exactly what we would expect from macroscopic entanglement. So all you have to do to quantum-entangle a cat is to literally put it in a box with a geiger counter and a uranium puck. But in order to prove something is quantum entangled by the standards of Copenhagen, you need to be able to create an interference pattern that an instrument can record, which necessarily requires that the instrument cannot itself be entangled with the system it's measuring. Otherwise it won't measure an interference pattern, it will measure (randomly but decidedly) one result or the other.

> I'm more inclined to deny a universal definite reality than to accept many-worlds.

What you apparently are inclined to deny is the notion that you could ever be put in a quantum superposition yourself, and that this would merely feel like observing one particular nondeterministic outcome out of a deterministic distribution of possible outcomes. Superpositions for thee, but not for me!

[1] https://arxiv.org/pdf/2106.15100v1

[2] https://www.worldscientific.com/doi/abs/10.1142/S02182718110...
because the Jason Kenney & Danielle Smith (aka UCP leadership) decided to let the oil companies off the hook.
That's fortune cookie wisdom.
thanks for being honest, do you use apps for that, or just more immersive in such a big screen?
> - Easy password sharing with my wife. We have separate private vaults and a shared vault, and moving a passwords between these vaults is seamless.

Not sure about this one. I don't even collaborate passwords in Apple keychain with my own family.

> - Sync has been seamless for years. I don’t have to worry about e.g. iCloud corrupting my password database and having to restore from off-site backups.

Sync with iCloud Drive, Dropbox, Google Drive have been fine for a long time. Plus theres also the option to just keep a password database copy handy.

> - Integration with many platforms. Currently, that means autofilling/autosaving/generating passwords in common browsers, on MacOS, and on iOS.

KeePass is usable on more platforms than 1Password sorry. You could probably get one keepass app or another running on some ancient power PC box running netbsd..

> - Generating and filling TOTP tokens (no need for Google Authenticator or similar apps).

KeePassXC does this

> - Storing and syncing SSH certificates, including acting as an SSH agent (so I have to scan my fingerprint to allow a new SSH authentication).

I have not tried this one, but would be surprised if KeePassXC doesn't do this as well

> - Storing non-password items in the encrypted store, e.g. pictures of passports.

KeePassXC definitely does notes, not sure about photos etc. This is definitely the realm of an encrypted Apple Note for me though.

> - TouchID or FaceID for quick unlocking with everyday use.

KeePassXC has this on Mac, KeePassium does it on iOS really well...
Rent control leads to a wide range of adverse effects
I think you're confusing a few things.

First of all, we're talking about pre-IPO startups, so you can't just sell the stock.

Second, talking about "company loses money because it gave equity to employees" is as non-sensical as saying "company loses money because it gave equity to investors".

You're not giving away equity, you're exchanging equity (at present value) for cash (from investors) or labour (from employees). They're both investors (investing either their money, or their time/skills), and by investing, they're taking ownership of any potential future gains or losses (and by letting them invest, the company is giving up that potential).
If you mean dependence on VS Code, there are emacs and neovim packages for Lean; some of the core devs use those exclusively. Also note that de Moura is no longer at Microsoft and Lean is not an MS product.
Shared photos is likely very doable, as it's just photo id, physical location, and scale/orientation. Place a picture above the fireplace and both headsets could render it exactly the same and see it.

Video would work well, audio might be a little harder to sync exactly correctly.

Apps are going to be really really hard.
Wow yes, I had looked into Freicoin several times but the reasoning behind the demurrage fee hadn't stuck with me until now.
It might be nice to update the quote database, or the timezone database, and wifi is handy for setting the time.

I built a wifi alarm clock with OTA updates [1], which is handy when I find yet another bug in processing iCal or assumption I've made about what data will actually be in the iCal files. :/ Although, at this point, I've figured out what kinds of things don't actually work and avoid them instead of fixing the bugs, because there's two of these in the wild and I think the person I sent the second one to gave up on it.

[1] https://github.com/russor/ClockThing
I'm interested about the legal requirements of Waymo filing a recall notice with the NHTSA. That is, all the affected cars were actually owned by Waymo - could they have just updated the cars anyway, by themselves.

To emphasize, I'm genuinely curious. I don't understand how the recall notice process works if your product isn't owned by anyone else but you.
I don’t understand the framing here, where they need to justify why they get paid. They created and secured a thing and sell off chunks of it along the way when it suits them. What’s strange about that? If you buy a cheap stretch of land in the middle of nowhere and develop it and sell pieces of it off, that’s just understandable.

When you come on board as an employee, you’re just not in the same situation.
I wish someone would sell an e-ink screen for lazy tinkerers.

It would be powered by USB C, have a small Linux system installed, and some easy way to display stuff on the screen. In a nice case.
> Note that if you self-host this, that you are bound by those code publication requirements of the AGPL 3.0 license that apply to your specific circumstance.

Dear everyone, please remember, the restrictions are on AGPL is about making changes and not upstreaming the changes. You can absolutely run it as a service, or as a networked part of your application.

For example, if you wanted to remove their branding or some message in an email or a link on a webpage from the source code, you could absolutely do that -- as long as you release the forked code under a similar license in the public sphere.

Businesses still won't touch AGPL (for now) and that's what they're going for to encourage enterprise signups (I find calling it "GPL-licensed" is a little misleading on the front page, but I get why they did it) -- but I think at some point that will probably end. I'm glad it's still going though, more chances for people to make money doing F/OSS (AGPL is free software).
Never underestimate people defending their home. Remember the Serbs going out with targets painted on their t-shirts when NATO (read “USA”) was bombing Belgrade? Of course that was the 90’s.
Michael Reeves Built a Car Out of Lime Scooters
Going to copy my comment from the original post:

This is a bad title. The proper title should be the exact words of the scientists:
"in this population of sperm donor applicants, in these four Danish cities, sperm concentrations have not changed between 2017 and 2022."

Also, the paper finds that motile "healthy" sperm ACTUALLY WENT DOWN. "However, both the concentration and total numbers of motile (swimming) sperm provided for testing had declined by 16% and 22% respectively from 2019 to 2022."

Either way, this paper is just one against the hundreds of papers and studies of sperm count, from different areas, times, populations, and many show reduced numbers while many do not.

Of course I hope that there's nothing to worry about, but I think the default assumption should be take it very seriously (particularly when microplastics can even be found in men's testicles now).

-----

Here's a link to the original paper https://academic.oup.com/humrep/advance-article/doi/10.1093/...