skysight-inc/HackerNews huggingface dataset:
Comments moved to https://news.ycombinator.com/item?id=40128285, which is currently on the front page.

(Btw that submitter was the first HN user to post the article but to re-up it a la https://news.ycombinator.com/item?id=26998308, we had to make a fresh submission)
It's "obvious" because 7 is always slanted here. But I know it's not the case in North America and I have a good experience on how numbers can be misinterpreted, as I said.

I was just saying it was obvious to me and it even takes effort to see how they could be misinterpreted. But I know they can be.
Yes, I'm referring to that specific product and process, since I believe the author also was.
There isn't much of a connection between being Israeli and being gay though. A quick check of the LGBTQ demographics[1] shows that actually Israelis are only a little over twice as likely to be gay vs. the US for example.

> In a sample representative of the Israeli Jewish population aged 18 to 44, it was found that 11.3% of men and 15.2% of women self-reported attraction to the same-gender

> A 2017 Gallup poll concluded that 4.5% of adult Americans identified as LGBT with 5.1% of women identifying as LGBT, compared with 3.9% of men

[1] https://en.wikipedia.org/wiki/Demographics_of_sexual_orienta...
Isn't that exactly what VW did? No more GPS. Just use CarPlay.
This widely held opinion generally doesn't survive a couple days of non-gaming use.
IBM nearing a buyout deal for HashiCorp, source says
ledger-cli is rock solid but it lacks a decent TUI.

Really all I want is an 80s TUI accounting app that "just works" as ledger does but with a menu driven interface with keyboard shortcut support.

Modern stuff like multi-user capabilities, plugins, templates, API etc. wouldn't hurt.
HoloLens didn’t fail, it just changed:

https://defensescoop.com/2023/09/21/army-awards-microsoft-95...
Show HN: An application to pick one between undecidable options
Yes. I know this. What I'm saying is that even if a consistent system that was strong enough could prove it's consistency then it still wouldn't tell you anything. There are system that can prove their own consistency for which it is known that they are consistent.

https://en.wikipedia.org/wiki/Self-verifying_theories
Do people do that? I just use my phone beside the old useless infotainment. Honestly, I wouldn't buy a new car that used an in-house infotainment specifically because they go obsolete quickly (<5-10 years) and cannot be economically (or at all) to the latest tech. Carplay seems to be long lived.
For me, the fact that it updates with your phone every year is a game-changer! The end of those bad user interfaces.
While you're around, I have a question: In TST, the restriction for x^m in y^n is that n = m+1, i.e. the level must increment by 1. In TTT, the restriction is instead that m < n, there is no requirement that it only be 1. Now, in NF, the restriction for set membership in stratified formulas is also +1. Is it possible to relax this to a "Tangled NF" where the set membership restriction is only that m < n? This would resolve issues such as how many levels it takes to construct an ordered pair.
I drove a Subaru Solterra for a while, and I really enjoyed it, and it felt like a traditional car, not like a crappy tablet with a (pretty good) car bolted to it.

Except the Solterra's range was kind of short and charging was more painful than a Tessa. Tesla really has charging down, and that's a big deal if you cannot charge at home or work. Teslas charging is both faster and generally works at more stations. The Solterra seemed to have more trouble syncing up, and the plug wasn't as common, so you had to plan ahead more.
come on. It is AOL of cars.

This isn't "we're going to deprecate your car, buy a new one". People will buy them anyway.

It is "You're going to pay for AOL, even though we have the internet"

And when you sell your car, some other dumb schmuck will buy it used and sign up for AOL-of-cars.
They could at least open source all the stuff on google graveyard which will give us so many awesome softwares . Sadly they are now now sitting on some random hard drives.
I knew Google had jumped the shark when Larry and Sergey started trying to convert a Boeing jet into a corporate jet.

That was a couple of years before the rest of us started smelling smoke coming out.
I do, too, and agree with what you're saying. This device is great if you can afford to drop the cash on it and have use cases for which it excels. I would love it to run Mac apps, but am just as happy projecting my Mac to it. Content consumption is great on it, and I really enjoy working with it on. If only my coworkers didn't find my ghostly Persona do off-putting during Zoom calls.
I don't think you refuted the underlying point so much as gave cause to it. The idea isn't that simply stupid people rise to the top, it's that people who are capable of gaming a system without providing for or attending to the system they're deftly traversing are floated by their EQ/credentials/jargon straight over the corpses of the things they were actually meant to shepherd or build. I have seen this over and over again, and frankly managed to sometimes straddle the line enough to play along and be the beneficiary of this sort of corporate backchannel -- it's a very real, very human thing.

I've watched wildly incapable people bluff their way up a corporate ladder, fail over the course of two years in an elevated role, and then use that previous title to bluff their way into better positions elsewhere (and then leave those positions before they're totally found out to move on to somewhere else with a yet better title). I've watched people come out of McKinsey into the startup world, talk a major game -- they are the best conjurors of business fantasy at strat plannings and my god, those decks -- but then utterly fail to deliver for years only to end up with SVP roles at major companies on the "strength" of their backgrounds.

