skysight-inc/HackerNews huggingface dataset:
I live in SF and spend a fair amount of time thinking about its poor 5-year economic outlook. It's not great, but I am curious how it compares to other metros?

If I were to move from SF, wanted to live in a metro area, and was uncomfortable living in a very red state - where should I consider? Where is thriving? I have a good amount of friends in Portland, but Portland is adjacent SF in terms of poor economic recovery and it's not especially tech-focused. So, I think there's at least a bit more at play here.

There's a seismic shift occurring with WFH, Starlink, etc. Yes, San Francisco is near the bottom of many post-Covid economic recovery lists, but are there other metros that are on sound financial footing if 30%+ of their populace chooses a more suburban/rural lifestyle?
That's right, an enlightened younger generation person such as yourself understands that the subscription model is vastly superior. Glory to Adobe!
Yes, running bins in the browser. This is ActiveX all over again, but with java.
Don't know if there has ever been a Federal case involving parking minimums, but in general the Supreme Court has been extremely deferential to local government regarding zoning issues. In my view, the Court was incorrect on some of these rulings, and it would be interesting if Congress tried to rectify the situation.
What is it with articles like these still using language like "discovered"

> Guided by tips from fishermen, scientists from Colegio de le Frontera Sur explored a tropical estuary off the southeastern coast

> the scientists names their new discovery the Taam ja' Blue Hole, using the Mayan language phrase

Clearly the locals have known about this already. If your argument is that the difference is when it's published in some scientific paper then that's also contradictory to:

> the new blue hole was discovered in 2021, the researchers only recently detailed their findings in a study published in Frontiers in Marine Science

"Discovered in 2021" pretty obviously means Western people here. If it was about "scientific description" then we would've said 2023.

It reminds me of that one white person that traveled to Mexico and "discovered" a variety of corn that produces a mucus-like goo that traps nitrogen from the air itself instead of using bacteria. This variety had an indigenous name and the people who've been growing it for thousands of years could trace back their entire lineage of people who've developed the variety specifically to grow in those low-nitrogen conditions
How is this possible lol? Do offices not want to locate in SF. I for one make the 1 hour commute daily from SF to my office in the Bay, I honestly think a large number of employees would prefer offices in SF
But why is it at the Lagrange point in the first place? Wouldn’t ultra-high orbit be equally enough?
That's the intent of password managers, but there are all sorts of attacks/bugs/footguns that could still let the wrong thing happen. You could imagine scenarios where you don't have time to investigate why your @#$(#! password manager isn't autofilling today, and you do it manually. The confused deputy problem is real. Contrast FIDO's design, in which it's actually not catastrophic to give the secret to the phishing site, because they can't do anything useful with it. There simply isn't a "hunter2" for them to obtain, even if the confused deputy wanted to give them one.

