skysight-inc/HackerNews huggingface dataset:
> Wasn't this derogatory vs. quality more of a stereotype though?

Yes, but not entirely. Japanese cameras, for example, were basically cheap ripoffs of German models up until after WW2. Japanese motorbikes were infamous for being cheap and flimsy in the 1970s to 1980s. Same for the cars, being a Toyota was not a good thing before the 1990s. Sure, there was some inertia and this kind of reputation takes time to shake off. The changes in product quality were gradual and a bit earlier than the changes in perception by the market (the Western European one, at least).

> Japan has long history of craftsmanship so I imagine they made high quality stuff for a while.

So does China. The main thing is that the exports we see are the stuff made cheaply in factories, not the bespoke items crafted from raw materials by an artisan in their workshop. Japanese companies are happy to build on the cheap as well.

And Chinese factories can make very high quality goods, if they put some effort in quality control. I am willing to bet that at some point they’ll be undercut and will go upmarket for a larger and larger slice of their exports.
That's precisely what dotnet Blazor does:

https://dotnet.microsoft.com/en-us/apps/aspnet/web-apps/blaz...
There is also the course from ArsDigita University. The site is offline now but the courses are available on archive.org.

https://en.m.wikipedia.org/wiki/ArsDigita#ArsDigita_Foundati...

https://archive.org/details/arsdigita_01_sicp/

They were selling USB keys with the entire curriculum, if someone could upload an iso, that would be amazing. https://web.archive.org/web/20190222145553/aduni.org/drives/
Yup, it's a recommended read. It's pretty short, 160 pages or so and not at all difficult, the title makes it sound a bit grander than it is.
Almost as easy as polluting other people's air.

Anyway, I would say that "La propriete, c'est le vol" [1], so not much sentiment for the taxed. It _is_ a problem that US tax burden lies mostly on workers and very little of it on the rich and the larger corporations.

[1]: https://fr.wikipedia.org/wiki/La_propriété,_c'est_le_vol_!
I think you could prove 0 ≠ 1 if you had some other concrete fact about inequality to make use of. You could reason from the theorem "f = g -> f x = g x" to create your inequality fact on the right side and then take the contrapositive.

It seems correct to me that you can't directly prove inequality between Church numerals without starting with some other fact about inequality. Whereas with inductive data types, a proof system can directly "observe" the equality or inequality of two concrete instances of the same inductive type, by recursively removing the outermost constructor application from each instance.
Sure it's more accurate to say current known methods are expensive or have side effects. For example, Carbon capture is very expensive. Another example, is sulfur dioxide provides reflective properties which was artificially cooling the earth (from shipping exhaust) until it was banned because it causes acid rain and a host of health problems.

We'll probably find other interesting geo-engineering techniques over time, but it is very unwise to bank on future solutions. Many things, like nuclear fusion, have been "just around the corner" for years and years.

Climate change is accelerating at a rapid pace. Go look at a chart of CO2 emissions over time. I think people default to thinking we're in some stable or slow state, when we're far from it. We're not just increasing CO2 emissions, we're increasing the rate of emissions. Debt (tech, financial or otherwise) when you have a path to pay it off is a useful tool, but taking climate debt with no known good solution is very unwise.
Yep, the primary problem is Africa.. but if the earth becomes inhabitable (this will happen sooner or later) this problem will be solved. But it'll most likely be brutal and preventing that brutality is precisely what I think humanity should focus on..
Shhhh, this is HN, where just like on reddit, a bunch of computer programmers think they know more than a professional in said professional's field.
Man, I understand that it can be annoying to get spammy messages, but a few of these are really kind of lame on the blogger's part. The sales mail, advertisement requests, and "want to sell your website" offers, sure, whatever, post and slander 'em. But a chunk of these are just genuine, polite requests for help, even if some (but not all) are sloppy or have bad grammar. There's a few that are asking for an interview or sound like they just want to be friends. There's no obligation to reply, of course, but to post them online just to mock them? That's really kind of sad, and I'm surprised the author is fine with doing it / thinks it casts them in a good light? Put all together, this is one of the most pretentious pages I've ever seen on the Internet.

