skysight-inc/HackerNews huggingface dataset:
> Cloud should be an add-on.

I don't agree; dishwashers that connect to the Internet should not exist.

At most, a dishwasher's network connectivity should be restricted to the presence of firmware which serves a web UI. Everything should be doable via the web UI, whose commands should ideally be URL-driven, so they can be easily automated with simple requests.

A laser printer doesn't need to connect to the cloud; why does a dishwasher?
The number 47 makes frequent recurrences in Star Trek
the future where you have to be a micro-influencer and sell (to use the diplomatic word) yourself out on social media to land a job is a dystopian one.
The only evidence against Mexico is a Trump admin complaint, so it’s probably made up
> I've already sunk about 6 hours total into the whole operation...

I suspect you're going to sink a whole lot more time over the unsatisfactory lifetime of the dishwasher. It sounds like the sunk-cost fallacy.
It's a proven recipe that will boost your blog's rankings.

1. Buy dishwasher that requires wifi
2. Complain loudly that said dishwasher requires wifi
3. Post on HN
Why only Democrats? Any patriots, which, I suppose, should be somehow represented among Republicans, too.
Most people's closets aren't a room.
Konwinski Prize Public First Place Solution Write Up
Show HN: Camera motion game for kids to running
Earth Grief: The Journey into and Through Ecological Loss (2023)
The competition was discussed here https://news.ycombinator.com/item?id=42416556
The code is opensource under GPLv3, the 3d object is from sketchfab.
Later on, I will add some bgm.
Currently, the only 1 target user is my 3 yo son, who loves animal and pawpatrol.
In case someone else needs it.
There are other MR techniques that show promise. The below links are for disc pain assessment. As a tech at a high volume spine site, the DeVa technique is fairly appealing, as spectro is slow.

https://pmc.ncbi.nlm.nih.gov/articles/PMC11885163/

https://aclarion.com/
The code in: https://github.com/jwenjian/cam-run-for-kids/tree/kids
These days, Bosch is wholly owned by Siemens. And their appliances are basically the same. Except Bosch is now their experimental branch, where they try out ideas for products. Only those that are successful become Siemens products. So uhm, just buy a Siemens dishwasher, it's unlikely to have an app requirement.
Some of the voting results on https://abstimmung.eu/git/2024 are misleading. Votings are about a decision recommendation (Beschlussempfehlung) which sometimes negates the original request (Antrag), e.g., https://abstimmung.eu/votes/55
From WebStorm to Cursor
Each iteration is (much) more expensive, but you should be able to get to the final answer in fewer iterations.
I think it’s unlikely that a reboot gets us to iPhones again (within hundreds of years anyway) because of the easy resources all gone issue.

Can we get back to imperial Roman quality of life? Or 1600s Europe? Maybe, but different.

For the first few generations we’d have some people with useful knowledge. After that, interpreting the artifacts will become harder.

There also the question of whether the remnant population would want to rebuild the society that had collapsed.

I think it’s much more productive to focus on not wiping out most of humanity in the first place.
Mysterious Blue Spiral Lights Up Skies over Sweden and Europe
I wonder if there has been any study of what happens to LLMs subject to bit rot, given the level of compression of facts on one hand and the “superposition of stored facts” on the other one ( I’m obviously a layman here, I don’t even have the correct vocabulary)
I'm not sure how it'll ever make sense unless you need a lot of customizations or care a lot about data leaks.

For small guys and everyone else.. it'll probably be cost neutral to keep paying OpenAi, Google etc directly rather than paying some cloud provider to host an at best on-par model at equivalent prices.
Flappyswitch – Breaking FastIron's Chains
Related discussion sometime back - https://news.ycombinator.com/item?id=42535071
Yeah, openweb-ui is the best frontend for API queries. Everything seems to work well.

