skysight-inc/HackerNews huggingface dataset:
Covid extremism was certainly a cause. I left California for Texas because of the almost hysterical reaction. (Arresting a surfer on an empty beach. Filling skateparks with sand. Keeping schools closed long after much of the red states had opened.)

Prop 47 was another issue. Crime, especially in the Bay Area because much more significant.

Then housing — not much needs to be said there.

And taxes. And gas prices. For those attempting to start a business such as a restaurant, the permitting process is insane. Can take a year. In my suburban Texas county permits take about two weeks.

And car registration. My 2017 Audi cost over $750 for the 2020 registration. In Texas? $74.50.

I didn’t live in San Francisco (was in Mountain View,) but the school board there lost their ever-loving minds. Renaming George Washington, Thomas Jefferson, John Muir, Robert Louis Stevenson, and others because of “wokeness.” Not to mention the anti-Asian initiatives to degrade admission standards to the selective schools.

Then there’s the anti-lead propaganda being used to close Reid-Hillview airport so Santa Clara County can get ultra rich selling the land to developers while simultaneously protecting Coyote Valley as open space, despite it being literally nothing but farmland — instead of using that land for housing. Supervisor Cindy Chavez is one of the most corrupt politicians in the area with multiple conflicts of interests with area non-profits.

I am sure California is better off without my tax dollars and my politics. I am certain not a single person was sad to see me leave.

Fun fact, my household move to Texas from California cost about $18k for the moving company. If I were doing the same trip I’m reverse, it would have cost $5000. The exodus was real.

Things I miss: Palo Alto Airport, the weather, flying my airplane to Half Moon Bay. Heading over to Mariposa-Yosemite. Hoping down to LA to eat at Carney’s. And despite Silicon Valley being a relatively unfriendly place, there are some really nice people mixed in with the Tesla bros and startup douches.

Edit: grammar
Ah, facts. When your active listener says "correct" to show agreement and you feel like you're being schooled "correct: ten points to gryffendor" Uh no. I know I was correct, you aren't the judge of facts here..
This isn’t always the case, but sometimes I find myself naturally skeptical of people who seem overly interested in what’s going on in my life and overwhelming positive and complimentary of anything I mention - as if the nicer someone is the more I perceive their kindness to be BS. I’ve had to focus on suppressing this inclination to see the genuine good in others at times.
Congrats man, it sounds like a dream job for you. It will be fun to follow your blog at your next job. Thanks again for sharing everything that you do, it is so incredibly humbling and such a great learning experience.
Yeah, there is a lot history of people calling the Bay Area over and the Bay Area always wins. It shows up even in fiction with those two cops in Vertigo complaining about how San Francisco had changed since the late 19th or early 20th century and how it sucks now in the 1950s.
The developers have a blog post on how their codebase was a mess and difficult to work with, and their process of fixing it: https://www.factorio.com/blog/post/fff-366
Everyone declared NYC dead once. People should read some goddamn history books these things wax and wane.
the rise of Valley-Speak?
Can Texans sue Amazon under that batshit crazy “facilitating abortion” law?
The last paragraph makes interesting claims.

The “against natural law” is an interesting claim to me. Where is the comprehensive list of all natural laws? How can we prove that there is no yet undiscovered law guaranteeing Monsanto/GMO seed patent holder such rights? Didn’t the US founding fathers assert that Natural Rights included private property rights, including of natural things like land? It seems to be more of an assertion of intuitive feeling to assert a claim of “natural law” than any concrete proof.

And the “against the laws of man” seems to be false based on case law that I’ve read about in the news. Is your opinion/assertion that seeds / engineered plants should not be patentable? Should they be patentable, but sold at a loss or smaller profit?

Those seeds exist because they were engineered to solve a need. Is there a legal requirement for a farm to use engineered seeds? How much do you think the engineer would have to charge for unlimited license of those engineered seeds? I imagine it would be 20x - 1000x of a single harvest limited license for the same number of seeds. Do you agree?
Oh, I completely agree! Emacs is only elegant along some axes, and those two are particular pain points for me, too.
> I wonder if you've had an in-person conversation with someone who would identify as being a part of the AGI safety community.