(If you believe you personally are impervious to social engineering, imagine how many other people would respond in this situation: https://www.mercurynews.com/2023/04/27/larry-magid-how-i-nea....)
The global distribution of many types of cancer is strongly related to latitude. The farther you are from the equator, the higher the rate of disease. The more sun you get, the less cancer. It's hard not to infer that sun exposure and thus synthesis of vitamin D helps prevent many cancers.

We've been urged to avoid sun exposure because it can cause skin cancer. But those cancers are squamous and basal cell carcinomas. Those carcinomas are easily cured, and don't usually kill you. Melanoma, the truly deadly skin cancer, is more prevalent in populations with less sun exposure.

There are lots of interesting graphs on Jeff Bowles' site [^1]. He's an absolute fan of vitamin D.

^1:https://jefftbowles.com/vitamin-d3-deficiency-causes-most-hu...
They're not saying you can't build one. They're just not _forcing_ you to build one.
Based on the state of academic conferences in formal methods, I would have 4 languages: temporal logic, first order logic, concurrent separation logic and dependent type theory. This categorization provides generalizing powers because tools, techniques and limitations mostly map onto it.

* temporal logic: almost exclusively used by model checkers. Usually propositional, has limited/no support for quantifiers. Also usually only able to express path properties. This for example makes it hard to state “is_sorted”.

* first-order logic: used by deductive (semi-automatic) verifiers. Can reason about complex properties of state (ie : `is_sorted`), harder but not impossible, to reason about temporal properties. Ill-suited to describe properties involving shared state or concurrency. Used by SMT solvers in particular (good automation). Also used by most deductive verifiers and liquid type systems. Examples: Dafny, Why3, SPARK (spec part), liquid Haskell.

* concurrent separation logic: can be either propositional, first-order or higher order. Does much of the same kinds of properties as FOL, but it can reason about shared state and concurrency, in fact it’s quite good for that. This expressivity usually means it’s harder to reason about / prove specifications. Examples: Iris, Viper, Verifast.

* dependent type theory: when you start pondering what it even means to specify something, the gods of CS bestow upon you a vision of the haskell-curry isomorphism and your programs become specifications and your specifications become programs. This is the “ultimate” level of specification, and the foundation for proof assistants. Examples: Coq, Lean

Each of these categories is well represented at conferences and pretty much every paper falls into one of these four buckets. These also map roughly onto verification methodologies and problem domains.
Sorry I missed this - I was referring to the study in the OP, not the study you linked. I agree that the study you linked indicates a higher incidence of autoimmune conditions among those who had covid.
I had a Pentium 1 laptop with 8MB of RAM in early 2000s (bought it for very cheap, my first laptop) running Slackware with Window Maker and Emacs :-)
You can't say there wasn't racism in California, I'm sure there was / is, but it wasn't like the Deep South where Jim Crow make sure black folks couldn't get ahead.
Most cities don't seem to be having the same problem (it's almost uniquely SF that has this problem). NYC for example is booming.
For me there is a very welcome change, that apparently changed in a very recent version, but only noticed it now. Until very recently, when the browser got updated while it was in use, it interrupted the user quite impolitely when a new tab was opened, demanding restart.

This seems to be gone - I only got a non-distracting request in the "Help/About" windows to restart, but I can still use the browser. Nice!
The upside to this technology is allowing a few people to communicate who have neurological damage. The downside is every government on earth being able to read your mind. Sounds like a good trade!
We develop on JUCE and I really would suggest anyone just getting into this should too or maybe iPlug2. Handling all the quirks of different formats and DAWs is an enormous time sink. Do you want to do that or do you want to spend time developing your idea for an effect or instrument?

You don’t need to use the GUI stuff from JUCE so if you have a preferred framework use that instead. We use none of their DSP. We concentrate on developing our own DSP algorithms and making them best in class.
Language models can explain neurons in language models
I never once mentioned convergent evolution. Convergent evolution is irrelevant in modern phylogeny-based taxonomy. I'm talking about the actual genes themselves
I don't follow how this parameter works then in Record:

const taskCounts = { work: 10, home: 5, personal: 3 };

const what : Record<string, number> = taskCounts; // OK, covariance?
const the : Record<"work" | "home", number> = taskCounts; // Also OK, contravariance?
const hell : Record<"work" | "home" | "personal" | "hello", number> = taskCounts; // This is an error

https://www.typescriptlang.org/play?#code/MYewdgzgLgBFCGEDWB...
Semi off-topic, I just asked ChatGPT "What are Asimov's three laws of robotics?" and it just...froze after the first few words. And refused to continue. Never seen that kind of behavior from it before.
Somewhere between 1291 and 3506 adult African elephants from the measurements I found.

;D
>My understanding of GM is that they outsource almost everything.

Every single automaker outsources nearly everything under the bodywork related to engineering and development to their suppliers. VW, Renault, BMW, Mercedes, etc. all of them do it.
IDK, Apple's brand loyalty is absolutely incredible. I know multiple people who will buy everything Apple makes, and if Apple doesn't make it they won't really consider it. Apple's strategy of letting other people validate markets and then coming in with a good product (like they did with the Apple watch for example) would likely not work for most companies, but it works great for Apple. They'd have to lose an insane amount of ground before they'd be at risk of being left behind. They also have enough cash that they could chase tail lights and do their not-original-but-better thing for decades.