And then there's "that shameless country", "that needy country", "that unspeakable country", as others have pointed out. ... really? Yeah, we've all gotten spammy emails from Indian senders, joking about it is one thing, but that's just gross.
How useful are patent records for rebuilding technology?

I imagine that patent is not a recipe, but description used identify infringements.

If goal is only to identify infringements, then I would leave bunch of stuff out of patents. (Later I could fill new patent for same thing just describe those parts that were left out in the first one)
No, the argument is that there is no "marginal improvement", it's that it's a net negative for society to have poor people need to sell their kidneys to make ends meet.
That is an interesting thought. But I doubt that standard automated theorem proving techniques would have solved this in a 100 years, even with immense resources, as all they do is (basically) brute force search, and it remains an exponential search space. Therefore 3 days does not really matter, indeed, 3 months would still be a result that 10 years ago I would have thought impossible.
I only meant to point out that things might not go as expected, despite how emotionally impactful it might seem in the moment.
Haha, I love the typesetting in particular
Looking at the definition, I do believe I wasn't referring to the original definition. I didn't actually know that original definition was specifically limited to the information/knowledge part. I have to assume there's industry wide misunderstanding on this term?

To avoid the confusion, it seems like DRY would be better named something like "Single source of truth". Because I do agree with that.
These kind of experiments are many times orders of magnitude more costly (time, energy, money, safety, etc.) than verifying a mathematical proof with something like Lean.
That's why many think math will be one of the first to crack with AI as there is a relatively cheap and fast feedback loop available.
The simple fix to have visitors stay permanently, since immigration is wonderful.
No. I should probably give it a go

(I have a mastodon account from 2017(!), but there was so little activity back then I think I just forgot it was there.)
> Merge made by the 'recursive' strategy.

There's a few things people think git tracks that it actually doesn't, instead it compares diffs and presents the user with extra information that looks like tracking. The go-to example is renaming files, there is a "git mv" but it doesn't actually track the rename. Git reconstructs the rename when looking at history based on if there was a file removed and a file added in the same commit that are some percentage the same.

In this case, if that last line was "git cherry-pick feat-2", it does the same (or at least similar) comparisons as "git merge feat-2", but errors because the user would expect cherry-pick to create a new commit and in this case it won't, instead presenting a message asking the user how to continue.
Awesome-Geo
I deleted Rewinds over the weekend, after I noticed it had eaten 20gb of storage.

I hadn’t used it since installing it. So that came as a surprise.

I then tried using it, and couldn’t get it to find things I knew were in my history. (Basic keywords match)

So I deleted it.

I like the idea of this app. It ticks all the boxes. But I haven’t found any value on this category of app yet.
Link doesn’t work for me - site is getting hugged
My wife and I both got the original model from 2021, and we've been using them every day since then. Mine is a beefier DIY edition running Linux. My wife's is the cheapest pre-built edition running Windows.

Like you, our previous experience was with really cheap laptops, so I can't compare it to a MacBook or ThinkPad. But what I found is that for the specifications I wanted - 32 GB of memory and 1 TB of storage - a Framework was like half the price of a MacBook or ThinkPad at the time. Based on that, I've been very happy. My wife could have gotten her specifications - 8 GB of memory and 250 GB of storage - for less money elsewhere but she wanted something repairable, and Framework has delivered on that, so she's happy too.

I frequent the Framework forum so I'm aware of the known issues, but I just haven't experienced any issues, or they haven't bothered me. People have complained about the firmware updates, but I'm just impressed that I'm getting firmware updates at all, even three years later, either through LVFS or installers especially for Linux users. I did get the stiffer hinges last year, and it's nice that they made those available. Using the Framework installation and battery tuning guides for Linux, I have no complaints about battery life or drain during sleep / standby. We'll see if we can actually still upgrade these in a few more years; that will be a big test for Framework.