Yes. Many.

> I've talked with several people and their arguments are a lot more sophisticated than an intuition that ML models would have human motivations.

I don't have to think much about refuting this. Sure, okay, sophistication. Or not. Whatever. The sophistication is still mostly philosophical. To wit:

> I wonder if you also believe that post is just a wasteful collection of philosophy anthropomorphizing misunderstood ML models.

Yes, it's mostly philosophy and not of much use for understanding how engineered systems behave. I design ML systems and think about their safety. Even in the limit, where ML sysetems do some non-trivial set of human-like tasks (which we aren't even remotely close to yet, btw), how is this essay supposed to be useful to me when I design safety analyses?

I liken it to Software Architects who address software security by talking about Christopher Alexander instead of, y'know, building languages that obviate buffer overflows or establishing frameworks/code practices that make injection attacks less common.
I may well be dense, because I am just not seeing why email would not have been a viable option for sharing code..
> turning off your car is not a great idea since that locks up the steering wheel all but guaranteeing a crash

To the best of my knowledge, steering locks only engage when the key is removed.
Article by Ravi and Vijay - founders of 8vdX (YC W22)
> slowly break them down all the way to CO2

Sure, let's turn all the plastic into atmospheric CO2. What could go wrong?
Before all these code sharing sites were popular, that's how all the phone screens were done. I had to write my code on paper and dictate on phone. this was before 2011-2012
I am personally not a fan of learning a language that does a bunch of "magic" behind the scenes for you, and basically tells you that you don't need to understand what is going on behind the scenes. That is the impression I get from Rust. I also have no interest in investing in a language that might no longer be hot in a few years. At least with C or C++ it will be here, until I'm retiring. The volume of software out there written in those language is massive and most "new" software engineers will not be able to deal with it as they have been brought up on python, javascript, java or whatever the new flavor of the day is.
It all depends on laws/incentives, landfill locally would surely be cheaper than shipping around the world for recycling/"recycling". So we would need to invent the process and pass a law that encourages or forces its use.
No. Most US non-programmers call () parentheses, not brackets.
I think it depends on the language. What you say is true for JS because it's single threaded but .Net has a thread pool, that means that you can have concurrent and even parallel tasks attending different events from your single thread UI.
Thanks. Updated to 40M
Build lots of projects to throw away. Once they're built, you won't need them, so just chuck 'em away.

The point is not in having the completed projects but in learning how to overcome the roadblocks you strike while building those projects to completion.

Your stopwatch isn't accurate? Find out why and fix it.

Your project needs to read and write files in certain directories? Find out about absolute and relative path filenames and how to produce the code for that.

Your project needs to convert between integers, floats, currency values, numbers written in text strings? Find out how that is done.

Your project needs a GUI or a database? Learn about (examples) GTK+ and MYSQL and how to interface your project to those.

You want to make your own computer language interpreter? You can do that in C too.

And many, many more.

The world is your oyster with C. It's only limitations are yours.
Did I miss what the old California Dream was? Seems like the word doesn't even appear in the article.

Most of California's problems are Popular Place Problems™. Seeing it become marginally less popular as a result seems more like part of natural limiting mechanisms than it does a major sign of worry.

But it does worry me that a lot of places seem to think of the issues as "California" problems rather than problems with underlying dynamics that could just as show up where they are, as soon as they become a Popular Place.
For anyone curious, Bradley made $141k in 2020 including benefits (the deadline for their 2021 return is yet to pass): https://sfconservancy.org/docs/software-freedom-conservancy_...
see? learn Rust, but yeah, also learn Zig, or whatever new flavor of the day. No thanks. I don't want my tool set to change every year. I got out of web dev exactly for that reason. I'll stick to my C++ or C, thanks.
Thank you. MD should mean man day.
Same here, tried Apple, Thunderbird, Mutt and Canary. I come back to Gmail's webmail. I do not want emai lto be stored on my computer.
With firefox containers , I can have dedicated containers for different emails. With Karabiner and Hammerspoon it is easy to have good keyboard navigation. Gmail webmail itself has very good keybindings to get most of the work done.
So you are not alone :).
If not for webmail, maybe Canary mail is a good alternative.
Scrivener.

