skysight-inc/HackerNews huggingface dataset:
The laws being passed aren't enough. They have a bunch of caveats (SB-9, for example, has a long list of disqualifiers) that limit the utility of any particular bill and making actually using it difficult. The builder's remedy has been on the books for what, about thirty years? Only now is it starting to see some use.

California needs to dramatically cut back on its land use restrictions and figure out how to streamline everything. Even a typical (nominally uncontroversial) single-family home can take years and hundreds of thousands of dollars to entitle before anybody even breaks ground. It's madness.

Unfortunately, it's simply not in the culture of the people of the state to want to pursue cost-efficiency or reductions in bureaucracy.
You can find older Kindle versions for Mac as well without too much effort.
The infrastructure needed for hydrogen production and storage is far, far, from zero.
“But look, you found the notice, didn’t you?”

“Yes,” said Arthur, “yes I did. It was on display in the bottom of a locked filing cabinet stuck in a disused lavatory with a sign on the door saying ‘Beware of the Leopard.’”
DDG are really good at generating headlines for the smallest stuff they release.
> Websockets + JSON

This is the way. Phoenix Channel is my best friend.

> Browser performance

Yeah, they are definitely improving. Firefox got a huge bump memory improvement recently. Chrome renderer is slower than Firefox though in heavy nodes scenario. Safari .. hmm sure lightweight but also light features.

> old style callbacks which are more verbose and less clever

Those who are familiar with functional style like this way better. It flows through which is nicer than holding the promise with name for avoiding chaining sake.
Year of the Linux again huh. Windows isn’t popular because it’s good, it’s popular because everyone knows it and Microsoft has good enough relations with every large organization in the world. MacOS is too expensive to seriously replace windows. Smart assistants will take off as chatGPT becomes commoditized, but it will look very different since you’ll have to pay for it.
Since when has complaining to customer support as a retail consumer ever changed anything? Retail can cause change by using third party media channels and, by some miracle, generating enough attention that it makes business sense to respond.

Enterprise customers are a different story.
This is a product mindset that’s being applied to something that is not a product in a traditional sense. That’s kind of my point here. Mastodon represents a presentation of open protocols, and all of the work was put into making sure those protocols and the broader network provided a good experience.

Additionally, social networks are not things you use just once or twice. I would argue that social media is defined by how it functions as a mature tool much more than the initial experiences. We have not had much in the way of social networks that seem to be designed for long-time users.

We focus too much on new users in a space where people use these tools for years, decades even.
The UK outside of London is already a relatively decrepit place. Tourists visiting London get an incredibly distorted view of the country.
As someone who has grown to loathe Cicero (quite unexpectedly) as I’ve studied more Roman history, this explanation rings true to me. Of course the best life is the life he chose, even when it’s transparently untrue. On the one hand I feel a great kinship with the utterly neurotic Cicero of his letters, especially the years in exile (much of which spent eating to excess as he derides here). On the other hand he’s one of the most contemptible and pompous hypocrites in history, and I almost wish only his books survived.
Some things that have helped me:

- grammarly (mostly excellent, I ignore some suggestions)

- reading books more with stylistic elements that push the boundaries of what you're used to. I write technical blogs, but I've found some inspiration reading very different writing. Some examples are Thomas Pynchon, James Joyce, Greg Egan

- setting up constraints. Can you explain this in less sentences without making a long run-on sentence? How concise can you make this whole post? On the flipside, can you avoid all the most common adjectives when describing something? If you take a tokenized word count on your work, what words do you rely on? Can you delete them?
Onboarding is very important but I think the metaphor to reach for is maybe (bad) corporate onboarding:

People will point you in the right direction (if you ask) but everyone is busy with something else and if you don't get email or your slack account on the first day, you'll have it by the time that it matters. You're expected to figure it out because you have your own motivations rather than needing to make it easy.

I'm very interested how journalists and others bounce off the platform. I get the sense that people are looking for some "hook" or that people used to 1000s of followers enter unenthused to the task of building things up with slightly different rules and none of the recruitment/support for "influencers".

But it all seems pretty straightforward to me -- boringly so almost
Probably Google with Android. They were working on it at roughly the same time as Apple but released it later. This interview with Chet Haase on the CoRecursive podcast is an interesting account of those years:

https://corecursive.com/android-with-chet-haase/

So today Android might have a larger market share. Maybe the Windows Phone would still be a thing.
"If someone would release a framework laptop motherboard that supports ECC ram..."

This. If I could, I would. The only reason my laptop doesn't have ecc is because the manufacturer doesn't offer the option in any macines I otherwise want.