For someone who's not tech savvy at all, I'd recommend buying from Apple or Best Buy so that they have a place to go for support. But for the typical HN person? Yeah, I'd recommend Framework.
Fear of stress increases the odds of death by 43%. But this only applies to people who think it's bad. People who were under a lot of stress but enjoyed it were least likely to die. People who spent a lot more time caring for others showed no increase in the rate of death from stress related diseases.

Source: https://www.ted.com/talks/kelly_mcgonigal_how_to_make_stress...
Yep, it's getting better in developed countries, but this will not lead to anything good unless we deal with those countries with very high fertility rates (like in Africa)..
> A headlight-leveling servo can last the lifetime of the vehicle. Not everything is a Chrysler.

Everything can last the life of the vehicle. If you have 10,000 parts, each of which can last the life of the vehicle, there is epsilon chance that all of them will last the life of the vehicle.
People have sacrificed their lives for less money for their family than that.
The title "Hobby Project" makes the point right from the beginning
I did watch what happened to Stallman. I don’t think the attack on his personal character was well substantiated but it’s pretty clear that he isn’t fit to lead a movement as important as the one fighting for software freedom. Not only is he seemingly incapable of understanding that his role is one of dealing with people, not code, but he has slowly fallen out of relevance regardless by fighting for freedoms which are largely not useful as more of the world comes online. Being able to recompile software or read its source code is little solace if you don’t actually know how to use that. Knowing free software is out there is not helpful if you’re required to use proprietary software for your job, to interact with your government, or just be part of modern society. The viewpoint of a guy who uses Trisquel but really relies on dozens of other people to actually function (seriously, look up what Stallman writes: he basically isolates himself from proprietary software by asking other people to do things for him and then sending the effects to him via some inconvenient mechanism that he feels happier consuming) is inappropriate for out of touch for someone who is seeking to fight for the rights of the average person.

As for who you voted for president: I guess you at least learned from last time to include it in your response. But I’m still not seeing any real action there? The new administration has said they’ll take on big tech but I don’t see software freedom driving any of their decisions. Most of them involve large companies having too much control over speech or raising the prices on services, but the solutions do not seem forthcoming. I’m actually concerned because this guy’s right hand man is the world’s richest man who built his fortune on proprietary platforms, and every other big tech CEO also seems to be running to support this guy because they think it will help them become even more entrenched. I can’t say what will happen in the next four years but looking at the previous tenure and spoken statements I see dismantling of anti-monopoly policies, regulation, and a general strengthening of corporate power. None of these seem conducive to an environment where free software can thrive.

As for myself most of my projects are some form of GPL. Many of them are focused on interoperability, specifically interoperability of proprietary platforms, so those who use them can become familiar with free software and have an easier time leaving them when they can. But the whole effort is a lot more holistic than focusing on one specific area of computer security, which I say even though that is my expertise and area of employment. Like it or not jailbreaks and exploits are neat but do not seem to be resilient drivers of software freedom.
NV300 Max Thermal Camera Hands-On Review – It's Batman's Dashcam
Built a tool because I hate reading commits – criticize me
TLDR: Me no like commits or people when name commit bad and much code. So me make tool can query, summarize, and prioritize commits.

Hello! I have a little tool that I would like for you all to try out and possibly break!

So the issue I have is that I hate going through commits: Like when I’m trying to find when something changed, but I just can’t find which commit did it. I want to be able to RAG over my commit history, ask questions in natural language and get answers on which commit affected me.

It’s not perfect, so I’d really appreciate your criticism.

