skysight-inc/HackerNews huggingface dataset:
>but we could also be letting more guilty people go.

Yes, this is how the US legal system is designed.

>want more evidence today before they’re willing to convict

This is why you should be completely suspect of the data from the past. Law enforcement is great at going out, grabbing the usual suspects, then pinning some evidence on them. This is great for LEO. They get a win, the public feels safe, and they get reelected. It's unfortunate the actual killer is still on the street because it's a lot easier to frame someone than it is to do real (expensive) police work.

https://innocenceproject.org/all-cases/

https://en.wikipedia.org/wiki/Michael_Morton_(criminal_justi...
Back in 2018 CW had a comedy series with a song in each episode -- and one of the songs ran through all the cons of getting a cat. Towards the end of that song, one of the last lyrics is "There's a lot of evidence that / Organisms in cat poop make you crazy."

"Yes we read that article in the Atlantic," sings the chorus of puppet cats. "And then we peed on the Atlantic."

But in the comments on the video on YouTube, someone points out that cats kept indoors (which is always recommended for their safety) are unlikely to ever come in contact with the parasite.

https://www.cdc.gov/parasites/toxoplasmosis/toxoplasmosis_ca...
> Unfortunately, if consumers can’t make an informed decision, then there isn’t a snowball’s chance in hell that the government, which is full of technically incompetent bureaucrats, is going to somehow make the right decision for them.

This is such utterly brain-dead individualist defeatist nonsense that I struggle to respect it as an actual position. Do you believe either the common consumers or the politicians understand vehicles? And like, even the broad topic of vehicles belies several specifics of interest to regulators like emissions and safety features. Of course they don't know all of that. They hire in people qualified to judge the effectiveness of those systems and to write the regulations that will then be enforced by agencies charged with that task.

Is this perfect? Of course not, no human system is or ever will be, but I would argue that based on the overall trajectory from the initial rollout of cars in the 1940's to the average consumer, where we started with brutally primitive machines that would kill people basically all the time, both pedestrians and their drivers/passengers, that spewed black vile smoke out of completely audio and emission unmitigated exhausts and were utterly terrifying at even their comparatively low speeds, all the way until today, when you can, as a consumer, purchase a car that manages it's own emissions within the bounds of reason, has numerous safety features to keep you alive, and can safely travel at speeds that well exceed the maximums posted on any highway without utterly flying apart, as an original Model T probably would have attempting half that speed, and you can do that all without knowing fuck shit about cars, ensured of the fact that you will get at least a decent product that will not harm you if used properly? That seems to me to be overall, quite an effective regulatory atmosphere. Not perfect, again, but quite effective. And that regulatory market is broadly practiced every day for probably hundreds if not thousands of products you have purchased without a second thought, because you don't need to think about them, because government agencies you know nothing about are working to ensure the safety of that market.

We have had this shit figured out for almost a century I would say. The fact that ISPs now operate such an utterly critical resource for our daily lives with near total absence of regulation in terms of the product they deliver, the quality of it, the usability, etc. etc. is frankly ludicrous. We're sitting here having arguments about which ISP throttles which sites worse and how to avoid them, when the solution is clearly: Do not give them the fucking option to throttle any website. If you pay for your Internet service, you should be able to access Netflix, YouTube, Mega filesharing, 4chan, Imgur and fuckin PornHub at will with zero thought to the notion that any of them will perform any worse than any other because they didn't put together a sweetheart deal with your fucking cable company.
some baskets are more secure (e.g. an encrypted database) than others (e.g. your head).
Edgedb use python, you can have perfotmant c code wrapped in python
I don't think it's realistic to pin your hopes on Qualcomm given that they're unlikely to care about supporting anything other than LPDDR with their laptop processors.
Ultimately, dilution doesn’t matter for 99% of employees. You could experience 10x dilution but if the price goes up 100x - you’re still up 10x. Would it be great if you went up 100x and no dilution? Sure but that’s not how it works.
I've been in the tech industry for 30 years. I've also been mostly startup based my entire time.