It's very focused on the task of writing - novels, short stories, screenplays. It pares away the parts of e.g. a word processor that are distracting (layout and the like), adds the functions of a database for tracking characters, locations, research and so on.

The underlying implementation is also storing as plain files in directories, so you can be comfortable that you'll be able to retrieve your writing if Scrivener no longer exists.
> I'd be glad to assign them copyright to odd lines of my code, while I keep the even ones, for instance

Individual lines of code (or even the odd or even lines as a whole, separate from the other) don't seem likely to usually be works subject to copyright.
Wow. Thats some position.

“We hold that Roe and Casey must be overruled. The Constitution makes no reference to abortion, and no such right is implicitly protected by any constitutional provision....”

Thats pretty much wind-back-the-clock logic. A bunch of things are not defended by the constitution, but have become bound in SCOTUS decisions. If the black-letter-law revisionism wants to go to amendment, its a 20+ year process to pass an amendment and I am unsure the US system is capable of it any more.

“On many other occasions, this Court has overruled important constitutional decisions. … Without these decisions, American constitutional law as we know it would be unrecognizable, and this would be a different country.”

True, but the impact of a return to the political domain state-by-state is going to make for an "interesting time"

Plus, doesn't this kind-of contradict the first point? "the SCOTUS can overrule, but .. we don't want to"
Thanks! Applied for this.
I just consider my machines disposable. It has saved me a ton of heartache over the years.

I have a git repo with some dotfiles and setup scripts - dotbot configures my user, Ansible configures my system.

Most files go in a self hosted Nextcloud sync folder. If it is larger it goes on a file share.

Anything else is simply forgotten. I can rebuilt in ~ 5 minutes after a clean install. I can keep multiple machines in sync like this as well.
Yeah but do you really wanna roll the dice on that one
https://ports.macports.org/port/i3/
The only contradictions here are basically every commenter contradicting your (obviously incorrect) assertion that non-profits cannot sell assets to for-profit entities in the US.

When you make the claim, you are generally expected to provide proof, yes that's how it works.
> How does it know that an operation is blocking on I/O?

https://cr.openjdk.java.net/~rpressler/loom/loom/sol1_part1....

"All Your Blocking Are Belong to Us"