That comment was very misguided in trying to suggest that there is any valid excuse to tolerate unreliable execution hardware. git and ssh and md5sums do not mean that it's ok if your very brain can't be trusted to deliver data from one part to another within itself, or spit back the same data that was put in a cell. Everything else is built upon that!
Second that, it's the right mix of paint and gimp for me most of the time.
Globalization will always be too tempting to ignore when some countries have labor costs that are ten times lower than others. Large companies will continue to have enough political power to veto the laws that would be required to reverse globalization.
I think I remember the problem was something like bit flips due to alpha decay from trace material in the chips’ packaging. Not physically dangerous but hard to diagnose and fix.
> I mean, which of your centralized social media feeds are interesting in 2022?

Don’t you choose who you follow? I’m not sure how that is related to decentralisation anyway, other than the revelations in the Twitter Files about manipulation of the network. Still, the Mastodon network isn’t free from that kind of censorship either so it seems I’m still at a loss.
Yes, the streets are free from human feces and you can park your car on the street without being sure it will be broken into.
> Not only is it hard to sign up for Mastodon

I genuinely don't understand this point at all. You pick an instance – any instance, provided it's open for new users. Then you fill out 4 fields and confirm your email. That's it, you're now a proud citizen of the Fediverse. Does it get any easier than this?

(Not trying to be toxic here or anything, just actually curious.)
> It's not nothing, and it's weird to be strident about it

To an outsider, hearing people talk about how LastPass used Very Bad ECB mode makes it sound like a fuckup with immediate and dramatic effect on the security of their passwords, that isn't exactly true.

Nobody should have been using LastPass, but we can still be realistic about the threats facing those who did.

> but the obvious problem here is the offline cracking of the vault passwords; this isn't worth arguing about.