I've only ever had options "work out" a single time and that was because long after I left the company (I bought my vested options), it went public and my options converted into actual stock. However, the stock was absolute shit worthless for about 10 years, so I hung onto it thinking one day, I'd sell it and harvest the tax loss. Then, during covid, WSB came along and randomly pumped it and my limit order for the very tip of the market, was actually filled. Much to my amazement. Then, the stock went to the bottom again almost the next day. I think I "profited" about $5k total out of that deal across many years.

My last company, was supposed to go through a SPAC, likely so that the execs could dump on retail. I spent like $30k on my options and near the end of everything in the hopes of getting some of it back, the whole deal fell through and I got laid off for the first time in my career.

Maybe I just have bad luck in these things, but every time I picked a higher salary over more options... it worked out better in the long run, by a lot.

Now that I'm CEO of my own business, I have zero plans to ever go public or even sell the company. I'd much rather have it be focused on stable revenue generation, and make sure to pay people well, and give company performance bonuses along the way. Yes, of course, we will also give options out, as the industry expects it, but I'm not going to make it a focus (by preferring good salaries, benefits and a stable gig). I'll be upfront about my plans for anyone joining. I would much rather be real with people than give them any sort of false hope. We are just starting, so let's see how that works out over time.
Interesting that NMIs can be postponed by long sequences of DD/FD prefixes - so potentially for 1000s of clock cycles.

Strictly speaking that undoes the "N" in "Non-Maskable Interrupts".
Housing was cheaper relative their income 30 years ago.