I get it: play the man, not the puck or whatever...but eventually somebody has to make sure the puck ends up in the fucking net and not sold off to buttress quarterly earnings.
Ten years ago was 2014, there's been a lot of changes to Spotify in 10 years, not even just in types of content (podcasts, audiobooks, music videos) but the whole recommendation system, daily playlists, discovery playlists, lyrics, even banal things like playlists folders didn't exist 10 years ago.

There's also a lot of scaling into new markets they didn't have presence in 2014 (which requires scaling in billing, legal, accounting, etc.).
This was a good one: https://www.wheresyoured.at/the-rot-economy/
“War and Peace” has more complex history.

First revision had nobles speaking French when suitable, because “everyone” could still speak some French in Tolstoy's times (just like people in IT all across the world link to original English documentation every day without even thinking about it).

Then it was found that “everyone” meant “well-educated nobles like Tolstoy”. For second revision, Tolstoy rewrote all French utterances into Russian (and moved most of philosophical sections to dedicated postscripts).

Then it was reverted to original form (with later corrections), but with translations of French text in footnotes.

Second revision was printed in “cheap” editions, third revision was used in higher quality ones. Later Soviet prints follow Collected Works version based on French-enabled revision (and thorough comparison of printed editions and manuscripts).

Depending on the age of your translation and its source, you may find any of those. Some translators also chose to translate French instead of using footnotes.
There are music videos on Spotify these days.
I just tried to create a company named 'Test Company' and got validation error. I changed to 'Real Company' and got through validation. That's just silly logic. What other special validation will trip me up? What if my company name is really 'Test Company'?

How do I receive a payment against an invoice?
What sort of engine improvements and/or QOL features does it add? How does it compare to something like Fallout Fixt or Et Tu (uses FO2 engine)?
almost always I really liked the book when a friend recommended it or i stumble upon online thread/conversation where somebody recommended a book. I rarely liked any book that was recommended from some recommender platform like goodread or other variants
They didn't. Following launch week, the number was revised upward from below this new number based on the pace of sales in launch week.

They seem to have misestimated the number of folks deliberately purchasing to blog or YouTube about it then return it.
HashiCorp reportedly being acquired by IBM
> Do other languages have similar features?

No, that isn't a language feature. Japanese doesn't have that feature either. Note that a written text displaying this feature has no spoken equivalent.

Other writing systems do have similar features; it's common in Chinese internet culture.
Regarding the stricter separation, Racket and its module system have nicely clear concepts of phases. (I really like how the Racket module system has been used these to benefit the language.)

But, though I don't know current Racket internals, I'm not sure those need to be a barrier to monkeypatching that approaches CL.

