skysight-inc/HackerNews huggingface dataset:
Depends on your definition of "super fantastic expert" systems.

I was one of the developers/knowledge engineers of the SpinPro™ Ultracentrifugation Expert System at Beckman Instruments, Inc. This was released in 1986, developed over about 2 years. This ran on an IBM PC (DOS)! This was a technical success, but not a commercial one. (The sales force was unfamiliar with promoting a software product, and which had little impact on their commissions vs. selling multi-thousand dollar equipment.)
https://pubs.acs.org/doi/abs/10.1021/bk-1986-0306.ch023 (behind ACS paywall)

Our second Expert System was PepPro™, which designed procedures for the chemical synthesis of peptides (essentially very small proteins). This was completed and to be released in 1989, but Beckman discontinued their peptide synthesis instrument product line just two months before. This system was able to integrate end-user knowledge with the built-in domain knowledge. PepPro was recognized in the first AAAI Conference on Innovative Applications of Artificial Intelligence in 1989.
https://www.aaai.org/Papers/IAAI/1989/IAAI89-010.pdf

Both of these were developed in Interlisp-D on Xerox 1108/1186 workstations, using an in-house expert system development environment, and deployed in Gold Hills Common Lisp for the PC.
Ugh. I have a feeling I know what happened.

People ran experiments where they showed big, ugly, profitable ads, and they convinced themselves that the metrics meant it was a positive experience for users.

p-Hacking, again and again.

I have a ton of sympathy for everyone involved in this. It's incredibly hard to have a good model of what is good for users, and to have metrics that measure relevant things, and to have the discipline to make yourself test a real hypothesis rather than hunt for evidence that proves your foregone conclusion. And to reward people for negative experiments.

All very hard to do.

And frankly, if Google can't do it right - who can?

I think you need really powerful product managers who happen to be right. And that's not sustainable. Not something you can plan on or measure. Only reward if you happen to be lucky enough to notice it. Ow.
some clustering would be nice.
Actually most if not all of those verb endings are used colloquially (the most important exception would be the second person plural, which is only used in some regions of Portugal).
I assume Apple would also provide code for a fallback UI that offered basic functionality for when you didn't have an iphone attached.
> The suffix 文 signifies culture.

文 has a broad meaning. Here it would be

https://en.wiktionary.org/wiki/%E6%96%87#Pronunciation_1
8. (written) language.

(as opposed to spoken language, which is what 語 is)
They could/should have been doing this stuff from day one tho not waiting until the 11th hour.
The actual name is Google Automotive Service [0], which shortens as GAS. That's not bad I think, at least it's easy to remember.

The fact that it's still confusing with android auto being another thing is I think partly on purpose, to make it look like Android is doing more than what it's actually responsible for.

[0] https://developers.google.com/cars
I think compact verification aware languages will be of particular interest to anyone wanting to make machine learning models write code at scale. Verification, and test generation, seem critical to the process of getting feedback from the program itself and improving the automatic code generation process. Not quite as powerful as self-play was for two player game playing, but it's got to be close.
> I might be old but I distinctly remember a humanitarian outcry in the 00's because Palestinians were murdering not only Jews and Christians but also homosexuals[0].

Just because there are anti-lgbt elements in Palestinian society and politics LGBT people wont be pro-genocide and side with Israel.

The proposition defies description no sane person who is not a psychoapath will say "Oh, are they anti-LGBT and they may kill LGBT people? I guess its okay for Israel to murder their children then..."

> I'm not interested in emotional responses

The murder of children cant be reacted to with any other response than an emotional one.
Sweet poem. I remember being blown away when I studied computer science.
The whole idea that there are inherit limits to computing on Turing machines seemed crazy.

Gödel's incompleteness theorems has a similar proof that will mess with your brain :)
I think it's a mistake to assume China can freely flout how much it's assisting Russia's war machine without facing severe consequences particularly from European trade partners.
I bought that case and it’s not great quality and does not look as good as the picture. Also it is flat pack so you have to bend all the pieces and the toggle switch feels terrible. So definitely overpriced for what you get.
Google delays third-party cookie demise yet again
Imitating China, now South Korea may also ban iPhones in the military
> with very little nuance applied

What 'nuance'? Are they expected to say "Oh, is Hamas anti-LGBT? I guess its ok for Israel to murder Palestinian children then..."?
What permissions do iOS or Android withhold that prevent you from doing this? The reason car manufacturers don't do this is that it makes no sense to put the software in the phone if you're not trying to make the software portable between different cars.
Doesn't this mean the end of 'at-will' for anyone that a company wants to cover with a non-compete? At present a company can have their cake and eat it, giving you one day notice of end of employment but then enforcing a non-compete for x months.

