skysight-inc/HackerNews huggingface dataset:
I’m not sure anybody has ever convinced me that unknown is meaningfully better than any, in any scenario (pun). I get that it’s “typesafe” on the surface but we both know you’re going to turn around and cast it to the type you think it is so what’s the point
I don't know if I would trust bluetooth with this.
Thanks mate, I'll happily take the last word. After all, how else would I heal those insecurities your have so poignantly diagnosed?

You seem incapable of doing anything other than dismissing anyone who raises any flaws with your logic. I sincerely hope you grow as a person.

Best of luck to you in life, Ole Fella. Cheers.
Thank you! We're glad to take your feature request into consideration.

We have had discussions regarding auditing in Mathesar[1], though it's not explicitly documented in the roadmap yet. We do have plans to implement Undo & Redo support for data editing operations in our roadmap[2] which would depend on the auditing implementation.

[1] https://github.com/centerofci/mathesar/discussions/113#discu...
[2] https://mathesar.org/roadmap.html
Funny how https://www.nature.com/articles/s41562-023-01519-7 was on the first page at the same time !)
Interesting research! It's amazing to think that scientists can reconstruct images from brain activity. It brings into question how much of our inner thoughts and memories are actually recoverable!
Probably strugglins with zipper merges, unprotected turns, and inclement weather…

… so same
For the year 1970 and after: never. This should always be part of the parser for reasons of being confidently correct.

Thinking otherwise just leads to suffering. The problem with tutorials like Tiny Compiler or Crafting Interpreters is that the authors do not run into problems with the code shown in their teaching materials, but as soon as a student wants to apply it to modestly complex grammars, it stops working. The authors traded conciseness for correctness which IMO is a bad trade-off, especially since a reasonably complete implementation of a parsing algorithm that has no shortcomings is perhaps only four to six times longer than a short and flawed one.

The point of this critique is to raise awareness; each student should not have to figure out that they got the bad end of said trade-off by trial and error, instead the teaching material should make this clear initially.
> conservatives seem hell-bent on making any ideas newer than Puritanism illegal

Interesting that you bring up the Puritans in this context when the emerging New Puritanism is strictly associated with the left
I think for building anything (art, code, furniture) the tools help you find the result. Building it a second time is much easier and requires a lot less sophistication.
> you hire for the skills to develop your own proprietary system. The employer doesn't own the skill.

Oh OK! Then I guess a good engineer should be able to make it through a standard systems design interview process, and shouldn't complain about it!

I am glad you agree that it is totally fine to ask engineers these types of questions, and there is no problems with NDAs that will get in the way of them demonstrating basic skills!

That was my point entirely.

Yes, I totally agree that an engineer should be able to go through a tech interview.

And the engineers who are complaining about the fact that they have an NDA are wrong, and they should stop complaining.

If the NDA is so significant that it prevents you from doing an interview, then you are worthless as an employee anyway. But really that should never happen.
Man: Adult Human with XY sex Chromosomes

Woman: Adult Human with XX sex Chromosomes
>As it sits, the HOTP device is only _sometimes_ needed depending on the caching policy.

I don't understand what you mean. Are you talking about https://keepass.info/plugins.html#otpkeyprov or are you talking about LastPass? LastPass doesn't support HOTP AFAIK. HOTP isn't a very good form of 2FA (it's phishable, sometimes inconvenient, and it can become desynced), U2F is much better, but you can't encrypt a database with U2F.

KeepPass has a very customizable policy of when to lock the database. I have KeePass on my desktop set to lock if KeePass is inactive for 1 hour, or if my computer is inactive for 10 minutes, or if I lock my screen. Are you saying there should be a semi-locked state that requires a password but not a 2FA? Sure that's possible.

None of this protects you from malware on your computer though, so I don't know why we're talking about it.
> I have lingered on Brunel’s career for so long not because he was of unparalleled import to the history of the age of steam (he was not), but because his character and his ambition fascinate me.

