I feel like declarative container-like dev environments (e.g. nix shell or guix shell, and so on) will become much more popular in the following years with the rise of LLM agentic tools. It seems that the aformentioned tools provide much more value when they can get full access to the dev environment.
Sprites[0], exe.dev[1], and more services seem to be focusing on providing instant VMs for these use cases, but for me it seems like it's a waste for users to have to ssh into a separate cloud server (and feel the latency) just to get a clean dev environment. I feel that a similar tool where you can get a clean slate dev environment from a declarative description locally, without all of the overhead and the weight of Docker or VMs would be very welcomed.
(Note: I am not trying to inject AI-hype on a Guix-related post, I do realize that the audience of LLM tools and Guix would be quite different, this is just an observation)
This is very interesting, I haven’t touched macOS development for quite a while but it’s good to know that libraries are still being written for both AppKit and SwiftUI on macOS.
I do feel that this library would benefit from an explanation on why this was needed. AFAIR AppKit already provides a native tabbing API where you can “just” (that “just” is doing a lot of heavy lifting) implement a few delegate methods and you get tabbing behavior for free, especially on document-based apps. (Sorry, I do not remember the specifics, it might have been a tad more difficult)
I’m not updated on the SwiftUI equivalent, but I would imagine that a similar API would exist much alike API for multiple windows or multiple documents.
I think everyone would benefit from a “why” explanation (which I definitely think would exist, since I’ve used too many AppKit APIs in pain), and also some screenshots for a demo app (so that we can expect how it would look and how much the look and feel would deviate from the native counterparts).
I've tried the native tab support several times, and my impression is that it's good for very little.
It may be OK for certain types of document-oriented apps, but there's a reason most apps (Chrome, iTerm, even Safari uses its own native tabs, I believe) don't use it. It's underbaked and awkward to fit into a model where your "tab data model" doesn't neatly fit the document data model that the framework wants.
I recently made an app where I wanted tabs, and I just ended up abandoning tab support for this reason, and adding a todo item to use an off-the-shelf tab UI library in the future.
Yeah I realized that only now, for some reason when I was on mobile and I was looking into this the demo video was not loading at all. I would love to retract my comment :(
I haven't even realized that while I was reading the article, but it is amusing!
Though one explanation is that I think for the other stuff that the writer doesn't explain, one can just guess and be half right, and even if the reader guesses wrong, isn't critical to the bug — but sockets and capabilities are the concepts that are required to understand the post.
It still is amusing and I wouldn't have even realized that until you pointed that out.
I'm genuinely curious on how well this is working, is there an independent Java test suite that covers major Java 5/6 features that can verify that the JOPA compiler works per the spec? I.e. I see that Claude has wrote a few tests in it's commits, but it would be wonderful if there's a non-Clauded independent test suite (probably from other Java implementations?) that tracks progress.
I do feel that that is pretty much needed to claim that Claude is adding features to match the Java spec.
Well, it's complicated. The original jdk compliance tests are notoriously hard to deal with. Currently I parse nearly 100% of positive testcases from JDK 7 test suite (in one of Java 7 branches) but I only have several dozens of true end to end tests (build .java with jopa, validate classfile with javap, run classfile with javac).
So, I can't tell how good it actually is but it definitely handles reasonably complex source files with generics (something the original compiler was unable to do).
The actual goal of the project is to be able to build at least ANT to simplify clean bootstrap of OpenJDK.
Like when I ask AIs to port sed to java, and it writes test cases ... running sed on a CLI and doesn't implement the full lang spec no matter how much prompting I give it.
I think the criticisms are too often dismissed as moving the goalposts or ignorant of potential, but short of recreating the active open bugs in Java, you've created a different thing whose differences have to be managed and it is unclear how helpful that may be despite the working implementations of subsets.
If I (or someone else) can use it as a start point in bootstrap process - that's fine with me. This is not supposed to be a top-tier compiler. Essentially, it needs to be able to build ANT.
It is beyond annoying that the article is totally generated by AI. I appreciate the author (hopefully) spending effort in trying to figure out the AI systems, but the obviously-LLM non-edited content makes me not trust the article.
What makes you believe that anything in the article is real?
The author seems to not exist and it's unclear where the data underlying the claims is even coming from since you can't just go and capture network traffic wherever you like.
I knew for a fact that a Linux desktop was a viable option when you have a separate macOS/Windows laptop (which is my main computer). Recently (frustrated with macOS updates), I decided to be Linux-only for a week[0], replacing my MBP with an MBA that runs Asahi Linux.
Unfortunately it turns out that I depend on too many desktop apps that runs on the major desktop OSes but not on Linux (or on Wine, for that matter).
* KakaoTalk, the major South Korean IM app ran on Wine for a week, but the updater doesn't work and freshly reinstalling the app broke Wine for some reason. (I tried removing the whole ~/.wine prefix, but it doesn't work.) Now I'm stuck without KakaoTalk.
* Discord is only provided as a x86_64 Deb file and a .tar.gz file. I tried using it from Firefox, and it works fine but audio sharing during screen sharing doesn't work.
* Disconnecting from my Bluetooth AirPods somehow does not stop my music. I'm not sure if this is an AirPods limitation or a Linux limitation (since I've never used AirPods with Windows), but it annoyed me endlessly.
* USB-C DP mode and the fingerprint sensor doesn't work. This is an Asahi Linux limitation, but I've seen various parts of the hardware not working when using other Linux distributions on laptops as well. I feel this is a common occurrence.
Not to mention that the lack of text editing shortcuts that macOS has, which is a big deal to me (but I tried as that is a macOS-ism).
I carried my MBA for 4 days before I gave up today. I brought my MBP today with me.
> * Disconnecting from my Bluetooth AirPods somehow does not stop my music. I'm not sure if this is an AirPods limitation or a Linux limitation (since I've never used AirPods with Windows), but it annoyed me endlessly.
I think this is by design, not limitation. On android, changing sound device stops music playback. On windows and linux, changing sound device doesn't stop sound. I tried it with wired headphones, maybe expectations for BT are different, but I think that comes from smartphones.
>* USB-C DP mode and the fingerprint sensor doesn't work. This is an Asahi Linux limitation, but I've seen various parts of the hardware not working when using other Linux distributions on laptops as well. I feel this is a common occurrence.
This really is a special case, they've had to write new drivers for everything in the Apple Silicon Macs and they haven't gotten that working yet. I have in fact been waiting on this feature for a few years now as I want to use a MBP with the lid closed and two monitors plugged in, but currently only the HDMI works and not most USB-C functionality. This is not at all the norm in x86_64 land where more normal hardware is used. I'm still using a ThinkPad T440p and thinking about getting a T14 gen 5 due to the MBP I got a few years ago not being satisfying/fun to use, comparatively.
As for Discord and AirPods and such, the more proprietary stuff you need, the worse time you'll have. Though I just saw something in the news that might help with the AirPods. Check out LibrePods.
For discord I just use Discord Canary. its a wrapper and works perfectly. But I'm also on Fedora.
I would suggest trying something other then Asahi linux! I know that their support with Mac systems is near unbeatable. But it does still tend to have some hiccups. Especially with M3+ systems.
I know that "try a different distro" is a often (user biased) and imo bad answer. But in the case of Asahi as awesome as their work is they are climbing a different mountain compared to the rest of linux development.
>Discord is only provided as a x86_64 Deb file and a .tar.gz file. I tried using it from Firefox, and it works fine but audio sharing during screen sharing doesn't work.
I got it working with the unofficial client Vesktop. Functioning screensharing on wayland is actually advertised as one of their main features.
I can't see how this is being blamed to the phone device maker (or the users who have not updated yet), why is Australia phasing out their 3G network if a large swath of their people's phones are dependent on them for dialing their emergency number?
In my view, they (the govt) either should have not gave permission on selling the devices who relies on having a 3G network for emergency calls for at least 10 years ago, or they should just have their 3G network operable for another 5 years.
For example, our country (South Korea) had 2G networks operable until ~2021, and are planning to have all of the 3G networks operable for the foreseeable future. It can be done.
Exactly. I am fairly certain 2G still works in India. Australia is not as populous and has a larger geographical area with low density. I can understand the business wanting to cut costs, but this seems aggressive.
> According to the prevalent narrative in North Korea, the war was won by the communists.
According to the North Korean govt, the Korean war was started by the South who wanted to invade North (it was not, based on extensive studies). Therefore in their view (or at least from their propaganda), the communists "won" by successfully defending their part of the peninsula.
> According to the prevailing narrative in North Korea, the war was won by the communists and since then, the entire Korean peninsula has remained united under the rule of the Korean Workers’ Party.
This is either not true at all or the writer phrased strangely — both of the governments (South & North) recognize that the war is still on-going and they have an enemy that is controlling the other half of the peninsula that they do not control. However, both of the governments also argue that they are the only legal government that is ought to control the whole peninsula and does not recognize each other's legitimacy. For example, ROK(Republic of Korea, the government that controls the southern part of the peninsula)'s constitution writes that it's government governs the whole peninsula and it's islands. It's like how both PRC(People's Republic of China, i.e. China) and ROC(Republic of China, i.e. Taiwan) both argue that they are the only legal government over all of China (i.e. Mainland China and Taiwan combined).
> Therefore, when looking at the maps in this atlas, it should come as no surprise that Korea is always shown as one country, with no reference to the other country that exists at the southern tip of the peninsula.
It is universally agreed between the two governments (and their citizens) that a unification should happen at some point, so it is obvious that we should be using a map that covers the whole peninsula. We (as South Koreans) also learn 'our country' as the whole peninsula.
> This North Korean world map is centred on the Pacific Ocean, which gives Korea a privileged position on the global stage.
Not going to lie, sometimes it feels that some of the Westerners act like that they don't even think of the remote possibility that they might not be the center of the world…?
South Korean maps do this, China maps do this, Japanese maps do this, I'm pretty sure South East Asia countries also do this, it's a normal thing to do. There's nothing special about having the Pacific Ocean centered.
>> This North Korean world map is centred on the Pacific Ocean, which gives Korea a privileged position on the global stage.
> Not going to lie, sometimes it feels that some of the Westerners act like that they don't even think of the remote possibility that they might not be the center of the world…?
Westerner who also thought this was a strange comment and that the centering of the Korean peninsula was a totally natural decision for this atlas
> Not going to lie, sometimes it feels that some of the Westerners act like that they don't even think of the remote possibility that they might not be the center of the world…?
> South Korean maps do this, China maps do this, Japanese maps do this, I'm pretty sure South East Asia countries also do this, it's a normal thing to do. There's nothing special about having the Pacific Ocean centered.
Worth noting that florence meridian (11E) is somewhat special because centering map on it avoids cutting any major land masses. The best pacific option (148E) still needs to deal with greenland somehow. Of course Korea is quite off from 148E, so the map here ends up bit wonky (Greenland is duplicated, but Nunavut is not?).
But that's only because the conservative government that took power in South Korea took a hardline anti-unification stance and instead decided to strengthen relations with the US.
The US has a rich history of undermining unification processes. Like in 2005 when Bush Jr broke promises related to light-water reactors and the 2005 agreement (where North Korea would stop nuclear development in exchange for a non-aggression pact and relief from sanctions).
Or in March 2017 when the U.S. has dismissed a joint China-North Korea proposal where North Korea would end its nuclear weapons development in exchange for the U.S. stopping its military maneuvers with South Korea
My friend was on a guided tour to North Korea, and they aware of a lot of things. For example, the population of the North and the South was somehow accurately described to the tourists as 25 and 50 million, and they don't question that fact.
> It is universally agreed between the two governments (and their citizens) that a unification should happen at some point, so it is obvious that we should be using a map that covers the whole peninsula. We (as South Koreans) also learn 'our country' as the whole peninsula.
When I was growing up, I learned that too. But is it still true? I don't see any unification news or mention of it from media anymore. I don't think that schools still say or can say that to students. It didn't take me a long time after I got out of the public education system to realize what propaganda schools and media were selling.
All Koreans hope for it to happen, especially those who aren't part of the very upper echelons of the DPRK. Just because folks live in DPRK and are bombarded with bullshit doesn't mean they aren't very well aware of what their realities are like when compared to that of the South.
Sneakernet is (was?) alive and well in DPRK and most of the population knows they're living nowhere near the levels that those in the South are. They just are fucking terrified of them and their families being killed by hard labor if they say otherwise.
So; sure; it's /possible/, but until something big changes, it won't happen. The only reason it's not actually happening is because of the humanitarian crisis it would create. No one wants to deal w/the fallout.
It wouldn't be just a humanitarian crisis but huge economical and social problem as well - suddenly this single country would be enlarged by ~26mln people who would need to be adjusted to life in a completely different reality, and who also would need to be secured in variety of ways.
The comparison to German unification that's often bring up seems to be accurate only on the surface. There are large differences like mainly the cult of personality created by the Kim family that affects life of people in NK. It's not possible to dismantle that day by day, and surely government which would had to deal with unification would also face resistance to some degree. This society has been for over 70 years conditioned to hate, looking for the causes of their own misfortune outside in the pure evil that USA in their eyes is and its puppet state of SK.
It won't be a 0-1 change where on Monday you attend annual parade where you worship Eternal President and Dear Leader, and by Tuesday you plan your first vacations on Jeju island.
Moreover, the situation in the end of 80s in Europe is the key factor - namely the domino effect started in Poland which spread across the whole eastern bloc. There was a strong opposition building up within societies of Central-Eastern Europe demanding changes and freedom. Pretty sure that's nearly non existent in NK - there's no trigger for large changes. Even the famine in the mid-90s wasn't enough.
I don't think much of anyone thinks unification is actually possible absent some big change, and indeed neither government is truly pursuing it actively (unless "trying to destabilize and make the other government collapse" qualifies). But both are trying to be as ready as possible for unification when the opportunity presents itself (most likely, it would happen in a way alike to German reunification - that is, the government of one of the two countries becomes quite compatible with the other, because the previous form of government in it collapsed and was replaced by that of its neighbor)
( I lived in South Korea, and I read Korean rather well, and have traveled very extensively in South Korea. I have seen North Korean across the borders from 4 sites. )
The prevailing narrative in North Korea is utter propaganda: You cannot win a war that is still not over.
Korea should reunite as some point, when the North has a moderate leader or falls like East Germany. Until then all the wishful thinking of a deranged leader in the North, will amount to cold, cold air. The North Koreans starved millions of their own citizens. Millions, and continue to do so.
"Government Policies: The state's rigid public distribution system failed, disproportionately affecting the urban population and rural areas, while prioritizing food for the military and political elite. The government was slow to seek international aid and restricted the access of foreign relief agencies, diverting much of the aid that did arrive. "
Westerners who are not traveled, do believe themselves to be the center of the universe, its why they are almost universally known as 'Ugly Americans.' Loads of those in South Korea.
An honest map of korea would be east west centered on the China sea, looking over the plains, and with the mountains at the top... ( I am getting emotional now at the thought of the mountains... so incredibly beautiful, and... amazingly clean. ) My wish for Korean Unification is to see the Golden Mountain. (金剛山), and for the long separated families to see each other.
Rotate all these maps 90 degrees counter clockwise.
The best hope for unification for Korea... was laid out by Sec Hillary Clinton, who before she became Secretary of state, basically reiterated verbatim one of the most well thought out assessments of unification I have ever heard. Since she is not exactly a professor of Far East Studies, someone in the State Department must have written it for her, someone who had been studying it for decades, like I have.
At least for Japan, South Korea and China we all draw our map centered to Pacific Ocean instead of Atlantic Ocean. It is very normal practice, unless the author of this article is so Eurocentrism that they think it is an arrogation for anyone other than Europe to put them in the center.
This article just pushed me over to retry Linux on my laptop, and I've been spending the last 2 hours on a Linux desktop. I would love to use it as my main driver (will try the next week), but it still feels like a thousand paper cuts and realize why I was stuck on macOS for the last 10 years. Ugh :(
Curious what the cuts are? I'm forced to use MBP at $JOB and it sucks compared to Linux at home. Maybe I'm just used to Linux, don't know? But I love the fact that I can configure it the way I like, especially all the keyboard shortcuts. On MacOS this has proven to be difficult.
macOS has two keyboard shortcut management mechanisms. I find it far easier to control keyboard shortcuts on macOS vs Linux. You either can do it in the GUI in Settings > Keyboard > Keyboard shortcuts, either per app or global, or you can use the older KeyBindings method: drop a .dict or a .plist in ~/Library/KeyBindings with your shortcuts in there. See https://web.archive.org/web/20070513170225/http://www.hcs.ha...
I don't need the OS to do that because Emacs will do it. I need the OS however to pass fn-N and fn-P to Emacs (instead of the default behavior of interpreting them as Expose shortcuts) and it does not seem possible to configure that without turning off SIP.
It's definitely a different workflow using Linux. If you've been using mac for 10 years you'll have a set of apps that you've bought that might not exactly match.
I found kubuntu to match my expectations from a UI standpoint. The gnome desktop was too different and scattered by comparison.
Sprites[0], exe.dev[1], and more services seem to be focusing on providing instant VMs for these use cases, but for me it seems like it's a waste for users to have to ssh into a separate cloud server (and feel the latency) just to get a clean dev environment. I feel that a similar tool where you can get a clean slate dev environment from a declarative description locally, without all of the overhead and the weight of Docker or VMs would be very welcomed.
(Note: I am not trying to inject AI-hype on a Guix-related post, I do realize that the audience of LLM tools and Guix would be quite different, this is just an observation)
[0]: https://sprites.dev
[1]: https://exe.dev
reply