esjeon

Hmph, is there any rationale against a generic wrapper over it? Exposing the internal details can be irky in higher level application development. It would not hurt to have some inline functions.

Yes, but Korea is genuinely unique in how quickly it's happening. The birth rate in Korea is currently at 0.75, which is the lowest in the world. Italy, the second lowest, still remains above 1, and this large gap tells a lot about the current situation in SK. The country is facing challenges in all fronts - politics, society, and economy.

The Bluesky community is left-leaning and mainly consists of early adopters - basically, a group of active idealists. It's unsurprising that they are highly hostile toward a company with a history of exploitative behavior. Additionally, the current political situation significantly affects their emotional stability, negatively.

I mean, yeah, the place is a kind of minefield these days, but I don't blame people. It just happens.

I don't get why Americans are hating on hydrogen fuel cells so much, but in Korea, half of the eco-friendly bus market is basically on hydrogen (note: the gov uses all kinds of weird terms and stats, so I really can't nail down the actual number). There are lots of electric buses, but they're too heavy and not great for the tight corners and hills that are everywhere in Seoul. FCEVs are lighter and more powerful, so bus drivers seem to prefer them over BEVs. However, hydrogen buses are about twice as expensive as battery buses from China.

Yup, port forwarding is always a big win over any VPN, for real. No random stutter, no random disconnection, no random DERP fallback. It's just that ISPs are killing home port forwarding with CGNAT.

That will be a real deal. Recommend the exact medical services you need. It can potentially optimize the medical supply chain, reducing cost and waiting time for everyone.

I think professional services will continue to use OCRs in one way or another, because it's simply too cheap, fast, and accurate. Perhaps, multi-modal models can help address shortcomings of OCRs, like layout detection and guessing unrecognizable characters.

Zig is unsafe, but, instead, it encourages more strategic approaches for memory management. Period.

In case of Bun, it's kind of mixed bag, as it relies on JSCore from WebKit. A lot of its issues are from the the engine.

AFAIK, the merge was for the sake of change, not like he fully agreed with the adoption of Rust nor prioritization of Rust. The point is to have actual discussions, rather than pushing things with 10-feet poles just for being new and different. Anything that make sense will become the outcome of those discussions.

No. At the time, it was about GPGPU, not AI.

Yeah, I agree. I do respect the effort itself, but it always feels like a huge waste of talent. Imagine what could have been created with all that time and energy.

I believe the best solution to proprietary hardware is not to buy them in the first place. Buy from vendors who are more open/supportive, like Framework and Thinkpad. This helps those vendors keep supporting open source.

> The other 75% is the stuff you actually have to think about.

I’m pretty sure the actual ratio is much lower than that. In other words, LLMs are currently not good enough to remove the majority of chores, even with the state of the art model trained on highly curated dataset.

Factory must grow.

> Similarly, just because the Nobel for literature goes to a niche literary author you don't know/like doesn't demean whatever your reading preferences are.

You know how things work. The media starts to chant about how great those winners are, with only a few seriously digging into the actual works. They are quickly followed by internet trolls who derail every discussion by insisting that these are masterpieces certified by big-name committees, claiming that we, the lowly masses, must accept the decisions of the great authority as the absolute truth of our lives.

Every awards season is like this, and I now hate awards

Fairly common. A lot of things can happen during accidents, and cars sometimes run into guardrails at angles greater than 45 deg.

Upgrading all guardrails isn’t terribly difficult - it just takes long. Guardrails usually last 20-30 years, and governments will not replace them until they fail.

Also, this experiment also means that BEVs can inflict bigger damages to other hard objects (e.g. buildings), and drivers would get injured more seriously during collision. So I think we should get a safer design that kills the kinetic energy on collision.

In older days, platforms were new and few, and people consumed the platform itself. Nowadays, platforms are common and technically insignificant (i.e. no differences b/w services), and we now consume networks.

Yeah, true. It's either terrorism or borderline-terrorism at least. But people still gotta talk if they're not willing to wage another war against each other. We clearly have too many wars going around, so politicians will have to forge up some bullshit excuses.

Yeah, but, again, it was a large scale attack right in the middle of general population. It wouldn't be problematic if this attack was targeting few key members, but thousands certainly intimidate normal people unnecessarily.

Yup, Netanyahu is certainly taking advantage of the situation to secure his position, at the cost of innocent lives and the expense of the United States. As long as Israel remains committed to its purely-Jewish-state ideal, the conflict will continue, draining more money from US taxpayers.

