skysight-inc/HackerNews huggingface dataset:
> Are you going to die practicing?

Probably not, but it's bullshit in the sense that solving leetcode problems on the fly is not typical day-to-day programming work in ~99.9% of jobs. And even when creating a complex algorithm is a part of a job, it's usually for a big project that's the core of some business problem that you will have a considerably longer amount of time to research, think about, test different solutions, and implement than the space of video coding interview.

Would you hire a divorce lawyer by testing them about the intricacies of Constitutional law? Would you hire a heart surgeon by quizzing them on the complications of laser eye surgery? Would you hire a civil engineer to build bridges that support trucks and trains by asking them to solve some underwater pressure equation involving submarines?

> Is this going to make you a worse developer?

In a certain sense, yes, because there's an opportunity cost to every human activity. If you spend 500 solid hours of intense effort grinding out leetcode solutions, that's 500 hours you don't get to put into practical stuff you might use on a day to day basis: learning about servers and web services, deployment, different software architectures, databases, design patterns, security, accessibility, etc.

> There is like literally 3-5 patterns that you can compose together to solve most of the problems.

This is somewhat misleading to me.

You can learn some of the common elements of solutions like trying to break up a problem into smaller parts, using a hash table, sorting an array, recursion, or other common elements to leetcode style solutions. But solving a type of problem you haven't seen before in the span of a video interview is pretty much a crapshoot, particularly when you have somebody just staring at you and typical problem-solving approaches you would take like doing Internet research or trying to diagram a solution out on paper are probably out of the window.
Nobody as far as I can tell is defending leaded fuel. Just explaining why there was initially a carve out. Having that carve out made sense at the time. Having it last until 2023 is malpractice.
Here I mean someone that I don't follow nor do they follow anyone that I follow.
These days a paid off house makes you a millionaire.
That's not actually correct. MAME intends to be as accurate as possible (we emulate the actual microcontrollers running the actual firmware inside the keyboards for PC, AT, and PS/2 keyboards as one example) but it's not always there.

Sega Genesis is a poor example; MAME runs the entire commercially released library fine, but some homebrew stuff that seeks to stretch or break the hardware doesn't do well (notably the Titan demos).

On the other hand, MAME's 8-bit Apple II emulation is cycle-accurate and you can raster-split mid-scanline by counting cycles (as some people crazier than me have done). So it really depends on the specific driver.
> It was definitely not intended to be ugly

And it isn't! I started using Django in the days when it was in perpetual Beta - back in 2008. It was not ugly by the standards of those days.

After over a decade's hiatus, I'm back to using Django for paid work. And I still find it "not ugly". Sure, it doesn't have bells and whistles, but it's pretty functional, and doesn't offend my aesthetics at all!

PS. I owe a lot to you, Jacob and Simon - thanks for Django! My funding in grad school was drying up, and I needed a side job out of my department to help pay bills. And fortunately, one team at the university was looking for a Django programmer. I was not a CS major, but knew enough programming to get that job.
Ethical AI–- a view from leftist philosopher [video]
Driverless Cars Are Losing to Driver-Ish Cars
people hoard good food in their vaults while giving other people their bad food as quickly as they can, because the government has decreed that bad food is equivalent to good food?

that's total nonsense. gresham's law doesn't apply to food
These are multi redundant and generally hospital patient monitoring systems have additional batteries of their own to make sure people don't die, and in the case of a major clusterfuck there are emergency procedures in which it's specified how power will be restored assuming a grid and backup generator failure (usually it involves the fire department shuttling a generator pack to the hospital site).

With engine failures in aircraft however, the consequences can be way more dire - particularly in GA where it's (at least in the US) even being allowed to fly without a license at all (Part 103 ultralights), and forget about regular legit simulator training on what to do in that case.
No, but our understanding of 'acceptable' lead levels keeps getting lower. One day, the amount of lead in our crops which we might today consider acceptable, in the future we might not.

Imagine if 100 years from now, Brazil is an up and coming economic powerhouse, and economists figure out that they are doing so well because their strategists, businesspeople, scientists and engineers are all smarter because their food contains less lead than ours does. We'd quickly start outlawing high lead food, which in turn might make big swathes of our cropland unusable for food.
The link you gave me is the 2024 MSRP, not 2023. No need to be rude, especially if you're not going to actually read my comments or your own links.
Is there value in learning verified programming for application developers? I've always been curious but they mostly seem like tools for academics.
I don't think that's true? SQLite uses in-memory caching just like MySQL and PostgreSQL do.
As a guy running a few Debian web servers for some small client projects and a few personal projects (some of which are medium sized, e.g. a website that gets 10 million pageviews / month) I actually tried to move from MariaDB to SQLite. The idea seemed great, at least in theory. Mainly to get away from mysqld, which actually crashed on me and corrupted some data once or twice in a timespan of 15 years.. think it was due to package updates every time.