Fwiw I do hope you're right though. I think competition is badly needed.
Take it easy. It was all just a troll !
> It's boring. And kids don't like boring.

While true, I don't think this _has_ to be the case. Learning can be fun, so can school. But it's probably harder to make _more_ fun than TikTok...
Did you buy it online? It appears he came around (:
If only there were some way for the original person to have written a coherent comment so we wouldn't have to play guessing games?
I park on the street in one of the spots in front of Antigua Coffee and Planned Parenthood. Google doesn't know if I am getting a coffee or an abortion, or maybe both. What specifically should Google software do?

This isn't a contrived example. This is one of the examples the author complained about. "One time, it labeled my visit to a Planned Parenthood clinic as the coffee shop next door, and kept the record." Google isn't a mind reader yet.
> Around me

As I said in another reply if you were forthcoming with the fact that you are basing your opinion in a vacuum (your environment) we most likely would have not went in circles. Instead you claimed “the masses” when in fact your area is a tiny percentage of iPad users worldwide.
Cool, reminds me a bit about streamhut.io
I think your first hurdle is explaining the idea without it sounding like an app for incest. "It's a dating app but for families" doesn't sound great.

Jokes aside, I think this could be generalized to just finding friends and those apps have never quite taken off the same way dating apps have. My instinct is that sex sells a lot better than friendship.
Show HN: Spiti – Private video library for high-performing teams
Hi HN

I’m Therese, one of the founders of Spiti. My co-founder, Sai, and I are thrilled to launch Spiti to the HN community!

We’ve been working on a better way for teams to organize, access, share, and collaborate on internal videos. Recently, we built the ability to record, too. It is built specifically to enhance remote and hybrid teams’ access to internal knowledge and context lost in historical conversations.

-------

*tl;dr backstory:*

We’ve worked in start-ups and larger companies. In our previous stints, searching for stuff took up a lot of time. Tooling solved for better access and collaboration in most cases, except videos. Recorded meetings, webinars, product demos, explainer videos, customer conversations, etc. were always scattered around in various folders on the cloud, links in emails, and Slack. But those videos are important, and easy access would save the team and us at least a few hours every week.
----------

We designed and built Spiti Team Video Library to address these challenges head-on and provide teams with their own private video library or, as we describe it — an internal YouTube for your team. One of the things we crafted carefully is its intuitive interface, designed to ensure a delightful viewing experience for otherwise boring team videos. Spiti also integrates seamlessly with popular storage and collaboration tools — Zoom, Google Drive, and Slack— making it easy for teams to centralize their meeting recordings, onboarding, and customer conversations — no more hunting for a video lost in the cloud or links lost on Slack channels.

*A few key capabilities:*
- Native Screen Recorder (for MacOS)
- Native integration with Zoom, Google Drive & Slack
- Securely connect and collaborate with individuals or teams outside your organization through Spiti Connect
- Organize videos into Playlists
- Comments and keep the conversation going
- Embed entire playlists in Notion, Coda, and webpages
- Search in a video through auto transcriptions for every video

*Interesting ways our customers use Spiti*
- Adding clarity to bug reports
- Product demo videos for your customers
- Reviewing GitHub PRs faster
- Employee onboarding made async and repeatable

We'd love to talk to you and learn how Spiti can improve your remote team's productivity and provide feedback on what we have built so far. We understand that collaboration needs vary from team to team, and we're dedicated to tailoring our platform to meet those specific needs. We look forward to your comments!
I blocked Elon, so I never saw the poll. Not that I would have wanted to see it.
And yet more mystery.
Interesting consideration:

Starship is monolithic right now, ie it’s unclear how it can unload payload of its own size. There are no bay doors a-la shuttle.

I guess they will have to do tilt-away nose section or something.
Thanks! The illustrators did an incredible job and the physical book itself is in lay flat format.

https://impacts.to/

Here's the book's bibliography, in case you're wondering about the science:

https://impacts.to/bibliography.pdf
You don't need to go to the extreme in either direction. Everything is fine in moderation. Kids are terrible at moderating (adults aren't great either), so use the screen time limits that Apple gives you.
> “I strongly believe the office experience should be at the same level as luxury residential and hospitality,” Shvo previously told The Chronicle. “In the last two years, we’ve made our homes into our offices, now it’s time to make our offices feel like our homes.”