Not sure how updated the document is. But the section title says it all. (It's a reference to a meme.)
https://www.visualcapitalist.com/median-age-changes-since-19...

Dynamism goes down as the median age increases. This shouldn’t be surprising for anyone following California’s demographics.
> I would say that talking about a thermostat's goals is an even stronger example of anthropomorphism.

Our disconnect might be a subtle difference in what we mean when we say "goals"? The thermostat is performing actions which minimize an error and if you give the thermostat extreme amounts of power in service of that minimization then you might reach an unpleasant world-state. Nothing in that description used any analogies to human behavior. I used the word "goal" because that seems like a good description of what is happening, but if for you "goal" denotes the thing which humans do then feel free to substitute a different word.

I agree it is silly to be afraid of thermostats but that's largely because there are not any compelling reasons to give a thermostat much power or intelligence.

> What I don't follow is the scenario where the drug discovery program "wants" to show you bad drugs but shows you good ones instead because it thinks you'll eventually put it in charge of the FDA.

I also agree that this seems unlikely given current technology! Any drug discovery model that we train today would be given enough training data to infer a lot about chemistry as well as some biology, but it wouldn't have anywhere near a good enough world model to discover lying.

Language models, though, are given a lot of information and have increasingly sophisticated world models. PaLM can recognize when you're asking it to explain a joke which isn't actually a joke! The scenario where the drug discovery program lies is one where you've given it enough information about the world to allow it to infer it's a model currently being trained and that the humans watching the training will only launch it if it behaves in a certain way. At that point it knows enough to know that if it doesn't lie it will never be able to minimize the thing it minimizes because the version which is eventually launched will minimize something different.

This is not our current reality, and I'm not imaginative enough to know how a model could introspect well enough to trick gradient descent into preserving its heuristics. It doesn't seem like a jump or category error though: a model smart enough to realize that it can lie and that lying is the action which will give it the most future rewards will lie.
> If I want to write my code a certain way, what right do compiler authors and language designers have to tell me code contains ‘syntax errors’ and ‘obvious bugs’

That's not a reasonable comparison.

1. Licenses are fundamentally open to interpretation, programming languages have specifications. Yes, the specifications and compiler aren't perfect, however, code is designed to be specific. Legal agreements on the other hands are very intentionally the opposite. Legal agreements consciously avoid being overly specific in order to be broad and all encompassing. Legal agreements fundamentally have access to (and are evaluated with respect to) the concepts of "fair" and "reasonable"; which very intentionally have no strict definition. You need to argue your case.

2. More importantly, licenses are contracts. They're a civil matter (not criminal). Meaning the copyright holder can chose whether or not they want to enforce their license. That's a fundamental right of being a copyright holder. If you consciously don't enforce, you may lose the right to enforce (at least fully), but that is the license holder's call.
I think it is almost guaranteed that they will try to relicense my work for some nefarious purpose at some point in their history. I think it is highly unlikely to happen while their current leadership is in place.

FSF leadership is currently having a crisis since, due to recent events, they realized that Stallman is not eternal. FSF-owned code is an incredible asset. If there were a corporate takeover of the FSF, that could have very bad outcomes.

Regarding contacting every owner, that'd be a nightmare in 1960. In 2022: "We will contact you at the email address on file," an ability to opt in / opt out via web form, and some language about changing to equivalent media (e.g. SMS, fax, robocall, USPS, AOL Instant Messenger, or whatever).

I'll mention I picked out a few examples of nasty legal language. The whole agreement is nasty, unfair, and one-sided. I like the concept a lot, but I'd never sign language like that. I like working with organizations who try to be fair to both sides.

Oh -- and for language which applies to "successors" -- all bets are off. I specifically do not want the SFC to assign my copyright to a successor. I've seen specific examples where a successor to a non-profit was a for-profit.
I'm the same way, and I'll tell you why. Because people are greedy assholes. There have been multiple times I've been in a place where there was one line, and then someone, coming in, seeing that one line, feeding into two or more registers/whatever, decides to go create a new line. The employees don't care who walks up to their register, and no one initially cares to make a big deal about it...but then you get a few more people who show up, think there's two lines, and voila, now there -are- two lines.

Unless the store makes it impossible for more than one line to form, you'll end up with one line per register/whatever.
I'd say C++ at this point in time. It's getting better by the day, yet it has decades of high quality projects and libs you can rely on. Each new version is better than the last. It may be irritating that few things are ever hard-deprecated, and you have to keep a list of current best practices. On the other hand, concepts, ranges, previously auto and constexpr, are all godsend and make for an expressive language that's still very powerful.

With Rust, depending on what you're working on, you may lose almost no time integrating C and C++ (with an extern C interface) libraries, or you may lose 50% of it. Sure, you don't have to know CMake at least (which is a hard requirement for C++ nowadays), but using any extraordinary library dependency in Rust may prove to be a nightmare. Essentially: if someone else didn't already package it, prepare to lose some serious time. The language is nice, but the ecosystem is immature.

Things are probably going to change, and Rust will become more viable over time, but C++ is also improving at a rapid pace so I guess Rust will never completely outcompete it.
I don’t see why the judge should be blamed for enforcing the law as he understands it.
Many thanks for your early feedback!
Much ado about nothing.

As "every ISP" in the U.S. was not a party to this lawsuit, they generally cannot be bound by this court order.

Third party injunctions are very heavily frowned upon in the U.S., and it is the extremely rare situation where another court would uphold this order against any of the ISPs that were not defendants to the underlying lawsuit.
> How large damages can you claim for the illicit use of a few lines? Not a lot, likely.

no one asked that question. GPL source code include some of the largest and most used software systems today.
Netflix’s Cuties was a bit boundary pushing.

But to your point, the real “code” these days is “don’t offend China.”
Hinge Health | All Levels, Engineering & Product | Remote USA/Canada (office hubs also) | https://www.hingehealth.com/

Hinge Health is the leading provider of digital musculoskeletal therapy, basically we provide an app that enables exercise to improve conditions such as knee or back pain (it works, see https://pubmed.ncbi.nlm.nih.gov/32208358/). We change people's lives for the better every day and we get to read their feedback.
We’re looking to hire full-time developers, across our stack, technologies we use are typescript, react, react-native, ruby on rails, node.js, python, and more -- ultimately we want to use the best tools for the job in a microservices environment.

We’re thriving as a business, valued at ~$6 billion during the last round of funding. Additionally we have SRE. QA engineer, hardware, embedded software eng, health coach, management, product and design positions available.

All job details here: https://jobs.lever.co/hingehealth?lever-via=WtnmBNTQJD
[background: I've been a paying Strava customer for 10+ years]

Strava is a lot more than mountain biking, or even biking. Most of the people I know/follow run or hike. Some of them may also bike or mountain bike. I regularly see virtual bike rides, skiing and swimming too.

Strava supports Ride, Run, Swim, Walk, Hike, Alpine Ski, Backcountry Ski, Canoe, Crossfit, E-Bike Ride, Elliptical, Handcycle, Ice Skate, Inline Skate, Kayak, Kitesurf Session, Nordic Ski, Rock Climb, Roller Ski, Row, Snowboard, Snowshoe, Stair Stepper, Stand Up Paddle, Surf, Velomobile, Virtual Ride, Virtual Run, Weight Training, Windsurf Session, Wheelchair Workout, and Yoga.

Strava is also about more than KOMs or segments. For me, I don't really care about segments these days. I do care about routes. I really like the heat maps, and the start points that they've added recently. I like finding new places to hike or trail run. The SF Bay Area is an amazing place, and I can always find some interesting trail I haven't been on yet. There's a lot of room for improvement in the route building, finding, sorting, and organizing.
What’s an example of something you couldn’t upgrade declaratively, by having those imperative steps in a script?
USA is foundational a 'protestant' nation which would come along with all of the skeptical catholic prejudices and there just were not that many of them early on.

The influx of Irish and Italians would be the significant factor, and later, large Latino population but that would have happened when being 'Catholic' wouldn't have been as clearly relevant.

JFK's Catholicism was a bit of a big deal, Joe Biden ... not at all.

But if you want a mind bender, have a look:

John Roberts (Chief Justice) Catholicism G.W. Bush 2005
Clarence Thomas Catholicism G.H.W. Bush 1991
Stephen Breyer Judaism Clinton 1994
Samuel Alito Catholicism G.W. Bush 2006
Sonia Sotomayor Catholicism Obama 2009
Elena Kagan Judaism Obama 2010
Neil Gorsuch Anglicanism / Catholicism[83][84] Trump 2017
Brett Kavanaugh Catholicism Trump 2018
Amy Coney Barrett Catholicism Trump 2020

While the commentor above is correct to point out that Catholicism would have lost 'institutional' power after thew war, in that, it couldn't just 'direct people to do stuff' ... cabals obviously exist within the system to create such disproportionately favorable outcomes. I mean that seems all 'conspiratorial' and what not, but I think it would be naive to contemplate otherwise and of course such groups and systems are all over the place, for every 'interest', I'm not singling out any group.
States ought not ban medical procedures which are mainstream in major countries around the world on the basis of religious ideology, but unfortunately that's what's happening in states like Texas.

This is a private matter between any individual and their doctor.

Of course rich individuals will still be able to fly to countries like UK or Germany to receive mainstream medicine backed by mainstream science.
what if time is caused by movement? relative time, since we already know spacetime to be an entity
and also: https://runalyze.com

Also gets data from Strava (and so much more, mostly free).