Only 2 Steps to Use: 1. https://github.com/apps/notify-bot/installations/new (To choose which repos. Once you select the repos, click the second link below.)
2. https://commit-bud-81a0dbb9f0fe.herokuapp.com/dashboard (To access the dashboard - summaries, relevance, queries)
Both Switzerland (9m) and Singapore (6m) are tiny. Even if they are at the top of everything per capita, it isn’t very meaningful given that the scale of China, the USA, and the EU, just dwarfs either countries by far.
> It criticizes what we have today.

I understand that. But the tone does feel very condescending to me. And this article is not isolated in that sense.

Let me just give one example from another article of this blog:

> But before I do, a quick reminder that me criticizing XMPP+OMEMO isn’t an endorsement of weird or stupid alternatives, like using PGP.

I don't know, if I was the PGP author, it would not make me feel good.
Coordination problems aren’t typically too difficult. The USB C switch, or the python 3 switch all had serious frictional costs, but are generally doable in aggregate.

I think asserting it is a coordination problem is just a self-serving excuse for defection. It’s not as if we can’t switch if not everyone switches all at once. We just don’t want to go through the frictional costs of switching if others defect.
Why have we started “hard” disagreeing with each other recently? What’s wrong with just disagreeing?
That seems less than optimal.
Opposite of free market. Capitalism = private ownership and profit from ownership.
Yes. Similarly, I’m pointing out that despite your expectations, your comment comes off as you being a jerk.
This is such a lazy, pointless comment that doesn't add anything to the conversation. It's also way off base about what LLMs can actually do, and the fact that they're pretty handy for debugging production code too.
I wonder did Tim install the Logitech spyware?
Isn't that the general problem teaching anything there? -- you get the "sensei" honors for free, but have to cope with the fraction of a decent pay.
Would there not be some kind of benefit to send a chaser after the probes in order to act as a relay as the signal gets further away? Or is the ground based array just as good as anything we could put in space at this time?
Agentic startups first and foremost work as sales people for the underlying tech. "Just a wrapper" tool can reach out to potential customers who would be impossible to acquire for tech giants.
> Saw an Arista presentation about the increase in SFP capacity, it's Moore law style stuff.

SFP itself isnt much the issue. Serdes is, and then secondarily the operating power envelope for the things (especially for the kinds of optics that run hot). Many tradeoffs available.

>I can't see traditional DVB/ATSC surviging much beyond 2040 even accounting for the long tail.

Tend to agree in well-developed infra, but rural and poorly-developed are well served with more traditional broadcast. Just saying “starlink!” 5 times in a dark bathroom won’t fix that part.

> Personally I don't think the latency is solved yet -- TV is slow enough (about 10 seconds from camera to TV), but IP streaming tends to add another 20-40 seconds on top of that.

I dont think it will get better. Probably worse, but with net better service quality. HLS/DASH are designed for doing the bursty networking thing. Among good reasons for this, mobile works much better in bursts than strict linear streams, segment caching is highly effective, etc.

But I think this makes sense: its a server-side buffering thing that has to happen. So assuming transmuxing (no transcoding lol) and wire latency are 0, we’re hitting the 1-5 seconds for the segment, probably waiting for a fill of 10 seconds to produce the manifest, then buffering client-side another 10 or so. Throw in more cache boxes and it’ll tick up more. It is quite high, but aside from bookies, i dont know how much people will actually care vs complain.
GNSS Navigation Message Authentication
Well sure, but not all fields have zero emissions solutions available. Solutions need to be found, but they might not be there in time.

General power production is currently 25% of total, we can fix that with hydro, wind, solar, nuclear. Plans are clear, they need to be put into action.

Agriculture is another 25% which will be a candidate for reduction once there's something more energy dense than diesel available to run every tractor and combine harvester in the world (currently looking like never). EV tractors are in the golf cart stage of usefulness. Not something we can realistically reduce by much if you want to continue eating food.

Home emissions are only 6-8%, but we can easily drive that to zero with induction cookers and ban of fuel oil heating, subsidizing heat pumps and district heating.