Other than optimizations that make some debugging info and dynamic changes difficult-to-impossible, if the system had a mode to disable these optimizations (or to maintain some information in parallel that permits a cascading unraveling of optimizations affected by a change), I'm not aware of a fundamental reason the system couldn't support more loose poking at things.

Though, one implementation complication that Schemes do have is first-class continuations.
See also San Escobar: https://en.m.wikipedia.org/wiki/San_Escobar

With a delightfully detailed map (featuring San Serriffe as a neighbour!): https://www.polityka.pl/multimedia/_resource/res/20122854

And a writeup by said map’s author (google translated from Polish): https://jarekkubicki-wordpress-com.translate.goog/2018/01/12...
Then ship it opened up, but perhaps more unpolished, to devs. Right now I think it's lack of success is that it's inbetween both. It's useless as a dev kit, too polished and locked down. Useless as a consumer unit when no one makes things for it.

While Oculus didn't take off, the DK1 had a massive hype and a large community building stuff.
Then why did you write:

To reiterate, teachers college training does not ensure that your child has an education that focuses on fundamentals and yields effective learning outcomes, nor does it ensure that all teachers do well.

if you knew what I was suggesting?
The hubris of Apple to think people would buy such an overpriced and underwhelming headset. They should have developed a mid priced VR headset.
China as a Threat and Balancing Behavior in the Realm of Emerging Technologies
Related. Others?

Doug Lenat's sources for AM (and EURISKO+Traveller?) found in public archives - https://news.ycombinator.com/item?id=38413615 - Nov 2023 (9 comments)

Eurisko Automated Discovery System - https://news.ycombinator.com/item?id=37355133 - Sept 2023 (1 comment)

Why AM and Eurisko Appear to Work (1983) [pdf] - https://news.ycombinator.com/item?id=28343118 - Aug 2021 (17 comments)

Early AI: “Eurisko, the Computer with a Mind of Its Own” (1984) - https://news.ycombinator.com/item?id=27298167 - May 2021 (2 comments)

Some documents on AM and EURISKO - https://news.ycombinator.com/item?id=18443607 - Nov 2018 (10 comments)

Why AM and Eurisko Appear to Work (1983) [pdf] - https://news.ycombinator.com/item?id=9750349 - June 2015 (5 comments)

Why AM and Eurisko Appear to Work (1984) [pdf] - https://news.ycombinator.com/item?id=8219681 - Aug 2014 (2 comments)

Eurisko, The Computer With A Mind Of Its Own - https://news.ycombinator.com/item?id=2111826 - Jan 2011 (9 comments)

Let's reimplement Eurisko - https://news.ycombinator.com/item?id=656380 - June 2009 (25 comments)

Eurisko, The Computer With A Mind Of Its Own - https://news.ycombinator.com/item?id=396796 - Dec 2008 (13 comments)
Yea I’ve run through that a couple of years ago - was brilliant, had a lot of fun. But I mean to stay up to date and somehow contribute from the sidelines
100 billion (round figured) isn't a lot when you are going to create a new large company or invent fusion or fix climate .
Feels like a special-purpose layout that more properly belongs in a framework than CSS.
> Democracy / constitutional republic is an option for highly intelligent and engaged population.

Democracy works best when the population is dumb, scared and disengaged.

> Without democracy, revolts just result in more revolts because new rulers have no special claim of legitimacy.

No. It works the same way with or without democracy.
Top of my head, most car makers aren't rolling their own. It's either off the shelf with some white labeling or they buy it from another care manufacturer. i.e. Mazda default infotainment can be found in some Toyotas
Hope you keep going with it, it’s a blast!
Are there any places like it nowadays?
Just to be clear... In your worldview selling AI to a mass murdering apartheid state is not political, but talking about it is?
> way beyond the capabilities of standard SQL

Maybe the more precise language would be "way beyond the _expressive_ capabilities of standard SQL". Ultimately Hashquery compiles into SQL for execution, in that way it's a bit of a transpiler.