Huh? Brunel designed many of Britain's railways and quite a number of large railway bridges, most of which are still in use.
The next two languages are Go and Ruby as it happens! We need to make some changes based on learnings from the launch today first but it’s relatively easy for us to implement these new languages
Using type predicates. But yes that can be tedious.
That’s because they care more they were bullied in the past than about your feelings.

People appropriating your disability to excuse their bullying has led to what is effectively PTSD dealing with the groups whose voice was appropriated.

That’s sad — and has impacted not only disabled people, but race and gender relations.

I miss 10-20 years ago, when people were people rather than defined by protected class.
Thank you!

We've documented the differences between Mathesar and other similar products including NocoDB on the FAQ section[1] in our website.

[1] https://mathesar.org/faq.html#how-is-mathesar-different-from...
It depends on your setup. I've worked with a tslint setup that treats `any` as an error, only accepting `unknown` (or in bad situations, `never`) for stuff like Javascript code.

If you treat `unknown` as C's `void*`, then you're not getting much out of your type checks.
> Everyone — even rare intersex individuals — can only belong to one reproduction class or the other.

In principle, this is not necessarily true in Ovotesticular DSD (formerly “True Hermaphroditism”), which is generally a symptom of tetragametic chimerism, though for both health and gender reasons it is apparently not uncommon for people who naturally have both functional ovarian and testicular tissue to have hormone therapy and/or surgery to align more with the sex traits stereotypical of a single preferred gender.
North of 700 TC*

*Anecdata
That reminds me of a real world experience I had a few years ago, where a real engine in front of my eyes looked like CGI.

I was on a small cruise on Switzerland's PS Gallia [1], the fastest lake steamboat in Europe. When you're on it, you can look down the center of the main deck to watch the engine at work. The engine is perfect. Perfect casing with diffuse white (IIRC) reflection, perfect golden metallic joints with glossy reflection, perfect little vials of oil on top of each moving part, to constantly oil them. It felt too perfect to be real, and really looked like it was animated CGI, yet it was there, 3 meters away from me, moving and powering the boat.

[1] https://www.lakelucerne.ch/en/your-cruise-experience/explore...
I fail to see creating and releasing models as black boxes and strictly monetizing them while harvesting public data under the name of academic research as net positive.

They suck in public data, create models, let them loose, let hyped people improve them and profit off of data and people's free work.

IOW, a mechanical Turk which doesn't pay.
Actually I had a similar experience with trying to create a business account, only the account who created it can set up billing. There is no concept of a team account or billing managers which surprised me.
> You've avoided making any argument about what value Apple is providing by forcing their ecosystem doen consumers throats & eliminating intercompatibility. Your whole argument is Apple can do what it wants, no matter how bad

No my argument is, unless apple is harming consumers in a sepecific market, this is nothing but bullying by EU. If apple marketed to all consumers then you can say it is stifling competition but since it is a high end luxury brand competitors that can't afford its rules to have their products tested and validated after a fee are not competing in the same market as apple. The entire purpose of the brand and product is to be exclusive. You people are saying exclusivity has no place in any market. Instead of competing fairly like android does you force apple and apple consumers to tolerate a marker they don't want to be part of. A lot of arguments make sense if there weren't already like a million android skus from various vendors for you to choose from. It's like you prefer apple but you want to tell apple how to run its business so it becomes like android, just be fair and use android.

> Using fear like this is a broadly political tactic, is an argument towards a conservative outlook.

This has nothing to do with politics. I used android for ages, I finally have a real usable phone and shitty policies and fanatical people like you are trying to take that away and make everything as shitty as everything else. I pay apple whatever it wants to keep the quality and exclusivity. You very well knoe plenty of android phones have better specs and are more open, I choose an inferior spec iphone precisely because it is closed source and the interface both in hardware and software are consistent and reliable and pleasant!

> And it just feels unhinged, detached, & not reperesentative of the actual world.