Of the 14% that is transport, cars can go EV and vans/trucks for city last mile delivery. Semi trucks should be replaced as much as possible by electric trains (good luck building that much rail though). On the other hand planes can't even ditch leaded fuel for piston engines yet, they're so far behind. Electric planes are a 1 hour flight time joke, hydrogen use is nonexistent. Sea shipping can go battery electric as well although it would be incredibly expensive.

How much we can cut down in the 20% that's emitted by industry is a good question that I have little insight into. I presume some chemical processes inherently release CO2, but there is a lot that can likely be done.
I think it'd be a shame if engineers were the ones to make the decision in this case. The decision needs to be made by people with a more serious understanding of risk and fragility, like the military generals, and especially by the people who will bear both the upsides and downsides of the decision, a.k.a. the local community who will be consuming the water.
Ask HN: Best practices using AI as an experienced web dev
As an Old, I came up learning the OG web dev languages - HTML, CSS, JS, PHP, etc. As a solo dev, I still largely work with these as natively as possible. But I am not a total dinosaur. I embraced jQuery in the early 2000's, Bootstrap scaffolding, and now often build reactive UI's using Vue 3.

Still, I continue to be picky about the many abstractions-of-abstractions that litter the dev landscape, mostly devised to drive their founders' business models.

AI-driven co-pilots are red hot now, and I want to evaluate their usefulness to my style of dev work. I've begun dabbling with services like Codeium and Claude, particularly within VSCode.

At first these AI tools seem exciting. A whole function conjured out of thin air from a short prompt! But the more I test drive, the more I find that I'm spending my time trying to craft prompts that are accurate enough to generate the code I want. Whereas I could be using that time to just conceive and write the code myself.

If you are not already well-versed in your coding languages, these AI tools must save a ton of time and effort. My question is - what about you devs who are already proficient in your languages of choice? How do you leverage AI co-pilots to maximize their usefulness without just falling into the "distracted by another abstraction" hole?
Khoj
I think it is safe to say that few if anyone actually understands the common American voter and what they actually care about. Anecdotally, the prevalence of cyber-security plot points in action thriller movies/games/books indicates that there is at least some awareness of the threat.
Thank you for calling this out. Most of the commenters seem to have never read the article. I intentionally left the type of childcare out of the article as everyone's situation is different. But plenty of people WFH with kids around.
This is apparently a misattribution: https://www.macrumors.com/2024/11/17/tim-cook-didnt-say-that...

> The Wall Street Journal last month published an interview with Cook, in which he said he uses every Apple product every day. Soon after, The Verge's Wes Davis attempted to replicate using every Apple product in a single day. During that day, Davis said he mostly used the MX Master 3, but sometimes switched to a Magic Mouse or Magic Trackpad.

> In other words, it was Davis who said he himself used a Logitech mouse, not Cook.

According to the MacRumors article, the misattribution came from The Mac Observer misreading an article by The Verge: https://www.theverge.com/2024/10/22/24276142/tim-cook-wsj-in...

The author was attempting to interpret what a day with only Apple products would be like, written in a first person style.

They mentioned using a Logitech mouse but for someone skimming the article, it can be easy to misinterpret that as a pull quote from the mentioned WSJ interview
To add, I've read about Singapore's English proficiency before in their 2020 census report, which notes that 48% of households speak mainly English at home which is definitely very high and clearly shows that Singaporeans speak English.[0]

[0] https://www.singstat.gov.sg/-/media/files/publications/cop20... p. 40
I'm having great success with OpenAI, local llms. I've created semi popular open source project that uses complex prompts to create specialized crms from just a few words.

If ClaudeAI can't create something from my prompts or their own suggestions that's on Claude. Maybe it was my new account on that day at that time. There was a 10 response limit too which made it unworth it to even bother with.

First account I ever actually deleted instead of just never going back. It was that bad.