One concrete example is funnel analysis. In SQL, an efficient funnel analysis on large data sets will span several hundred lines of pipelined queries; writing, reading, and re-parameterizing this is very challenging. In Hashquery, it's abstracted into a single function call: `model.funnel(*str[])`.

> AI and LLMs (coming soon)

Frankly? SEO just told us to drop "AI" _somewhere_ on the page for new `.dev` website. I agree it's a little silly to make it a top-line bullet point.

We do think Hashquery is better suited for coding co-pilot tools, as it's a known language, and you can establish API boundaries that an AI tool won't break into and futz with (good for writing queries on top of already defined business logic).
When I looked into this previously, the delay seemed pretty significant, not just upon auto connect. Can you recommend your dongle?
The thing I find really aesthetically pleasing about NF is how it adjusts the axiom of subset selection so that "the set of all sets" doesn't cause Russell's paradox. Basically it requires that the predicates you use to select subsets must obey a certain very lightweight type system. "x is not a member of itself" is not a well-typed question under any reasonable type system, and in particular it doesn't satisfy NF's "stratifiability" requirement, so you can't use it to construct the Russell's-paradox set of all sets which do not contain themselves.
I mean, theoretically they could make money by selling additional services. Tesla sells "Premium Connectivity" for ~$10/mo, though it might be against the license agreements traditional manufacturers have with dealers to sell enhancements directly to the consumer.

IMO it's more about control over the user experience. You don't want your customers' UX to be dependent on the whims of Apple or Google, because now you're implicitly building a long-term dependency with a third party that may not be acting in your interests in the future. You're moving closer toward a future where the vehicle becomes commoditized, and now you have more trouble differentiating from competitors. And keep in mind: it's only very recently that the "Apple car" project was cancelled.

That said, traditional automakers are also famous (or infamous?) for sourcing tons of components (including infotainment systems) from the same parts manufacturers. But I guess at least that retains the ability to pivot and use it as a point of differentiation in the future.
I know at least one person who left Red Hat for HashiCorp. I could imagine how they feel to be back(ish)
I thought it was a very good description. The person mentioned is responsible for turning one of the most important pieces of software used by billions, into user-hostile experiences that's better for only a few, including himself, just for profits.
Yes, but it's not demographic-specific, because it doesn't happen in all cities.

And all large cities have all demographics.
I don't think breaking DRM is inherently the same thing as piracy.
AI and String Theory
kind of funny a back up camera is now considered a "dumb" car feature
I have a 2018 Chevy, and cancelled onstar immediately, which was intentionally an exercise in annoyance and confusion. But I still got metrics emailed to me.

I found a way to detach the wireless dongler tucked up behind my glove box. The only side effect was my little digi-compass not telling me which direction I was pointing anymore.

I don't think they let you do that anymore.
CarPlay and Android Auto run on your phone and outright prevent the car manufacturer access to data (they only expose the video and audio streams). Whatever data selling is going on it utterly disconnected from those technologie.

So what exactly are you ranting about here? Why this rant when you don't seem to know what those technologies are?
I am unable to understand your comment . Can you please explain a little bit more ?
I think your intuition is off here. The number of sequences to enumerate is much greater than the number of atoms in the universe. You need a smart way to enumerate these and that's what the LLM is for. The statistical parrot is not a detour its a shortcut.
When my colleagues at my day job discovered I'd published a novel, I could tell roughly how many of them (most) bought it right away from my sales stats... I've sold more than average, but to put it this way I'm still very happy I don't depend on it for money.
Yeah, it seems like a fairly small thing until you're in rain, and the wipers are going crazy over a few drops of rain, or are too slow during a heavy downpour. You're constantly interacting with this awkward setup to change the rate the wipers work at, and it's fairly easy to accidentally change the radio station or volume.
It’s difficult to unambiguously and usefully specify what should happen when not all constraint can be fulfilled. And you can likely also DOS browsers by exponentially exploding constraint calculations. CSS is bad as a layout system, but I also don’t like constrained-based layout systems unless they enforce that the constraints can always be fulfilled and be calculated in reasonable time. Which implies that you wouldn’t be able to change the layout willy-nilly client-side with JavaScript.
Geoponica: Roman Compendium of Agricultural Practices and Culinary Wisdom
(Elephant in the room) Free-as-in-beer Java!
How significant is the demand for advanced infotainment systems like CarPlay 2 among consumers? Are there market studies or consumer surveys indicating that buyers would prioritize "CarPlay 2" capabilities when purchasing new vehicles?
I hope that's not true (or falls through). I have a good friend that works for HashiCorp. He's 42, and will undoubtedly be on the chopping block.
The expectation pre-launch was in the 150K - 250K range. It revised upward based on pace of sales in launch weeks, which I think was thrown off by the number of people buying to review and return.