I hope people discuss using more precise terms. UN Security Council Resolution 1566 outlines what is generally considered as terrorism:

"criminal acts, including against civilians, committed with the intent to cause death or serious bodily injury, or taking of hostages, with the purpose to provoke a state of terror in the general public or in a group of persons or particular persons, intimidate a population or compel a government or an international organization to do or to abstain from doing any act."

Physically the attack was likely well targeted. It was shipped very recently, so it's likely only few of those beepers made into the public market.

However, the attack happened right in the middle of general population far away from the theater of war. This obviously intimidates and mentally damages innocent people living their normal lives. So it can be considered as a form of terrorism.

No government, especially those of developed countries, should be allowed to inflict harms on individuals, living in peace, in any form, whether physical or mental.

UN Security Council Resolution 1566 outlines what is considered as terrorism:

"criminal acts, including against civilians, committed with the intent to cause death or serious bodily injury, or taking of hostages, with the purpose to provoke a state of terror in the general public or in a group of persons or particular persons, intimidate a population or compel a government or an international organization to do or to abstain from doing any act."

If their purpose was really about scaring Hezbollah away, this attack can be labelled as terrorism. I'm pretty sure politicians have different ideas there.

> You can't get any more targeted than that.

We can nuke a dictator. It's going to blow up everything within miles, evaporating millions of people, but it can't get any more targeted than that. Deal with it.

Seriously, tho, it's infuriating that a government literally triggered explosion among general public, right in front of innocent eyes. This is an act of terrorism, harming the lives of innocent people who've been largely unrelated to the conflict.

Ah, you are informally inquiring about a formal description concerning the informal nature of formalization of informal questions.

Joke aside, this is about the nature of the formalization process itself. If the process of formalizing informal problems were fully formalized, it would be possible to algorithmically compute the solution and even optimize it mathematically. However, since this is obviously impossible (e.g. vague human language), it suggests that the formalization process can't be fully formalized.

It's not about USB. It's about executables, and syncing-over-cloud is equally dangerous w/ executables. Perhaps, syncing is worse than USB, because it will write executables right into your home directory, which isn't mounted with NOEXEC flag, where USB would be mounted with it by default (depending on the policy).

Security-wise, copying executables b/w systems amplifies the risk of escalating partial write access on one system to full system access on many other systems. This would be an easy building block for "Advanced Persistent Threat"[1] attacks.

[1]: https://en.wikipedia.org/wiki/Advanced_persistent_threat

I'm also curious about the actual usecases. This seems very highly niche.

This can also lead to security issues, as it encourages the use of shared folders or USB drives for carrying around executables. You should never reuse executables from other systems - always download one from the first party.

One thing is that I was referencing the old popular quote on Lisp: "Whoever does not understand Lisp is doomed to reinvent it," so there’s a little bit of exaggeration there.

Still, it’s true that Nix Flakes is a kind of dynamically-typed environment that lets you compose various constructs in Nix in a uniform way. But, let's be honset, we have had duck typing forever, and Lisp is a dynamic language from 1960s. Reading through forum posts (as I never went deep with Flakes), Nix really needs a fundamentally better language, or I have a strong feeling that the project will just keep reinventing language features one by one.

Telegram has always been just one slip away from this kind of stuffs because it's a centralized service. Depending on how laws are read, it could be seen as complicit in various crimes, and it's politicians who decide how to read those laws, not tech people. It might be the end of those good days where things were so simple and easy.

These days, I've been working on a small tool to run GUIX as an unprivileged user, so that you can use GUIX profiles as a dev environment builder. I didn’t do any market research, but AFAIK there are similar tools using Nix. Honestly, this is just a toy project for fun. I had GUIX on one hand and Zig on the other, so I figured, why not try something new using both?

Why not Nix? I just don’t like the Nix language. Plus, it seems like they ended up reinventing part of Lisp with their Flakes, which made me even more convinced in using GUIX. The GUIX folks didn't disappoint me, as they utilized the full power of Scheme to design a (internal) DSL that is clean and almost reads like JSON/YAML. I feel quite confident that it’s a better language for building devenvs for most people. The only downside is that it can get really verbose, but, hey, at least you have full control.

I was expecting a rant, but, wow, it was far better than that. This is a well founded criticism.

CORS is an afterthought that never carefully integrated into the ecosystem, which resulted in bad DX. It’s so blunt that applying CORS always feels like a hack.