I've tried LibreChat before, but the app is terrible at generating titles for chats instead of leaving it as "New Chat". Also it lacks a working Code Interpreter.
Thought it would be more "open"/federated/open-source. Honestly not interested in another platform like this.
This is exactly what I have been looking for. Like the other commenter, I am a but surprised by having to drag along psql for this. I like the design of the site, though
What is embedded nowadays was a home computer in 1980's, so maybe you aren't, as someone that started coding on a Timex 2068, I very much doubt that in general.

MISRA and similar exists for a reason.
> for education

Is there any standard curriculum course for... this? (Actually, I don't know if it's a good idea to use this for learning, instead of learning Lean, because I imagine that 95% of learning Lean would be Learning its library anyway. But I never actually tried to use these kind of tools for anything.)
So 2000 fps, 16 million pixels, and 7000 operations per pixel, works out to 224 TFLOPS.

An RTX 4090 is advertised as being able to compute 82 TFLOPS.

Where do you think the extra is coming from? Is it just straightforward optimisations like constant folding? Or do you think the compiler is noticing that 1000 iterations of the loop doesn't change the answer and optimising it down to just 1 loop?
I mean, Unity and Godot used to embed Mono... And C# is used as a scripting language for both, in the sense that the user uses C# to call engine functions (dunno about all of Unity's internals but Godot is written entirely in C++) to script gameplay behaviour. It doesn't matter what you classify C# as because they use it for scripting.
I think this is both true and yet completely insufficient.

There’s a whole system that produces the people and materials that enable every field of endeavor. Having the books and the eg. sub-nanometer scale silicon wafer etching machine does not get you a new iPhone.
The drop is inevitable either way.
By far the most common usage in the real world is in camouflaging prototype cars while being tested on the road https://www.bmw.com/en/automotive-life/prototype-cars.html

This way paparazzi can take pictures but it's hard to distinguish the shapes.
Music and the Decline of Civilization
Also Gaggenau and NEFF are BSH group brands

They all use HomeConnect

https://www.bsh-group.com/
When I think of a graph I think of nodes and edges.
Can you describe what tools you're using and how (to a first approximation)?
Yeah, it's difficult to find the middle path between too much and too little. Those little mental gremlins always try to push us too far in the opposite direction. It's the nature of our internal enemy, the enemy of both our inner peace and happiness and our outer peace and happiness with other people.

Peace be with you, friend.
Could you elaborate on those features? From the top of my head, those are: nested functions — those always were of dubious usefulness compared to the implementation difficulties needed; labels are actual constants, so computed GOTO is available — that's definitely a feature standard C still doesn't have; manifest constants — this one is Ritchie's most baffling omission in the language; multiple assignment — it's not actually parallel so merely a syntax nicety (with a footgun loaded); valof-resultis — while very nice, it's also merely a syntax nicety, "lvalue := valof (... resultis expr; ...)" is the same as "{... lvalue = expr; goto after; ... } after: ;".

What else is there? Pointless distinction between the declaration syntax of functions and procedures?
A Libre Phone could include an SD slot and a mode which lets you flash from SD.

You'd download your image to the card, then reboot and it'd flash it.

Basically we could eliminate the hassle.
As always, avoid using sensitive information and you are good to go
I don't think the two are separate concerns, though. Part of the "unionize or not" question is weighing the costs and benefits, and whether the union is likely to succeed is a huge part of that question.

In a unionization attempt for a single department or company, I might have an idea of how likely it is my coworkers would support this union, and thereby be able to weigh the likely benefits vs the risks if it were to fail.

In something like SAG-AFTRA, union actors are the default, and the union has agreements that encompass many companies. Joining that union is a no-brainer since it's pretty much all gain and no risk. It'd be weird not to join.

In an industry like video games, though, I don't think cross-company unions are common, and they tend to be limited to specific departments of specific companies. If I were in such a department, sure, I'd join.

But tech-wide? Nothing like that exists. If you tried to start one, you'd have to convince one or more major tech companies to sign on (and they won't), and there would still be millions of ununionized devs. Thus, becoming a member of that union would get you no benefits but mark you as less hirable. You would then, as an individual, bear all the stigma of being unionized without any of the benefits that usually come with it. Why would anyone do that, especially early on? It becomes a chicken-and-egg problem.