Market consensus went through the roof based on pace of initial sales then those numbers stuck, but some Apple numbers at the time seemed to suggest this same 400K range.
I've tried a few dongles and have had nothing but bad experiences.

"Kinda works" for a while, with a noticeable delay when changing songs etc.

Actually pondering replacing the infotainment system itself to get wireless airplay.
I think it is just global manufacturing. Plus a little bit of feature parity.

It seems maybe tesla is the one fighting it. I think the original model S used steering wheel stalks from mercedes?

Now they do so many things themselves (or don't do in case of stalks), to the point of making their own chips for the machine learning stuff.
> A lot of the concerns around branding focus on the instrument cluster as it's one of the most recognizable parts of an interior. If you look at the CarPlay concept for Porsche and remove the steering wheel, there is no way you can tell it's a Porsche. I'm sure many brands took notice of this... With many traditional differentiators being democratized, design is a good way to stand out.

This is a really good case study in how difficult it is to find a balance between co-branding and maintaining a consistently high-quality design system across co-branding partners. There's a massive amount of work across UI/UX design and implementation done at Apple that assumes that widgets are not only using a serif font, but a specific serif font with specific kerning; that color-primary-60 and color-primary-50 and color-for-text-on-top-of-primary-60 are distinguished in a very specific way.

(Light/dark mode and localization efforts force a degree of flexibility here, but there are still a finite set of QA targets if you focus on primary language markets.)

But what happens if multiple partners want their own primary color and font? This suddenly has far-reaching, costly ramifications across multiple organizations. Even having planned your APIs from day one around color and style customizability doesn't guarantee that this can be done successfully. Taken to an extreme, frontend engineers (not just their embedded designers) are practically required to hold the context of all future potential customization needs in mind when implementing a component - a nigh impossible ask.

Which is to say that there are few companies that could pull off what the OP posits that car manufacturers are requesting, having a world-class interface that is customized to their brand. That's a tall order even for Apple's depth of talent.
If he wanted to remove the moon from earth's orbit, he should've suggested that we mine the whole moon for resources.
This is peak capitalism. The middle class is almost no existent. Big companies are making products that regular people can't afford. It's kinda like the time workers at the old Ford plants couldn't afford the cars that they were making. Eventually they started paying their employees enough to do so. I just looked up the price of a base model Jeep Wrangler, it's 31K, probably closer to 38K out the door(financed of course). That's a lot of money. I wonder if the average factory worker can TRULY afford the base model version of the vehicle they help assemble.
Third death being a reset to the beginning is indeed a harsh punishment.
"Give me a car with a simple backup camera, manual transmission, and regular sized vehicle (no trucks or suvs, fuck that)."

Mazda, cx5 <= 2016. Small. Has usb sd, simple knobs, backup camera. It reminds me of when apple removed the escape key, I had to learn how to buy a used mac.
SPARK is free by default, and readily available. You can use it as-is in ada by adding " with SPARK_Mode => On" to your code; here's some examples: https://learn.adacore.com/courses/intro-to-spark/chapters/01...

You can install gnatprove with alire via "alr install gnatprove"