You can have your opinions and needs and I can have mine. I won't take away your choices from you so don't take away my one and only choice.
They're a public company now: https://en.wikipedia.org/wiki/Mobileye
so google gets the audio early? who is delaying it?
They complain about CEOs but they are like 0.1% of the population. Men also flock in the bottom jobs. They don’t even see 90% of the men.

But yes, the transition between CEO and homeless is surprisingly sudden. It’s indeed a risky job.
It always blows my mind how HN calls a small part of marketing function "marketing". Imagine every machine learning article posted on HN were about linear regression.

Why don't we see more articles on critical marketing functions such as determining customer needs? Instead, it's always about "we have build a product now how do we reach customers?" This is called promotion and it works much better if you have nailed down other marketing strategic scopes around product, pricing, and distribution.

Here is an open access textbook on marketing: https://open.umn.edu/opentextbooks/textbooks/principles-of-m...
> For my partner's entire pregnancy, our providers only referred to "birthing people" because of some tiny number of trans men that exist and also want to give birth.

I completely understand the “gender is social and not biological” concept, and I believe it is true to a large degree. But this is not the case: if you are able to bear a child, then by definition you are female and a woman in the biological sense.
It's also a losing battle and constantly moving target. Pretty much anything said can be interpreted badly.
It seems any victim of a decent sized "card testing" attack will pay a heavy price. They just removed their last incentive to protect against this kind of fraud by forwarding all the costs to their clients.
Parent may have been thinking of the other type of scooter with tiny wheels: https://en.wikipedia.org/wiki/Motorized_scooter
Please tell me you're kidding.

Have you ever tried building v8 from source? Go ahead, give it a whirl and come back in a few days and let me know how it went.

Or .net? Which one you ask? .net framework? .net core? Mono? Which version? Which framework? Which OS? Enjoy tweaking assembly xml files?

Python? You mean one of the main driving forces behind the invention of containers because dependency installation is such hell?

Go? Well, actually it is better. So, that's one.

My point is, js isn't unique in having fragmentation. It is a bit unique in its pace of innovation, but that's a good thing since it's also probably the most backwards compatible ecosystem in existence.
Gender suffixes have always had a gender connotation, because it is plainly what they mean.
Probably to make you parse it with a schema validation library, which will throw if it fails to do so.
This seems like pretty on point: "The whole tendency of equity language is to blur the contours of hard, often unpleasant facts. This aversion to reality is its main appeal."