Anyway, query and app logic modifications aside, I quickly ran into two unsolvable issues for me.

1. The lack of a robust web based admin tool comparable to phpmyadmin (no, phpliteadmin doesn't even come close)
2. No alter table. This hit pretty hard.

Plus lots of other idiosyncrasies - no enums, no type for dates, etc.
In the end I decided it's not worth the extra work, trouble and risks and stayed on Maria.
But ... he's already had his bail revoked and is in jail for the trial.
Very strange. How about regular SMS? Are they dropped too? I had zero issues with TMo, and I don't even need roaming for this.
Walmart tends to be the lower class. Lots of weird people there.

Costco is typically middle class. It is a members-only.

They also have a famous hot dog and food court
This is sort of a tangential and random, but I enjoyed this post because of a quirk of the writing. It is really common to read,

> It's common to blame the move from Twitter on Elon's politics.

Followed by some justification for his being annoying. To the point where I was just preparing for the silly justification.

> And that's perfectly valid.

What a twist, beautiful, haha.
https://en.wikipedia.org/wiki/Atmospheric_methane

Methane is a strong GHG with a global warming potential 84 times greater than CO2 in a 20-year time frame. Methane is not as persistent a gas and tails off to about 28 times greater than CO2 for a 100-year time frame.

So, methane is shorter-lived in the atmosphere than CO2. We need good numbers, of course, to have a good decision.
This is the kind of thinking that happens when consultants, smart people, environmentalists, statisticians, and politicians get in the same room to write a report to save the planet.

Planting a tree to save the environment is not simply about the carbon it "sequesters". There are huge positive externalities to planting a tree that come in various forms.

E.g. Something as simple as planting a fruit tree in your backyard. Just imagine these effects:

1. Buying less fruit at shops

2. Less fruit being transported

3. Kids growing up with free food grown from the land

4. People buying land that allows planting a fruit tree

5. People (and their kids that watch) learn about taking care of their surroundings

6. Responsibility to care, prune and water a fruit-bearing tree.

7. Poor communities fed by a tree mean less aid means less 1st world carbon spending for fake 3rd world "feed the poor" brownie points.

8. More fruit rotting on the ground means less fertilizer.

9. More fruits means more birds means more seeds being peppered along the landscape.

Sadly, as with carbon credits, this tree planting concept has been "captured" by opportunists and they just have you give them money so they can "plant" a tree easily on your behalf somewhere halfway around the world so you don't have to worry about it.
I get eyestrain with lower brightness, but I typically don't use my computer in the dark. On the occasion that I do, I do lower the brightness. I also loathe dark mode in general, but I do enjoy a darker background with colorful fonts while programming (Dracula theme for Sublime). All in all, I rarely get eye strain with my habits.
Thank you for taking the time to write this take up. I couldn't quite put my finger on what I found off-putting about EA but the second option bias and hedging with footnotes, in retrospect, are what have made me uneasy about EA (and rationalist writing in general) since Yudkowski.
not if you have to shell them yourself
Yes. Constitutional protections against unlawful search and seizure mean nothing if they only apply to citizens, because not everyone is a dual citizen of every country with an intelligence agency. If America can't spy on Americans, and the UK can't[0] spy on Brits, America can still ask the UK to spy on Americans that don't have dual citizenship with the UK, and the UK can ask America to spy on Brits that don't have dual citizenship with America. This makes 4A into a water sandwich.

[0] I'm assuming there's some kind of 4A-equivalent bound on government behavior in the Calvinball soup that is the UK 'constitution'
Since according to another post in this thread, 11000 barrels of leaded are produced each day, vs 4.9 million barrels of diesel fuel seem to be the numbers, not a huge amount. However it is still good that the law now allows unleaded.
Apart from specialty applications, auto engines run at a small fraction of their full power output the overwhelming majority of the time.

Aero engines run at a substantial fraction of their rated power output basically full time[0].

The fact that auto engines can be run on unleaded, lower octane gas at 10,000' or more doesn't really tell us that the same low octane unleaded gas is suitable for an aero application.

[0] And in some cases are rated for more power for limited lengths of time such as takeoff. See here, for example https://medium.com/s/story/the-long-way-round-the-plane-that...
React router encourages this design. Hard to blame react when angularjs started the trend many years ago.
Fun facts about all that: Confinity had done what Musk couldn't - they had a working prototype and MVP called PayPal, trademarked and registered, at the merger.

Musk was made CEO because between the two companies, he had the largest holdings.

He spent a lot of his time as CEO from March 2000 stubbornly trying to insist that this prototype (written in Java on Solaris) be completely thrown away and rewritten in ASP on Windows because he knew the latter and not the former. So much time, in fact, that by September 2000 the board had had enough and kicked him out as CEO.

When people like to talk about Musk and PayPal (not saying you are), it's funny how neglected the fact that it was a whole 5 months from rise to fall.
GAMI (unleaded 100 octane avgas) has been extensively tested at this point, far more so than was probably warranted.
At the end of the day I assume this comes down to means of monetization. If someone has some other means of making a living that is not directly tied into the social media platform itself, for example they are independently wealthy, then it's easy for them to create non-over-optimized content.

A common breaking point for creators is the ones where they have job X that makes a decent living, but their content starts getting popular and starts making a decent living. That's where the creator starts running into the 2 masters problem. Do they quit their job and make content only? If they do, will the platform decide to completely screw them over with an algorithm change?

Then you have a 3rd class that is just jumping into content for the purpose of making money by any means possible. All aboard the over-optimization train.
I want to get to the bottom of WHY we even need to even ponder any of those or extend the line of inquiry any further if Japan's approach "works"...

That Japan does this and it "works" is blowing my mind right now. That is extremely compelling and provocative in the context of this discussion so now I wanna know why we're making this more complicated by insisting on searching for a solution to a problem that already has one, however inelegant or politically inconvenient it is.

I am not accusing you when I suggest we're making this more complicated, just making a hopefully reasonable inference that if burning works and this all comes down to a political communication/advocacy ("PR issue"), then I will happy join the "burn it all" crowd). But, you know, respectfully.
i would argue that capitalism implicitly values... capital?

just as socialism values... society

also, you're conflating markets with capitalism
because it is the only boogeyman he knows how to blame with no evidence
Does Your Brain Picture Things?
I am not really sure what your question is asking. More accidents on what roads? If you’re talking about the 99% of roads in the country where Waymo doesn’t currently operate, then I can’t really take your question seriously.

We are talking about relative performance of an automated system vs human drivers. The automated system has been specifically tuned to perform well on a certain set of roads. The point is that there is no reason to assume by default that the system would maintain good relative performance under a drastically different set of conditions.
Hell, some pilots insist on continuing to fly without radios.
I assume there exist people out there for whom that would leave a couple years gap, unfortunately.
Years ago, my daughter named our Roomba "Puck" because it looks like a giant hockey puck. I liked the double-meaning of it also being the name of the European trickster-fairy (aka "Robin Goodfellow") and so have stuck with it.
The terminology around illegal is a political act. It is illegal to cross a border without authorization everywhere. The goal is prey on social grace to get people to use words like “undocumented” which means policy can be controlled via documentation. The idea is to subvert the law by changing terminology. I can’t tell if you are a sheep or a wolf from your post.
> There are universal human rights

Admittance to the United States is not a universal right. If I wanted to move to Europe right now, it is a lengthy painful process just like an alien trying to move to the US.

Applicants will be screened. Reviewing what you say publicly about the United States as part of that process is not a privacy violation. If you are making statements that you want to blow up buildings or steal nuclear secrets, it is very reasonable to deny you entry.
Well to be honest it hasn’t been particularly alive since then.
This kind of stream of consciousness is how I do a lot of my GPT work. I have double command key tap to start dictation, and then I launch into these stream of consciousness dialogues with uhms, ohhs, and uhhs etc. GPT is able to then summarize that for me, filter out the garbage, and we can iterate from there.
I think it will end up being in that region. Certainly billions lost, but the open question is "how big a subset of that is the amount embezzled?"
Not great myself. Sometimes you move someplace specifically to assimilate with the culture because you feel it's a leg up from where you left. When it is infuriating is when someone comes from someplace that has been torched by failed ideas, or at least failed in the sense it drove them to leave, and they set up shop and do the same damn thing. It ought not be illegal, but for instance you see that with home owners that flee and then vote for the same dumbass stuff that made their origin unaffordable.

You have the right to just show up with newly printed residency and demand change, but no right to be liked for it.
Agree on both accounts, I was confused why would the IRA be interested in buying NetZero when I read the title.
The Mr. Beast thumbnail O face because everything you post has to be something you HAVE to click on.
Most mainstream computer monitors, designed for use indoors, are not going to be anywhere near 1600 nits. The monitor I bought last year for $400 tops out at 400 nits.

Laptops, phones, and smart watches are designed to be used in varying conditions like outdoors, where the sun can easily overpower a 400 nit monitor. Also in low light conditions, which is why they mostly have ambient light sensors.

There's always some user out there who wants to watch HDR videos in the middle of the Sahara desert at solar noon, which would actually be an interesting use case for the monitor in the article.
I'm not sure exactly what you mean.

I believe our smallest configuration is 5 servers and a few switches.
The bacterial horror of hot-air hand dryers (2018)
> Why is not changeable relevant?

Because I at least hold the ideal that we should judge people not by the color of their skin but by the content of their character. No individual gets to choose the genes they inherit, but they do have some level of agency over how they choose to operate in the world.

> The First Amendment is rather exactly about not doing that.

True, but the system in place that enforces the first amendment and the entire Constitution ultimately depends on the vast majority of people to agree and comply with that base ideology. The system of governance isn't omnipotent or omnipresent enough to defend against a large enough minority of the population becoming hostile to these ideals.

This is the big reason why Trump's violation of the tradition of the peaceful transfer of power is so horrific, because it threatened the foundation of consensus that lets our system operate as a democracy that non destructively lets the best ideas and leaders rise to the top.
Yeah, I believe they said they intend for it to be used as a general purpose programming language. I used it to complete Advent of Code last year.

There are some really interesting features for general purpose programming in there. For example: you can code updates to arrays in a functional style (change a value, get a new array back), but if the refcount is 1, it updates in place. This works for inductive types and structures, too. So I was able to efficiently use C-style arrays (O(1) update/lookup) while writing functional code. (paper: https://arxiv.org/abs/1908.05647 )

Another interesting feature is that the "do" blocks include mutable variables and for loops (with continue / break / return), that gets compiled down to monad operations. (paper: https://dl.acm.org/doi/10.1145/3547640 )

And I'm impressed that you can add to the syntax of the language, in the same way that the language is implemented, and then use that syntax in the next line of code. (paper: https://lmcs.episciences.org/9362/pdf ). There is an example in the source repository that adds and then uses a JSX-like syntax. (https://github.com/leanprover/lean4/blob/master/tests/playgr... )
I really don’t want to bash it as the web version is free, and I absolutely agree that authors should be able to get money in exchange for their work, but still… not sure if the Mac version does anything more, but if not, making it paid when it is a program most people can reproduce in at tops 100 lines in any framework of their choice rubs me a bit in the wrong way.
I tweaked all my social media down from following thousands of people to following ~100 that I really know and love.

The result was amazing, a truly transformative social media experience.

I don't care about likes or comments, they are irrelevant to me, I just love seeing what people are up to, I comment and like when I mean it, and I often get to the end of the feed with no more scrolling to do.

I reduced my FB friends from around 3,700 a few years ago, followed by also removing liked pages and groups that no longer interested me or that I had liked out of politeness - and the lovely result of that led me to doing it elsewhere.

Best decison, no question of it.
What exactly is eye strain?
You can have both!
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://arxiv.org/abs/2306.15626
(shameless plug)
Crates.io: Dropping support for non-canonical downloads
> “I do hope that it causes Penn and a bunch of other institutions that fund science this way to reflect a little bit on what the chances are that some scientists who do not get funding, and wind up leaving, end up being like Katalin Karikó,” Scales said.

A brilliant woman scientist researching an uncool topic hits the trifecta of resistance to her work. It's wonderful to see her persistence vindicated but it sounds like time for a revolution in how university research is managed. The closing quote of the article is very disappointing.
Ah sorry, it was hard to understand what types of transactions you were talking about. Yes, the reality is that when you try to live in a foreign country and do non-touristy "resident" things like buy things online or pay bills, but when you don't actually have a work visa that allows you to open a local bank account -- the systems aren't built for that. And local merchants really do put themselves at the risk of scams -- even with debit cards, transactions can be reversed by banks (stolen debit cards are a thing), and then the merchant is out of merchandise and money. It sucks, and you just wind up having to rely on a friend or family member to do your online purchases. It's such a small group of people, that companies don't do much to support those edge cases.

I still don't understand why you couldn't wire money though. That's what wiring money internationally is for. If timing with the hospital is an issue, you just wire yourself or your family member in advance -- that's usually more common than attempting to a the hospital directly. (And even if you do have to wire the hospital directly, you can provide proof of the fact that the wire was initiated from your bank.) The only problem I can think of with wiring money is the fact that the money is illegal or someone is trying to evade taxes or something. If the money is perfectly legal, then what is the problem?