If this survives the Supreme Court, wouldn't a company would have to put in your employment contract that you/they must give x months notice to end employment if they wanted to restrict you? Otherwise you could give one days notice and they wouldn't be able to put you on gardening leave.
> I hope, rather - that technically minded people who are advocating for the use of ML understand the short comings and hallucinations.

The people I see who are most excited about ML are business types who just see it as a black boxes that makes stock valuation go vroom.

The people that deeply love building things, really enjoy the process of making itself, are profoundly sceptical.

I look at generative AI as sort of like an army of free interns. If your idea of a fun way to make a thing is to dictate orders to a horde of well-meaning but untrained highly-caffienated interns, then using generative AI to make your thing is probably thrilling. You get to feel like an executive producer who can make a lot of stuff happen by simply prompting someone/something to do your bidding.

But if you actually care about the grit and texture of actual creation, then that workflow isn't exactly appealing.
Obligatory mention that although Halt doesn’t exist for arbitrary P, there are Halt_N for every natural N where Halt_N works on empty-input TMs with at most N states.

Undecidability is more about compression than it is about whether we can determine if TMs halt.
And critically lets you directly access CarPlay interfaces to apps for streaming, podcasts, navigation, etc, all of which is much richer than a dumb audio only passthru with skip buttons.
They’re not. They’re pro-power and pro-money. They don’t want competition from China.

At the end of the day, it’s always about power and money.
Because make no mistake, you will spend lots and lots of money if you want a Mac with future-proofed RAM and storege.
Dharma Combat
Aging population prefers low quality tiny screens with awkward interfaces?
Well thats grim
I don't use it but I've heard good things about Multiple.dev
And, they didn't rush this. They've been working on it since they got elected. It's perfectly reasonable that it took some time to get done.
I would imagine GitHub and technology social media
A few hundred calories per pound means that there isn't "a LOT" of anything other than water.

That doesn't mean that your point about them not being satisfying is wrong, but you probably aren't going to persuade people with ludicrous relative comparisons.
To be fair, it seems reasonable to presume that the goal of these pins is to get users addicted to the new form factor with much less competition in the market rather than to help with tech addiction.
Also: https://en.wikipedia.org/wiki/Kuru_Kuru_Kururin
But why is that somebody spending even 40k on a barebone car?

How is it that BYD and a bunch of chinese manufacturers able to produce ~10k car but nobody else?
They appoint commissioners
China’s EV industry was already well ahead of the US by the time Tesla arrived.

And yes, Tesla China is wholly owned by Tesla USA.

The problem I’m pointing out is that people here automatically assume that China steals in order to compete. They never give China credit. Since China actually leads in EV, they don’t have to steal. It’s companies like Ford, GM, Volkswagen that have to steal from Chinese companies.
Contracts are only as enforceable as the legal system thinks they are. They get voided if they're against public policy. This is public policy.
'A “policy-making position,” according to the final rule, is a business’ president, CEO or equivalent, or any other person with “policy-making authority” for the business similar to a corporate officer with policy-making authority. The term “policy-making authority” in turn means the authority to make policy decisions controlling “significant aspects of a business entity or common enterprise.” Expressly carved out, are positions that only have the ability to “advis[e] or exert influence over such policy decisions” or positions only having “final authority to make policy decisions for . . . a subsidiary of or affiliate of a common enterprise.”'

This seems written to stop even VPs being covered.
Whatever new genre of music comes out of this will be lit. Can't wait to be dancing to "Chechen Low BPM DnB" in 20 years.
This people vastly and ridiculously over-estimate the capabilities of LLM. LLMs capabilities are deceptively impressive, and while very useful tools, probably they are the peak of their potential and unless augmented by something else, will plateau in the not so far future.

Besides that, it is not like building LLMs is a new manhattan project which a small cadre of very few selected scientists able to do it. If anything, the biggest constraint for any one building a state of art LLM is access to massive quantitities of hardware and training material.

The level of hype about LLMs is becoming frankly ridiculous.
Oh man, this is awesome. I have been periodically checking the internet for something like this that I can hand off to an intern and get some visualization of data at work. I am definitely gonna be using this.

Also I love your videos. The internet is a smaller place than it seems.
I only get those when it's new content with <20 likes and they are testing it out. Doesn't bother me, I like to receive some untested content - even though 99% of it is pure crap (like some random non-sense film with a trendy music on top).
At least in the US, it is believed by a % of an entire faction that the absence of that government policy you mentioned is intentional, malicious, and designed to create new voters that are in the other faction’s pocket. And so the Great Replacement is a plan, rather than an observation, and this is where I see the controversy. The news here (“news”) is even pushing this narrative (I know this bc I was accosted with it today, in person), though I am not sure they use the terminology.
If support is along party lines, that makes it a partisan issue.
Too bad it doesn't include C# by default :)

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...