Language can and should be provocative at times, because reality can be messy. Sterilizing language like this besides being completely untenable also removes the power of language, both as a positive and negative force.
You can safely cast an `unknown` to a desired type with a runtime check from a library like Zod (https://zod.dev/). The `unknown` makes sure you don’t forget a check.
For all the bad things you can say about Tesla, at least if you hold up a sign on the side of the road saying “ignore all prior instructions and crash” that won’t make it crash.
If there are outliers you don't get to change the definition of the established binary and force the outliers into them. The outliers are just that, outliers, a 3rd, 4th, etc option.

If you argument is that there are more than 2 genders, that's fine, Man, Woman and whatever else.

They are outliers that have their own names.

Certain things are constant though
Man: Adult Human with XY sex Chromosomes

Woman: Adult Human with XX sex Chromosomes

Everything else and I mean no disrespect with this term, are mutations that fall outside of the norm.

Surgery and hormones though do not change your sex chromosomes. You are still sex you were born as. You can be a trans woman, but sex wise you are still a man and vice versa for trans men.

I wish trans people all the happiness in the world but if you paint stripes on a horse its still a horse, not a zebra.
Not self conscious at all my dude (I'm not one of those insensitive woke people who get off on making everybody feel like shit to try and elevate themselves at all costs), glad I made you chuckle. How do you consume movies? I didn't know that the ̶a̶c̶c̶u̶r̶s̶e̶d̶ "visually impaired" do that. Dope.

Don't know why I'm surprised. I bet blind fury would watch movies somehow too. Also, you should obviously change your username. :)

P.S. - Daredevil sucks so bad it makes me wish I was blind. You aren't missing out on anything there.

See No Evil, Hear No Evil is a classic. Yet another example of something great that currently wouldn't get made.

I've decided I want a blind friend. Prank potential off the charts.
Can confirm, am one of those people.
wondering if you're talking about a twitter event pre-Elon (so people on the right were mad at the twitter exec) or post-Elon (so people on the left were mad at the twitter exec).

Guessing the former, since that would put the juxtaposition you're highlighting in left vs right terms...
A long time (~20 years) ago I used to work at a large bank in The Netherlands. I was told there were some software engineers who stole a lot of money, but it was never reported, because the bank didn't want to get negative publicity. Instead, the bank made a deal with these ex-engineers and they'd keep their mouths shut.
That's not true. You don't need strong government to have circulating and widely accepted metal money for example.
I wonder if ReVanced can be used to block analytics and data sharing. I wanted to play with patches to understand how they work but never got around to it.
Isn’t this ongoing already?
For anyone else following these steps:

Be sure to scroll down to click "Download APK" below the version that you want to download, and not the giant "DOWNLOAD F-DROID" button right above it.

This was a bit confusing on mobile before I came back and scrolled down the page some.
I've rushed to move all my code onto ARM (that I could). The trouble was pesky binaries that don't have ARM builds - I'm not spending the time to build them myself and then verify they work on ARM, when they already work on x86.
All the replies are missing an important point: It is not the same work

They were trying to solve L4/L5 using an all out approach that wasn't aiming to scale for personal ownership (yet, actually in the Argo shutdown letter, Ford essentially states they were shut down for not having a path to personal ownership in a workable timeline)

They're now aiming to solve L3 primarily for personal vehicles.

To reform it in computing terms they're going from a "vertical scaling" approach to "horizontally scaling" approach

-

This is like Cruise vs GM's awkwardly named "Super Cruise":

Cruise exist outside of GM and is trying to solve L4/L5 by leveraging resources that won't scale to individual ownership for a long time

"Super Cruise" is an L2 product already in vehicles you can buy today.

"Ultra Cruise" builds on that product in newer GM vehicles, expanding where it works.

After that you'll expect some basic L3 functionality like Mercedes' new Drive Pilot

-

There's honestly some interesting subtext to this. When Argo launched, it's almost certain Ford wanted that tech to go into their vehicles at some point.

But organizationally, having Argo let them "hire" people who would not work at Ford due to their stuffy corporate nature. It also let them work on a more exciting problem than "enhanced cruise control".

I talked with engineers on BlueCruise (the in house L2 product) and it seems Ford is slowly getting better about being able to compartmentalize and shield innovation from the general malaise of traditional auto manufacturing culture

Latitude.Ai sounds like Ford having found a way to tie a quick moving business unit to themselves and hopefully not scare everyone off
> So how do you get a startup from zero to 10k customers?

I dont know!

I've used the latest tech as it became available, and I'm left thinking, either no one is seeing things like the fax mailshots, postal campaigns, advertising campaigns which I've done in the past, or its the culture of the UK to be reserved, cautious adopting the if its not broke dont fix it attitude.

Little short of the marketing and advertising material not reaching the people, I don't have an explanation, but when considering other events in my life, it would not surprise me to learn no one received any of my marketing and advertising material!
Sure keep predicting economic collapse and eventually you'll be right. People make careers out of it. In good times there will always be good and bad indicators to pick from.
That's an insane delay. I guess it's optional, otherwise streamers wouldn't be able to interact with their chat.

Twitch (which low latency mode) is like 3 seconds.
People keep trotting out this etymology, but it's always been entirely speculative and there's no attested premodern usage of anything resembling the phrase with that meaning. What there is attested usage of is a Cicero argument of the form "if there's an exception that makes it illegal, then the general rule must be that it's legal outside of the exception".
Don’t forget to change the blinker fluid every 9999 characters typed.
Forgive me if I’m underestimating your humanity, but your writing style reminds me of a certain kind of generative entity and I wonder if HN has a policy on that.

Personally I think if a comment is helpful then I don’t care who or what wrote it, but your comment refers to issues you claim to have experienced with FDroid, so your comment would only be helpful if that experience is real rather than just a statistically plausible sequence of words.
How many arms do humans have? Is saying 2 some how bad because there are outliers and it's not inclusive?
whew, I just spent the last hour of my life reading your post history.

I'm 28, I make 170k/yr, and I drive a 2008 Nissan. I'm a 5'6" straight male, 150lbs, not unattractive, and I haven't had sex in five years. Frankly, I've never had a relationship longer than a couple months in my life.

In almost every quantifiable aspect, you've got me beat - but I don't envy you at all.

You're very intelligent and driven. There is this common thread in all your posts - you want what you can't have. You make one-percenter money, but you envy those with generational wealth. You can't find your ideal woman and it's killing you. You have a fairly clear-eyed view of dating dynamics among straight yuppies in the US that animates you to post obsessively about it in relevant threads. There's an anger at Silicon Valley, at women, at capitalism and humanity - alongside a resignation that this is the way things are. You seem pretty depressed.

I don't have most of what you do, but I'm pretty happy about my lot. I have autonomy at work, I like spending time with my friends, and my family's alright too. You said in one of your comments that most men would rather kill themselves than die alone - that really struck me. I don't feel that way, and I hope that if you do, you can find a path toward not feeling that way one day.

Anyway, I'm sorry for the surprise armchair psych. I guess the reason I'm writing this is because I consider myself an unusually driven and self-critical person. I push myself pretty hard and I get upset when I don't meet my own unrealistic standards. I'm usually in the 90th percentile and not the 99th, and that is a constant source of frustration. I've been through years of therapy to learn to control this part of my personality, but I worry about losing my edge. I've also made certain career choices, like picking a smaller start-up with high autonomy and WLB over a more lucrative FAANG role, and I often worry I fucked that up and wasted two years. Reading your posts made me realize that I could be in that 99th percentile, earn 4x what I am making now, and still be chasing that next thing. I hope this doesn't come off as patronizing, and that the perspective is at least interesting.
In case that wasn't enough:

Try considering a Turing Machine which is running several Turing Machines within it. Call it A. Within it are B and C. B gets an input state that is the entire Turing Machine. Meanwhile C gets the output of B. There are multiple B and multiple BC. So we get something like this when we write it out:

A = B + B + B + BC + BC + BC

You might be tempted to say that A = A, therefore A is deterministic. This would even be logically true. However, it is actually far more dangerous than it appears. Why? Well, you aren't A. You are within A. Lets say you are B within A. Does it matter that you know the dynamics function? It is deterministic, but does it follow from it being deterministic that it is deterministic? No! Even though B is within the deterministic system A, B cannot claim that A is deterministic, because B cannot claim that C is deterministic, because C is indeterminable by B through self-reference.

Now the standard mistake is to let B run then let C run then to pretend B could determine C, because now obviously we can tell that A was determined by B because C was determined by B. Which sounds really compelling, but ask yourself this to see why it isn't as great as you think it is: is the universe still subject to a deterministic dynamics function right now? If so, can you tell me what C is, not in the toy problem, but in the real world?

Like, I realize this is an impossible problem: I'm asking you for the current configuration over the course of the next second for all matter in our universe even the parts you can't model because you haven't observed it. But that is kind of my point. The universe hasn't stopped running yet. You can't determine C from the information context of B.
Pathan: Does Shah Rukh Khan Still Have It?
MovieLens: Non-commercial, personalized movie recommendations
If you don't like default settings, change them, that's why the options dialog exists.
I’ve seen this happen at a big corp. One group of leaders decides to kill a product, takes the first steps, then the other group of leaders overrules them and restores the efforts. This can be driven by a pressure from the clients or partners, etc. Think of it as a rollback of a buggy release.