This wasn’t some cosmic accident. It was a result of policy choices.
The Stacks project is meant to be a comprehensive Bourbaki-style textbook, not an encyclopedic survey, so the Wikipedia comparison is a miss. (The WP has a textbook level of detail on some topics, with proofs and examples, but these are few and far between and come from enthusiastic editors going above and beyond the WP's declared goals.)

Stacks is not finished, however -- still a lot of "Proof. Omitted.". From what I understand, the goal is to fill them all in (otherwise there would be references to the literature in their stead), but ultimately it is still mostly a one-person project (see https://github.com/stacks/stacks-project/graphs/contributors ).

I once filled in one of those missing proofs, only to see Johan replace it by a much better one that I would never have thought of. And this was (for him) a technical lemma, not one of the crown jewels of the project. His dedication to the project is truly incomparable to anything except Bourbaki and Serre. And the usefulness of the work extends far beyond algebraic stacks, just like Bourbaki is much more than a textbook on Lie algebras.
Saving hours is the wrong way of looking at this sort of optimisation. The point is to improve the hours you do spend in the terminal.
It would actually be kind of interesting to have a password manager that generated passwords that are “nice” for entering with a tv remote. It would definitely reduce the complexity of the passwords, but then you can just go longer. I’d probably want rules like

“Characters should be adjacent on that particular gridded qwerty keyboard that TVs tend to use or two-off in a single directions. Double characters are also ok. Long strings of upper or lower case letters.”

I guess the number of possible passwords is something like 26*(9^(n-1)), ignoring special characters and (rare) case changes. Also ignoring the edges of the keyboard, which probably really messes my path up because it isn’t very tall.
https://en.m.wikipedia.org/wiki/The_Nitrogen_Fix
Countries outside of Iran are where Iran's military actually operates. The Lebanon embassy strike wasn't a reprisal: they killed the commander of the Quds Force in Lebanon. I think --- unfortunately --- that you're actually quite wrong, and that the Netanyahu administration would be more than happy to be engaged in an open war with Iran (which they would with certainty win, not just because of US support, and not just because the IDF/IAF is much better equipped than the IRGC, but also because the entire rest of the region is locked in an Arab/Persia conflict that is if anything more salient than the one Israel is in).

Iran's air assault response here looks surprisingly weak. They telegraphed it in advance, clearly set it up to avoid causing any major civilian disruption, announced "the matter can be deemed concluded", and basically managed to create a giant advertisement for Boeing and for pan-Arab resistance to Iran. Ever since October 7, the vibe I get is that they're trying to Homer themselves back into the hedges as quickly as they can.
I guess I'm just wishing for an insta-backend with a database layer that's auditable/temporal by default (like Datomic). Guess that's orthogonal to the problems you're solving.
What were the install prices per watt in your area?
LLMs are just a red herring. All the way back in 2004 Digg was started with the premise of "there is too much content on the web, lets make a way for users to collaboratively find the good stuff". Variations of this is how most content is consumed today. People still google stuff, but a lot of traffic is driven by successful posts on Facebook, LinkedIn, Twitter, Reddit, or even niche sites like HN, because they serve as a filter for quality content.

The real issue isn't that LLMs make it much easier to generate garbage content, it's that the filter mechanisms we have used for two decades are all failing, and have been massively degrading for a decade now. Just like google is dominated by SEO spam, most of the platforms I mentioned above are overrun by bots and click farms. Upvotes, hearts and reshares can be bought for pennies. Or just buy a preprogrammed bot that posts "subtle" hints to your Onlyfans everywhere.

Of course on an individual level there are strategies to avoid that content. And those won't really be changed by LLMs
Yes, both the cascade and (CSS) inheritance are valuable and necessary.

Not the commenter you responded to, but I'm guessing they meant "inheritance" as a programming practise, not the CSS-specific meaning.

Inheritance of CSS rules down the DOM tree is indeed essential for CSS to work, even if you are using some sort of scoping.

Scoping is about limiting the DOM subtree that a CSS rule applies to, so sure it is related to CSS rule inheritance.

But even if you use tailwind, (Vue) scoped styles or styled components, you still need CSS inheritance.

Nobody aims to apply CSS per-element only, although large parts of it are exactly that.
In other words, Tailwind authors stil expect "text-red-500" to be inherited down to child elements.

so much for inheritance, regarding the cascade:

Point of maintable CSS is to keep the cascade flat and avoid multiple levels of overrides or very specific selectors.
Put solar on your roof and they’ll stop knocking. That alone might be worthwhile!
I take jmduke to mean Python with type annotations.
so should religions that make profits pay taxes, something tells me neither will happen
Game Boy Emulator for iPhone Now Available in App Store Following Rule Change
It's now even cheaper to build a backlink farm, and telling that the content is artificially generated has become much harder.
Anything involving classification, extraction, or synthesis.
Then give us a way to set something up.
>Its hilarious watching a group of some of the smartest people on the planet still not getting it, over and over. It just sails right under their heads :-)

The hubris displayed in thinking that HN is "a group of some of the smartest people on the planet" is revolting.
Volatility adjusted is probably quite shit.
Any McKinsey client should insist that the consultants who worked on this report never work on their engagements. These consultants are either too stupid to realize that they got the causation backwards or they realized it but wrote up a garbage report anyway.

> Green and Hand not only were unable to replicate the studies’ findings; they also found that each of the three studies had analyzed the data backward. Instead of looking at a firm’s diversity policies in the years leading up to a given year’s financial performance, McKinsey had reviewed each firm’s financial performance in the four or five years leading up to the year in which its researchers snapshotted their executive demographics. In other words, according to Green and Hand, the positive correlations that McKinsey researchers observed may have reflected “better firm financial performance causing companies to diversify the racial/ethnic composition of their executives, not the reverse.”
As a counterexample, in socialist Yugoslavia, everyone and their dog got housing. Public companies made tons of it, towns and large part of cities were built during 60ties to 80ties. It was very easy to become the owner of a unit and most if not all became just that. It really wasn't a problem and people instead of worrying about housing thought about their hobbies, everyone on the coast bought/made boats, and people on the continent built summer houses on the coast.

Come nineties, oughts and today and the huge majority of housing units made are for tourism and speculation and are just empty most of the year. Landlords appeared too, some of those accumulating wealth from renting/Airbnb'ing their previously built summer houses, a lot came from money laundering/extraction. Housing itself has very little if any taxation so it became a wealth store and its just a big circle of socially bad incentives. Usually when there is a big political arrest it would turn our that the person had like 20 houses/flats/boutique hotels. Nothing usually comes out of it, but thats a different problem.

In the last 20 years the young people got totally screwed by lack of housing and many people emigrated unable to afford even to rent a flat and have some leftover money. Or to put it in the scale, more people emigrated than at any point in the last 150 years. People don't emigrate if they're fine with what they have. And politicians care even less because people who emigrated won't vote in the elections. And did I mention that most of them are landlords too?

My point is, a political system be it "communism" (quoting you), "socialism", "democracy" or whatever has very little with how they deal with the problem. The reality is usually much more complex than applying easy labels.
Do not understand your comment. What are you trying to say?
loved the landing page
1? I don't care. People lose jobs from technological progress, they've been able to see the writing on the wall for a while, and it's still not even a done deal, so frankly if journalists aren't figuring out how to get paid now, it's kind of on them. If their answer to how do I get paid is lawsuits, they deserve the suffering they're going to get.

2. Open source data sets can have curation too, this seems like a silly strawman to make.

3. Twitter isn't just unusable because of AI. It was never more than barely useable to begin with, and many of users didn't help the situation.
Andrew Kane built dexter, which is an automatic indexer for Postgres.

https://github.com/ankane/dexter

https://ankane.org/introducing-dexter
> Heck, it was possible to completely rewrite a bad query on the fly and execute a re-written variant.

Is there really such a thing as a bad query that can be rewritten to give the same results but faster? For me, that's already the query optimizer's job.

Of course there are "bad queries" where you query for things you don't need, join on the wrong columns, etc. And yeah the optimizer isn't perfect. But a query that you expect the query optimizer to "rewrite" and execute in an optimal way is a good query.
I don’t think it has anything to do with your inner ear. Rather, I think it’s your brain being able to process and visualize input. I have significant issues with my inner ear and yet have an excellent sense of direction.

I use a combination of visual, kinesthetic, and touch senses for balance instead of my inner ear. Sound is situationally useful. If I know where the source of sound is in a room physical world, I can use that to estimate my position and direction in that room.

Of course, it’s possible there are multiple ways to have a good sense of direction. Mine works like a map. For other people it may just be an intuitive sense using a different type of analysis.
There's a reason these uncomfortable conversations are uncomfortable, and it's precisely that: you, as a founder, know that the odds of the employee striking it rich are slim, but have to sell them on joining the company.
In firefox, you can get this by navigating to about:translations
Cool! I had no idea. Kind of just forgot that they existed because it's been almost 20 years since I downloaded a game save
In fact, it sounds like the 40% includes all exits, including those that returned only 1x. That would mean that the 60% is all 0s, and that the chart shows a negative total return in all rows, without even discounting for the holding period.
Wouldn't this create an incentive for increased management bonuses in order to "tax-optimize" the profits?
To be clear: there are two related but ultimately separate claims here.

1. Shor's algorithm won't work on the very noisy quantum computer we have for the near and intermediate future.

2. Shor's algorithm won't work on a hypothetical error corrected future quantum computer.

Claim 1 is pretty convincing proved in the paper. Claim 2 is not. The author puts forward some arguments for claim 2 in the introduction and conclusions but explicitly states that he does not prove it.

I think the point of view that the person you're replying to is talking about is claim 2. There are pretty good reasons to believe that claim 2 is false in my opinion, in particular we have threshold theorems for quantum error correction which should "save the day" for quantum computing.
AI Software Engineer Planning Prompt
We open-sourced a single-machine version of the backend: https://github.com/get-convex/convex-backend

It doesn’t use Kafka, the transaction logic is custom implemented in Rust.

Convex does not have special support for unique constraints, as they are easy to implement in your own code (like you wrote, the mutations are happening “inside” the database). This follows the philosophy of making it clear what the database primitives are, and hence what performance you can expect from the database.

Of course since your code is all JavaScript/TypeScript, it’s easy to layer in constraints via a library, like in https://labs.convex.dev/convex-ents/schema#unique-fields
Wait… they don’t already? What is even going on over there?
No: https://news.ycombinator.com/item?id=39968914
> Can't you rebind the tab key in the VS Code plugin to something else?

That was my goal. I figured tab + some modifier would be great. I spent quite a while looking for ways to do it, tried about a dozen, but it doesn’t seem like the feature exists. Eventually I had to just turn it off so I could actually get my work done.
Even this isn't sufficient, because some problems with over-indexing don't become apparent until the size of a table gets much larger, which only happens a drop at a time. I suppose if it was always probationary and continually being evaluated, at some point it could recognize that for example INSERTs are now taking 1000x longer than they were 2 years ago. But that feels like a never-ending battle against corner cases, and any automatic actions it takes add significant complexity to the person debugging later.
Doesn't "continuum" start getting untenable under the Planck length?
I actually like K-POP because I don't understand a word of Korean.
it’s almost certainly not identical now, it just used to be at conception
Default DB for App Engine (NDB) has this feature. Implicit indexes are tad annoying.
I might be misremembering, but IIRC RavenDB does this (it's a commercial document DB, written in C#).
I’m okay shifting it to income tax. As long as it’s collected.
I think a better way to think of this is to attack it from the other direction. What can't you live without? Or more broadly, what do you consider to really not be a luxury, but truly table stakes?

Here are some ideas:

- You say you're happy with "in the low 60s F in the winter", but what if you had no heat? I don't know where you live, but where I live this would be untenable. Because of abundant energy, I can live in a place that is in the 0s through 40s pretty often, without having any wood-burning heat source in my house, or spending a large amount of my time cutting and splitting wood. Not to mention how much deforestation it would require if we didn't have abundant oil (which is much better to refine from petroleum than whales, btw), gas, or electricity.

- You say you're happy without driving "frequently". But what about driving at all? The pre-gasoline solution to getting individual people to individual places was literally horses. Bicycles actually work pretty well now for this, but only because of all the roads that have now been built everywhere to support cars.

- Speaking of that, are roads and sidewalks a total luxury, or are they more important than that? Concrete is another critical component of our modern infrastructure that is downstream of sucking super old dead stuff out of the ground.

There is so much more of this sort of thing: grocery stores, modern medicine, illumination when the sun isn't up, it goes on and on. It is not hyperbole to say that human civilization at anything approaching the current scale and standard of living has been achieved on the back of abundant energy from fossil fuels.

It would not be impossible to roll this all way back, but it would be impossible to do so without devastating impacts to people currently living.

I strongly believe that rather than retreat, the far more promising path is to advance. As abundant as energy from fossil fuels has proved to be, they don't hold a candle to the energy that exists in nature: the sun sends us an astronomical amount of energy each day, the earth is mostly made out of rock that is hotter than industrial kilns, the bonds of particles within atoms themselves contain a huge amount of energy. The challenge is that these forms of energy are much harder to extract than lighting hydrocarbons on fire.

The trick is to make sure we use enough the abundant and easily accessible energy we have today as an investment in our collective project to lever up our ability to tap into the even more abundant but difficult to use energy that is laying all around us.
This is kind of how Convex works under the hood, and so we might add more temporal/auditing functionality in the future (like a time-traveling debugger).

You could also implement this on top of Convex, if it makes sense for your write volume.
> so should religions [...] pay taxes

Oh, heck, let's not get into that argument here...