Private bathrooms for every employee? No commute? The office can never "feel like my home", my home doesn't have my co-workers in it. It's an environment 100% of my design.
> Reparations makes absolutely zero sense. You cannot "improve relations" or "make whole" simply by taking money from one nameless, faceless group and give it to another nameless, faceless group.

It's a coinvent way of burying the issue: Reperations Paid, racism is now over.

No need to make other systemic changes to things like minimum wage or healthcare.
Minor: Bouffalo Lab BL808
I'm fascinated by the discussions around creativity and remote work both on this forum and elsewhere.

What is the fraction of open source code [by which I mean community-maintained and built rather than through a company] that ends up being collaborated on remotely? Aren't projects like Linux and others largely managed through remote means (although there are conferences and such from time to time)? Do we really have a strong case that these projects suffer due to the lack of a single office for people to gather everyday? I'm sure my questions can be split into sub-cases and exceptions.
they dont want to be in the bay either, the vacancies are because they go to other actually happening cities

not “happening compared to the rest of the bay”, the bar is really that low and the market is saying what bay area permabulls cant perceive
Almost everyone misunderstands "the road less travelled" poem. The point is not to take the less travelled road, but it is that it does not matter. Irrespective of the road taken, the poet says he would be just connecting the dots in hindsight.

Here is a nice image that expounds on the same idea - https://www.zenpencils.com/comic/60-robert-frost-the-road-no...
our family grew up with cantonese as the second language. my mom is from hong kong and my dad from the southern part of china.

unfortunately, i failed to cherish this opportunity and spoke english predominantly as a child, leaving me with heavily-accented and vocabulary-limited cantonese.

i have spent an inordinate amount of time repairing these deficiencies and learning mandarin as well.

a little more self-awareness and foresight as a teenager could have saved me years of learning as an adult.

on the upside, self-learning has yielded insights into chinese language and culture, learning, and accents. unsure if these other perspectives are worth the extra time and effort, though. :)
They pay enough money they can probably pick off people that have petered our in their tier 1 company and would have been on the way out anyway
> For reclusive or socially anxious individuals it may even be the majority of interaction.

Chicken? or egg?
Right, exactly what do you think a white nationalist is?
> You’re right, JavaScript wouldn’t be necessary for my website. I agree that getting rid of it would increase accessibility.
Just because you get plenty of sunlight where you live it doesn’t mean you get enough exposure to produce vitamin D.

You need to expose large areas of your body like legs, arms, and torso for several minutes to an hour. If those areas are covered, sunlight won’t do much.

The Sigma Nutrition podcast has an excellent episode on that: https://sigmanutrition.com/episode438/
What's "yikes" about that? I'm a parent and I'd love it for a principal to take a hardline stance like that on distractions. Kids (and adults for that matter) can't be trusted to use phones responsibly.
https://archive.is/FDk7x
Well, if you assume California is socialist it all makes sense. There's just one tiny little problem: it isn't, and not only is this office space privately owned but the problems causing these vacancies are probably principal agent problems directly attributable to the structure of the free market controlling them (landlords either want to bet on a recovery or agreed to credit terms that would cascade a single write-down).
That's not the main reason. Webb is viewing wavelengths where it has better viewing by being that distance away from the Earth. Putting Webb in similar Hubble orbit would diminish its abilities. If you want to build bigger visible wavelength platforms, then this might be a discussion to have with Starship capabilities.
It's a good thing we can address problems on multiple levels then, the personal responsibility level and when that fails with a social safety net.
The problem is that legally, zoning already is an "opt-in" protection of property rights.