So I DO think that's what this poll is about... unless this hypothetical union has a pathway to power and some clear plan about how it's going to sign up enough members and companies together at the negotiation table, it is not really any different than signing a petition. Probably worse, in that a petition rarely has major risk, where as a failed unionization effort could (legally or not) cost you a job or promotion, etc.
After reading this post and the comment section, I am glad that I made the decision to keep the 1993 Miele dishwasher that was installed in the house we bought last year. We basically renovated the kitchen around it.
This is wonderful. I immediately found an interesting new blog I had never seen before.
Richard Turner (one of the authors) gave a talk on how AI weather prediction works to the Cambridge Philosophical Society around 18 months ago. A recording is available here:
https://www.eng.cam.ac.uk/news/quiet-ai-revolution-weather-f...
You can implement an audio modem with much dumber hardware and it would be cheaper and less vulnerable to nonsense, especially if all you're sending is a few bytes. Then you also don't need to do FCC certification. Seriously bitbanging an audio modem to broadcast error codes from a $0.20 BOM microcontroller and a little buzzer speaker would be a fun project to give to a summer intern. (If anyone wants to believe a highly falsified resume and would believe I'm 15 years younger, I'd be happy to join your company for the summer :D <sadly not really> )
>Wealthy families built these as mini-fortresses within the city, where they could defend against riots, enemy families

They needed some mini-fortresses, but why build them in the form of a tower? They could have built a secure, easy to defend structure less tall.

Maybe they've built them for showing off, the taller the building, the higher the prestige? At least, that is the reason we have skyscrapers.
The data/time overhead would be negligible. Engineering overhead to implement it on the other hand, perhaps not.
> Teachers are swamped with having to create learning materials all the time

In my country my teachers read from the class book, and we did exercises from the book, and tests were almost exactly the same from year to year. What materials are being redone all the time? Primary school level knowledge is almost static, no?
Interesting visualisation! On mobile there seems to be an issue with the months where they all display as one word instead of being spaced out: JanFebMarAprMayJunJulAugSepOctNovDec
I still have my Thinkpad from 2000 and it works flawlessly despite spending 15 years in a box in a slightly damp room (though the lid cover became sticky/tacky)
The world used to be driven by DIY. Now, people are afraid of it (or advocate against it) in some way. What changed?
Nation states are always interested in paying less to get this sort of intelligence though.
This article is really badly written IMHO. And I feel the content should just be merged back to the main article.
In my experience, military aircrafts are visible in flightradar most of the time. However, if they are flying in a group (e.g. choppers), usually only one of them is visible.
That's the oppression of the "sleek": touch-sensitive buttons are worse in every way except that they allow for "flatter" design.

At least we are seeing actual, tactile buttons start their return in cars!
I can only speak for Australia, but here "teaching from the textbook" is highly frowned upon. You're expected to constantly be reviewing and revising content from year to year and teachers are heavily pressured to continually revise course content. This is great to match student needs, but it is overwhelming for teachers.

>Primary school level knowledge is almost static, no?

yes of course, but there are a thousand different ways you can explain and structure any given topic with one approach working for some students and not for others.
> I live in an apartment building whose walls don't really attenuate RF at all.

I wonder if there's a market for special panels that block sound and common wifi/bluetooth bands...

> So most evenings I get three or four screencast requests from neighbors' phones that I have to deny. That's annoying enough but it also stops whatever I'm watching in the process.

I'd be tempted to call support every single time, and feign that I simply can't understand why their product that I purchased keeps breaking...
> No strike clauses can make them basically a paid extension of management.