Of course not, but that's a completely separate issue from their choice of AES mode.
Nice work finding this indeed! This sounds like it could become a nice story for Coffeezilla. It's increasingly looking to me like it's an outright scam. Strange that it's for such low stakes as academic prestige, usually they go straight for the money.
It’s not as weird when you consider he paid for a lot of it via Tesla stock. If you think both are going to plummet in value due to an imminent downturn, you’re really just swapping ownership in one for the other irrespective of the downturn. But it doesn’t seem like a genius plan of his – he wouldn’t have bothered fighting a lawsuit to get out of it if that was his plan all along.
I found a weird thing in ChatGPT
The problem is that the latest versions of the Amazon reader for PC and Mac don't download the books in a format compatible with Calibre's DeDRM scripts. This is compounded by Amazon flipping off the choice to always update the software automatically (yes, it's stated as "always update automatically" if checked), so the first thing you have to do when starting up is go into settings and make sure the checkbox is cleared.
If you ask chat GPT whether 2147462299 is prime, it'll output a wrong result.

And after discussing with the AI I got this response:
"I apologize for any confusion my previous response may have caused. You are correct that 2147462299 is not divisible by 137, 73, or 41. In fact, 2147462299 is a prime number.

To determine if a number is prime, you can use a variety of methods, including trial division and the sieve of Eratosthenes. These methods involve dividing the number in question by a series of smaller numbers, typically starting with 2 and ending with the square root of the number being tested. If the number being tested is not divisible by any of these smaller numbers, it is likely to be prime.

It is also possible to use specialized software or online tools to determine if a number is prime. Some of these tools use more advanced methods, such as the AKS (Agrawal–Kayal–Saxena) primality test, which can determine with high accuracy whether a number is prime or composite.

I apologize for any mistake I made in my previous response. Please let me know if you have any further questions."
People weaponizing “non consensual porn” to attack this are going to also need to ban pencils, keyboards, and police thoughts. good luck!

and merry christmas
Imagine people telling you that you're fucked in the head and putting you on speed because you don't like listening to incompetent cretins in a prison like environment
I wish my kids would take his/her course. Except that's it's philosophy and... well, let's just say I was an econ minor.
Maybe this will lead to a re-centralization of information. We'll have to trust certain sources instead of taking reddit or some blog/video found through google at face value. Back to Walter Cronkite.
Bret Devereaux covers this is in much greater detail than I can ever hope to do,[0] but essentially it's often because writing of the "Dark Ages" is dismissed because it is overly religious in nature. There is not less writing from this period, but since scribes of that era was primarily monks, they obviously had a bias in their choice of works they chose to scribed.

The reason pagan writing of pre-Christian Roman and Greek writers remain is because these works were often considered good examples for learning Latin or Greek. (Also helps that a lot of Greek writing was preserved by Arab scribes.)

Indeed, the majority of the material that survives to this day was scribed in the "Dark Ages", because of the invention of parchment (which has a much better longevity than its predecessor papyrus). Devereaux also points out other materials, that were generally just used for everyday things, were bad for longevity, and therefore few of those survive to this day. But climate here helps a lot with preserving copies,[1] hence why Egypt is generally overrepresented in everyday material from the Roman world.

[0] https://acoup.blog/2022/01/14/collections-rome-decline-and-f...

[1] https://acoup.blog/2022/12/02/collections-why-roman-egypt-wa...
the iphone was also symbiotic outgrowth of the massive ipod success
'''3. Tech layoffs in the Bay Area intensify. When hiring begins again a large number of the new hires are either remote or are in other geographical areas where labour costs are lower.'''

That is something that I believe it is already happening. I have the feeling that Senior Developers wages are going up in my country no matter what happens on Twitter or Facebook.
I assumed it was a mistranslated pun on "bread and circuses": https://en.wikipedia.org/wiki/Bread_and_circuses
Agree that’s possible, though tried to think of a more valuable reasoning.

To me, posting comments with notes for yourself is basically spam, especially comment like “following” - which adds less value than just upvoting a comment; to follow comment, just click the timestamp to bookmark it and/or sign-in, upvote it, then look through your upvoted comments in your profile.
He talks about using an RI to reduce the monthly bill to under $5/month for compute. But in general, I think you're right. The value AWS offers for traditional architectures is for orgs running the numbers on lift-and-shift, compared to running on-prem infrastructure; greenfield projects should take advantage of cloud-native patterns.
In particular, it excludes very senior people who left almost immediately after the takeover, due to differences with Oracle management -- most notably James Gosling. https://www.eweek.com/development/java-creator-james-gosling...
>25 years ago I had a crash per hour on almost any regular computer, but zero crashes per month on servers with ECC

If it's crashing once per hour, it's probably unstable drivers/software or flaky hardware that needs to be RMAed, not random bitflips.
Hey now, if you’re measuring my performance base on lines of code, I am damn well including everything I can think of, and cloning it right into my code rather than using it by reference.
Having people read your writing who can give constructive criticism can be a huge help.

It can be people you know, but there are also online writing communities that will give candid feedback in a safe environment. Usually the catch is you’ll have to return the favor for someone else in the community, but that’s not a bad thing.
I had a lastpass account years ago, but cleaned my database and changed passwords to all my accounts after the first breach. Is there a chance Lastpass keeps old copies of my database archived somewhere?
Thank god. That was irritating. Now also do the cookie popups.
I feel like if they did that, the service would be 100x more viable… but would lose its claim to total decentralization. Idk, good luck to anyone that does a social media site cause that seems like a hard problem to solve.
I’m on call, been paged 3 times already for a high CPU on some VMs
I often hear them referred to specifically as the Christian Dark Ages.
Regulatory expense is the single largest line item for building a home, with places like Fremont pushing just the permit fees alone north of $140k.

https://citiesassociation.org/documents/constraints-survey-d...
1. Read the Elements of Style by E.B. White. It describes how to write in active voice for positive effect.

2. Practice converting your thoughts to the written word so that they're clearly understood by anyone. That is the exercise at hand and it takes practice.

3. Once you've mastered clearly communicating your ideas, add some cleverness to your writing. Use double-entendre and practice economy of words. Leave something for the reader to guess, allowing one's imagination to fill the gaps with what you didn't say.

4. Finally, practice the art of showing versus telling, i.e., the art of story-telling versus an analytical accounting of facts.
> The humans are dead!?

No, they're used as batteries /s
Ask HN: Which password manager is the most secure and why?
Additionaly, is there a safer alternative to password managers?
It was revealed that during Cold War there was a plan to nuke all cities over 100k inhabitants anywhere in the world so that no civilization can restart anywhere. For example, some nukes on Ukraine were pointed to China, a somewhat ally of the USSR at that time. I don't think Australia can rely on being non-nuclear to escape if SHTF.
Note that these prompts can also be disabled in your Google account settings. I find them very irritating so I've disabled it on all accounts I manage.

https://www.howtogeek.com/735152/how-to-turn-off-the-sign-in...
Find people to read and critique your work. The time I spent in 'reading group' in grad school helped me curb some bad writing habits and develop other good ones. My mom used to participate in 'writers groups', in-person and online to get feedback on her poetry and prose.
At least in my case, the first time I used a password manager it learned my existing ones from my browser, and many of those were non-random. From that point forward I used generated passwords, but I'm sure I still have hundreds of legacy ones that I didn't bother to go and change because the sites didn't matter that much to me.
I suspect it will get cheaper, esp for the common case where you don't need to upgrade the service to your home, and there's already a panel/subpanel present. The cost is mostly labor, and in that case it can be installed in a couple hours or less.
Also, 30% of the cost is already subsidized as part of the IRA. As EV prices become more competitive, such that having the outlet/charger installed in their garage is an actual burden for the ppl buying EVs, I wouldn't be surprised to see this subsidy increase
Write -> give other people for proofreading -> rewrite -> publish -> gather feedback.

There is no other way than practice. Feedback speeds up this learning process a lot and improves the result significantly.

Everything else varies from person to person. Some write daily; some don't for months - then dive into their writing modes. Some start with an outline, and some - pour a stream of thoughts into the computer.

Nevertheless - what is your goal, and what blocks you in the process?
I think the two biggest news events of this year were Russia and Roe being overturned, but only one prediction for Roe and most for Russia didn't anticipate a hot war
While true there is also the long-term survivability factor. And email began as super challenging to onboard before web mail. Today it's better, and not because federation was dropped. Rather email improved with better onramps to the network.

Throwing out federation because of immature onboarding is like tossing the baby with the bathwater.
I don't doubt that non-ECC hardware experiences some non-zero number of bitflips per year. I'm just doubting the parent commenter's claim that non-ECC ram is causing computers to crash "frequently".
It’s unpredictable what the future looks like but I agree there is something new in AI’s revealed capabilities.

This could “frontfire” (that is, backfire against bad actors). The web has been flooded with corporate sock puppetry for a decade, drowning out legitimate content. What ChatGPT is scaring people about has been within an epsilon dollar amount of being true for a long time.
Interesting feedback on reddit RSS feeds. I'm only subscribed to a single reddit feed, but it's totally possible that miniflux was spamming requests and that led to a rate limit. It isn't super customizable in terms of how frequently it pings to see if new items have been added, it's a fair criticism.

I'd gently push back on the migration issue. As long as you're going the self-hosted route, all of this data exists on your machine. A tool for painless migration from X reader to Y reader might not exist, but at least it's feasible to build. If your data is in some hosted solution, you're at the mercy of the provider to implement data exports.
The Despicable, No Good, Blackmail Campaign Targeting Imaginary Friends?
or with trackers https://bsdly.blogspot.com/2022/12/the-despicable-no-good-bl... #wankstortion #extortion #sextortion #cybercrime #blackmail #OpenBSD #spamd #onlinescams #greytrapping #fraud #spamtraps #spam #bitcoin
My last ever piece about this silliness, I sincerely hope.
Mine was also set to 5000
I did some additional research into this Taibbi person, and in addition to being a Russian sex criminal, it turns out he's done some work as a journalist. I think that might have something to do with why Elon chose him to release the news.
It seems to be a trait among students attending elite institutions in my experience. Less so among your average student in America
Rent continues going up.
Ryzen APUs, which include almost all AMD laptops, actually have ECC fused off in silicon unless you buy the "Pro" variant.
> I came to a different conclusion: they very much meant to ground mathematics in ZFC formalisms — and went to the effort of projects like Principia trying to achieve that. ZFC was a failure in this regard, almost immediately replaced by category theory and type theory.

ZFC hasn't been "replaced" by anything. The standard line in all published textbooks that I'm aware of is that ZFC is the accepted (by the professional mathematical community) foundation for doing mathematics (assuming this question is even raised). Even the type theorists admit this!

> That’s why we replaced Turing machines with type theories, lambda calculus, automata, etc. Our modern research uses these formalisms because they’re outright better.

The Turing machine is a fundamental concept in theoretical CS that isn't going anywhere. Consider that the standard textbook on the theory of computation (Sipser's) has three parts, and the second is entirely devoted to studying computability using the Turing machine concept. Or that the strength of pushdown automata is usually explained in relation to Turing machines.