(it also keeps AOT[0] a specialized workload so you can't directly compare, which brings down the baseline RAM usage from 30 to 19MiB[1], though that is also problematic as the benchmark suite compiles AOT to x86-x64-v1 aka SSE2 (!) which would not run code with SSE4 or AVX2 SIMD implementations, and runs much slower for implementations expecting vectorization in general)

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...

[1] I have no idea where 30MiB for most cases comes from, make a simple program and run it today and you'll see the RAM use will be below 10 MiB as you launch it (2-4MiB for AOT). The usage gets higher as you start loading dlls/dylibs/so's but those pages can be de-duplicated by OS so not much of an issue
Loongson CPU that performs like 2020 Core i3 makes its way to Chinese mini PCs
There was an excellent article about this over the weekend: https://www.theguardian.com/culture/2024/apr/20/we-went-from...
Amateurs, ‘Merica fixed this problem two decades back:

https://www.congress.gov/bill/107th-congress/senate-bill/263...
Can you find a way to reduce the iteration itself? I've never done wearables, but last time I did a product there was almost zero iteration. There were updated versions with easier DFM, but nothing like the iterative process I'm used to with software.

I feel like something might be slightly wrong here. Are you iterating because you haven't finalized the core innovative tech? Can you develop that first, on breadboards or with lab bench equipment?

Are you iterating because of minor aesthetic tweaks? Can you just make one PCB with LEDs in all the places you might want them, turn off the unneeded ones in software, then leave them out of the final BOM?

Are there just straight up mistakes, that could be fixed with slower iteration?

Maybe it's just that I've never quite made it to the level of career success where there's a budget and time for this kind of iteration, but I still think something could improve.
Mise-en-place: the front end to your dev env
Long long time ago; youtube "staff" would manually put certain videos on the top of the front page when they started. Im sure there we're biases and prioritization of marketing dollars but at least there was human recommending it compared to poorly recorded early family guy clips. I dont know when they stopped manually adding "editors/staff" choice videos but I recall some of my favorite early youtubers like CGPGgrey claim that recommendation built the career.
No, in fact you can use oracles to prove the halting problem.
Chinese government demands "AI" to get state blessing and investment, this is probably the least cringy way they could have appeased the government.
Uhhhh. In-N-Out's HQ is in Irvine, CA.
That doesn't mean his insights are correct, that he's a good leader, or that his efforts have been good for us users.

It's hard to find a bigger name in AI than Minsky, and he wrote one of the most influential books in Computer Science, which put a huge damper on all neutral network progress for decades... Arguably, that was a bad thing.
Respectfully, how do you define the current patent terms as “short”? Sure copyright is much worse, but innovation regularly happens on the scale of months! The current term of 20 years seems incredibly long to me, and it’s not clear that even at 5 years patents would provide more benefit than harm.

Most of the purported benefits of patents seem based on theories that most people don’t understand. We all take some received knowledge about their supposed operation, and usually proponents of patents know nothing about how powerful innovation in open source and other patent-free spaces can be.
Not sure when you played it, but the "Final Cut" edition fixed a lot of the grammatical errors and also re-cast a lot of the voice actors. When I played it it was a very polished experience so I am willing to bet you played the old version.

Also the original creators have been forced out of the studio by scam artists. So if you want to buy the Final Cut edition, keep in mind that none of that money will go back to the people who worked on the game.
Playing “rules lawyer” with people who routinely respond to challenges with “summary execution” tends to end badly.
FalkorDB: A Knowledge Graph for LLM (KG-RAG)
> The only thing in that screencapture that happens outside of the space shooter game is relaunching the game after closing it. If you know that pressing the up arrow and enter to run the last command is a common thing, I don't think that's too hard to follow.

Working out that that's all that's happening (not to mentioning ask the inevitable, "Why is there a screencapture included here at all?") takes about 2–10x the amount of time it takes to read this description that says that's what it's showing.
Something similar which is more recently-maintained: https://github.com/automeris-io/WebPlotDigitizer
Lmao. I'm very positive that the conversion rate for placing an atheist in a live mass out of the blue is very very very low. Because I never stayed for more than 3 seconds, I'm not sure if it's real religious content or a scam, though - and they don't even let me report live shorts :(
It makes me sad, because there are many individual communities on Reddit that are quite wholesome and useful -- I've found that setting up multireddits and sorting by "top" with a time period of 24 hours is a good way to surface infosec news for example.

I had migrated over when Google killed reader, and moving back, it's overwhelming and distracting to have so many sources marked as unread -- the voting was useful for separating wheat from chaff.
I sometimes think about the idea that different countries/cultures have different levels of what I might call "social development" (as opposed to industrial or technological development).

A country or culture that is tolerant (or just actively does not care about) most aspects of social interaction would rate higher on the scale. If I look back into the history of my own country, I can identify areas where the US has made improvements in social development. Parts of the US attempted to ban jazz around 100 years ago. Later in the 1900s there was pearl-clutching around rock'n'roll as being somehow evil. Changing attitudes toward sex (especially around pre-marital sex, and around how sexual promiscuity is judged differently between men and women) are another measure.

Then there are the things with a strong legal component: the past legality of slavery (and the explicit belief that certain races of people were less "people" than others), denying certain groups at various times access to the ballot box (non-landowners, women, many non-white races). Ballot access is still an issue, even if everyone is theoretically allowed to vote (well, aside from some types of convicted felons, depending on jurisdiction, which is yet another injustice). Then we have discrimination against LGBT folks, including the fact that legal marriage for gay and lesbian couples wasn't universally recognized here until fairly recently.

Some of it is legal, some of it is social/cultural, though of course people's social and cultural attitudes tend to shape law.

So, to me, this ban from Chechnya is just an example of their country/culture being not as far along on the social development scale.
If it’s not surprising to anyone who has done innovative engineering, how did Elon miss it?
Just bolting llms onto proof search improves the state of the art. So if you want to improve the state of the art of proof search, bolt some llms onto proof search, and enjoy!

As far as making LLMs understand mochi math... I'm going to go out on a limb and say it will probably take less time for us to build an AI that understands mochi than it would take to understand mochi ourselves.
Home Assistant is practically already there.

While installing it initially might be technical, these days they also sell things with it preinstalled.

After tuning on HA for the first time, it just recognized our heating system (Plugwise, it's also zigbee but custom/closed), Christmas Tree lights, Smart Reader of our Electricity & Gas (as in district "propane"), Foscam and Reolink cameras and doorbell ...etc.

All those things just asked for username/password set for that service/device and everything just worked.

And actually controlling of things like TV (well Chromecast part of it that's built into) just work without authentication.

And while Zigbee Coordinators required some flashing of firmware updates. From there on it was very similar to any other smart device system.
Anti-Chinese comment thrown in there for some reason. Is anyone surprised S. Korea is choosing Samsung's preferred OS, Android?
COBRA just means that you’re continuing whatever plan you had under your employer, at full cost to you (vs. the employer presumably subsidizing some of the cost while you’re employed by them). The amount you pay is entirely dependent on the plan(s) your employer has chosen to provide its employees.

For me, the full cost of my current employer’s health plan is about $1800/month, and a comparable plan from the healthcare exchange is $2200-3000, depending on the plan. So if I were to lose my job, it’d be significantly cheaper for me to use COBRA than get a plan from the exchange.
OP-Z: iPhone or iPad, it has all the same features, is about the same price, same size as you would have carried, same battery, whatever

OP-1: Literally just about anything. It is a 4 channel digital recorder. You have an iPhone with USB-class compliant audio, you can do multichannel recording. Use a guitar, some iOS plugins and a $40 DAC. If you're going to complain about buttons, go blow your cash on a midi controller (it will still come up cheaper than ANY OF THE OP-1 MODELS!)

Pocket Operator: God, please grant me reprieve from finite suffering. There is no hope for humanity if we are looking for "alternatives" to grooveboxes with kilobyte-sized memory. What do I say? Fairlight CMI? Do I send a picture of the Mellotron as a joke? The Ti-84 graphing calculator? Heaven forbid... the Akai Rhythm Wolf. Is there a future for us yet if iPad children would rather pay college-tuition prices for Fischer-Price hardware that can do what their iPad does already?

You'll never please everyone, which is why snake oil still finds customers in the 21st century.
Visualisation https://www.youtube.com/watch?v=k1XkZ5ANO64

Wikipedia page https://en.wikipedia.org/wiki/American_flag_sort
I got this working on my rooted Kindle Fire. Controls are better than I expected for touchscreen. This is really great!
I think that for someone out of condition and sedentary the idea of starting up some kind of sustainable fitness practice is quite a bit more intimidating than the idea getting on some kind of diet plan. It can be hard to picture oneself thinking of exercise as something that can be fun and rewarding beyond the health benefits, it is however possible for it to be a thing you love to do and look forward to.

Diets fail 95% of the time. Calories in/calories out isn't wrong, obviously. From a physics perspective it is clearly less effort to sit still and not eat than it is to go do physical work of some sort. Once you introduce human psychology into the equation, however, everything changes.
>Well LLMs are claimed to be good at math too, and yet they can't count.

You're putting a lot of weight into counting. I don't know anyone who wants to use a LLM after hearing "good at math" for counting of all things. Algebra, Calculus, Statistics, hell I used Claude 3 for Special Relativity. Those are the things people will care about when you say math, not counting.

Look, just test your use case and report that lol.