No strike clauses (almost invariably paired with no lockout clauses, and invariably also tied to the term of the broader contract) do not make unions basically a paid extension of management.
With the BMW system a low fuel warning with a destination set puts a prompt on the nav screen that says “do you want to add this stop?” With directions to the nearest gas station. You push the nav control button (not a screen!) once to accept the change or do nothing to continue.
To address it seriously: If they rush the PoC, the result is more problems and in life-and-death, national security situations, and people complain. If they are more careful, people complain about the beaurocracy holding back the military, with all their requirements for proper specifications, testing, etc.

It's a pendulum many people in tech deal with. But I resent seeing officials, who know better, taking one side or the other in order to always criticize the people doing the hard work of managing these very complex, often cutting-edge projects.

At one point, for at least some projects, the Department of Defense elimated the professional managers and had military officers manage their projects directly. What could go wrong?
Also worth a mention is Wiby.

"The Wiby search engine is building a web of pages as it was in the earlier days of the internet."

It's main indexing requirements are:

- "Pages must be simple in design. Simple HTML, non-commerical sites are preferred."

- "Pages should not use much scripts/css for cosmetic effect. Some might squeak through."

- "Don't use ads that are intrusive (such as ads that appear overtop of content)."

- "Don't submit a page which serves primarily as a portal to other bloated websites."

https://wiby.me
Hmmm, if only there was some actual malware exploit which would configure "victim" devices so that they would never connect to something of the exact same bluetooth/wifi name ever again.

Then you could pick an improbable name and run a rather spicy honeypot for a while,, until there's no more activity. Then it'd be safe to turn it off and bring the real device online.
Spy Party's long development changed the game (2018)
Most retailers just have a standard return policy, it's a good idea to choose where you purchase a major appliance where you know the return policy.

For Costco it's 90 days for a major appliance, you don't have to justify yourself as to why. Some stores have terrible return policies, some have good enough policies.
It is like democracy, election results not always reflect the needs of everyone, and some groups are more favored than others.
The idea that gender is a spectrum is a new gender prison (2016)
I am extremely impressed, especially so if this is a side project. I can easily see this being used in the tertiary education sector, as a starting point when developing decks in introductory classes.
Yep, it seems thinkpads was (is? the newest one I have is a x240) very good quality.
Messaging Breach Confirms Fears of European Allies
The only thing I have ever heard about Bosch major appliances is that people hate them.
FWIW, I'm in my 30s and already excessively ruminating on the long gone past! It started after losing loved ones.
I usually convert to markdown from PDF local laws when I need them as a reference for the functional specification. That way its easier to pinpoint to exact section of the thing.

Its not easy to convert general law to markdown, it involved online converters and manual fixes. Currently experimenting with marker [1] on local LLM hardware and so far it is the best out there.

[1]: https://github.com/VikParuchuri/marker
DeepMind's Demis Hassabis at Cambridge: AI for Drug Discovery
are you trying to gaslight people about fairly recent events?

https://thehill.com/homenews/senate/5046873-rand-paul-johnso...

https://thehill.com/homenews/senate/475831-mcconnell-flexes-...
Maybe you are right and it could be a good "first aid" :)
>I am extremely impressed

Thank you so much! I've definitely poured my heart and soul into the project :)

>I can easily see this being used in the tertiary education sector, as a starting point when developing decks in introductory classes.

That's a great suggestion. My background is k-12, so I'm not familiar with how SlideHero might be suitable in tertiary ed, but I'll definitely look into it.
Gotta be taller than the tallest ladder would be my guess. Tower forts are common. You can find them in places like Ireland also.
I Recommend Against Brave
Ask HN: What LLM tools to locally search and analyse your documents?
I have yet to find any easy to use local models that I can feed my desktop archive of files and folders and then give it queries on that material. Are there any usable alternatives?

Many years ago I tried Devonthink, before LLMs were a thing, but it locked you in an app and was not so powerful.
What features did BCPL have at that point that C didn’t have (and stil does not)?
Lots of models are trained with dropout, which is kinda like bitrot at very high rates...
Another observability 3.0 appears on the horizon
It's still just debt. Framing that as "unlocking" just because it's done by someone the press likes is wrong and abhorrent.