> OK, so what are the concrete fruits of this?

The first two things you listed are not metamathematical statements. I'm not sure what you mean by the third. (Sure, many things can be recognized as special cases of category-specific concepts. But that's a claim about category theory, not HoTT.)

> This is also a weird demand while leading off with how people don’t actually work in ZFC.

People do not write their papers in first order logic starting from the ZFC axioms, that's true. But the study of set theory has led to large number of metamathematical successes, such as forcing and the independence of the continuum hypothesis.

> Nevertheless, topos theory is what explains the algebra-geometry duality: you have two languages (type theories) that map to isomorphic categories. You can then extend that idea to things like the Curry-Howard square.

OK, so what's the actual concrete statement an ordinary mathematician should be interested in?
Most of these are pretty good, if not a big stretch.

>First the plague, now the war, next the famine!

I'm noting no predictions on this page regarding the Colorado River and the drought in the US West. Will the drought continue? Get worse? Could it cause a famine? Or just widespread adoption of efficient watering systems?
Twitter brings Elon Musk’s genius reputation crashing down to earth
Or maybe it’s just too much of a PITA to actually use.
I don’t understand the ones that are volunteering being oncall. I don’t think you are making a favor to your colleagues but to the company you work for, and that usually means: the company is being cheap regarding the on call topic. I have zero empathy for companies not handling on call the right way.
I'm curious what the actual manufacturing costs for ECC DRAM is compared to regular DRAM. Is it considerably more expensive, or just the usual over-charge because it's better?