There is no taking, because the restriction is already voluntary, and in consideration of mutual benefit of like-zoned neighboring property being similarly restricted.

It's obviously evolved into something else, especially as seen by the public, but that philosophy remains the legal foundation for it.

Even if zoning changes require approval, only the property owner can determine the original zone, and only he can request changes.

Buying zoned property, knowing the extant restrictions, is essentially opting-in "voluntarily". It's the same reasoning for why "grandfather" exemptions exist (no original consent).

What this federal argument is actually for, possibly without realizing it, is a method/mechanism for contractural/ municipal/ jurisdictional succession and/or nullification.

Those are the terms that need to be thought of in context of this discussion.
I get your point about PDP-11's, but I'm not sure how it applies, practically. My family communicate with each other via XMPP, but I doubt they would be happy to use a PDP-11 for their daily computing :)

My comment was not intended as an empty dismissal of all XMPP criticism. I'm happy to discuss and debate concrete criticisms of XMPP (contact info in my profile). But the parent post did not provide any such, only what sounds like a negative subjective experience whenever they last encountered XMPP. I don't think one person's opinion ought to decide if something should "die and stay dead", when there are so many projects and products built around it, and people using it daily to solve actual problems.

XMPP has evolved massively over the past 20 years. Is it perfect? No (show me something that is!). Do we continue to improve it? Constantly.
I had it turned off for many years and caved about a year ago.

Because:
-it asks me every time I open it. Every day.
-it won’t save places or favorites
-it won’t save local maps
-it won’t save my home address or common routes

Basically, they don’t do any local storage and force you to share data with google to get “basic” functionality that Apple Maps and other maps apps provide because storing local settings is dead simple (although local settings are encrypted and synced to cloud and can’t be read or used for analysis).
Industry can also steer demand via advertising.
The coldhead of one of these sensors (MIRI) functions optimally at temperatures less than 7˚K (i.e. 7˚ above absolute 0). The other sensors run at temperatures under 40˚K.

For reference, the melting point of nitrogen is, 63˚K.

Any sunlight at all would overwhelm this sensor and severely reduce the operational lifetime (and results!) of the telescope.

At L2, the telescope has the sun and the Earth behind a layered sunshield. It's easier to maintain position there and to have both objects always in the sol-ward direction while looking outwards.
This is a wonderful talk about learning. I have pretty much the same process: when being confused gets to be intolerable, I go and learn something. I would just add that once you learn it you should write it down. Personally I keep man pages in ~/man/manpj, but everyone has their own system. Ideally it should be as unpolished and secret as possible, so that writing it down takes just an instant and there is no pressure to polish it. But it should still be as accurate as you can make it (or if you have further confusion try to write down yet-unanswered questions). Anyway if you spent 2 hours to figure something out, what's so bad about spending 10 minutes to write it down? You'll remember it much better, and if you do forget then you can refresh your memory.

On DNS: I remember when Julia's DNS playground showed up on HN, and one thing I didn't see explained then was my own personal 10-year (no, 20-year!) DNS confusion: iterative vs recursive lookups. In an iterative lookup, you have to keep asking one DNS server after another for answers until you get what you need. In a recursive lookup, your DNS server does that. What doesn't happen is you ask server A, then A asks server B, then B asks server C, etc. That is the model that "recursive" suggests to me, but it's wrong. It's more like your server does the iterative request that you would have done yourself. At least, that's my understanding today. I hope I got it right! :-)
I don't understand - there was a hole for X months, it was found (once) and responsibly disclosed. Everyone was vulnerable for those X months. We don't know if anyone else found that hole in those X months? Your vulnerable WordPress install wasn't "secure" for those X months, it just wasn't wide open to script kiddies?

So making WordPress "secure" isn't "just install updates as they come out". That's just "don't be criminally negligent".