The words would have been different if the proposal came from the political opposition.
Tried it with Firefox on an iPad. Could not get past the pop up dialog when opening the page, the ok button is below the fold, and I can’t scroll the page up.
Out of curiosity, would you support things like removing "in God we trust" from currency and abandoning the motto, removing the words "under God" from the pledge of allegiance, banning religious requirements to hold public office, removing tax exemptions for churches, the removal of "blue laws" that ban or restrict certain things (like sales of cars or alcohol) on Sundays, and the banning of the 10 commandments or nativity scenes from public schools, court houses, and other government buildings?

I've known a few Christians to support some of those things, but I haven't met one so far who would have religion removed across the board.
I'm not sure. What were your problems with the RX 7XXX series?
Dotbins: Seamlessly version-control your CLI tools within your dotfiles
I built dotbins, a Python-based tool designed to simplify managing and version-controlling pre-compiled CLI binaries directly within your dotfiles repository.

See this repository of my personal setup https://github.com/basnijholt/.dotbins (repo fully created by the dotbins tool!)

Why dotbins?

Cross-platform: Effortlessly manages CLI tools on macOS, Linux, and Windows.

No Admin Rights Needed: Perfect for restricted environments or quick setups.

Auto-download & Update: Automatically fetches and updates CLI binaries from GitHub releases.

Git Integration: Enables seamless synchronization of CLI tools alongside your configurations.

Example workflow:

Quickly install a tool directly from GitHub: `dotbins get junegunn/fzf`

Sync all CLI tools defined in a simple YAML config: `dotbins sync`

I created dotbins out of personal frustration managing tools across different systems. It's streamlined my setup process significantly—I hope it helps you too.

The project is open-source, and feedback or contributions are welcome!

Check it out here: https://github.com/basnijholt/dotbins
For energy usage, a metering plug on the same outlet you use is very cheap. For water, just take the bendy pipe and put it onto a big container and see how much water it uses. It shouldn't change much so you do it once. Wifi and the whole cloud for this seems weird.
Is think there is plenty of evidence in both mine and other commenter's on why you comments are being downnvoted (which I can not do, as you answer to my comments).

You way of debating is defensive and dismissive. So that is a hard stop from me here
Really cool idea. I've been curious about theorem provers but never tried one out. I had a quick look at this on my phone (so, maybe not representative UI).

Some things that I think could be improved:

It tells you to click on "Tutorial world", but there is no such button. You have to click "Start" before you see it.

It doesn't tell you what "rfl" stands for.

It doesn't tell you where the "two_eq_succ_one" etc. come from. Are these axioms? Are there infinitely many of them? Are they always available in Lean or are they part of the tutorial world? Why refer to numbers with names instead of digits?

The thing where you have to type "\l" when you want a unicode arrow feels pointlessly obtuse. Why not make it "<-" or something? If humans are going to type it, it should be made out of characters typically found on keyboards.

And I stopped because I got annoyed with typing on my phone. Might try again when I get to a real computer.

EDIT: I just looked it up. "rfl" stands for "reflexivity". Also "rw" is meant to automatically do "rfl" but I think I found that I had to manually do "rfl" after "rw" in the tutorial. https://lovettsoftware.com/NaturalNumbers/Tactics.lean.html

And "two_eq_succ_one" is part of the tutorial world but there are only a small handful of them. In my opinion it is important to distinguish for newbies what is actually part of the system they're learning to use and what is merely part of their learning environment.
That seems like a cop out though. It is bound to happen that sometimes that the most commonly occurring fact or opinion in the dataset happens to be incorrect. This does not justify LLMs regurgitating them as is. The whole point of these technologies is to be somewhat intelligent.
> Thunderbolt on iPhones are USB 2 speeds.
Thanks for the heads up. Tbh, the editor is not completely usable on Mobile, there are some interactions that I still need to polish up to make more mobile friendly.