I am very sad that there is no iPadOS for A12X iPads. That tablet is the first one to be clearly desktop-class, and would still be usable with Linux as a desktop. iPadOS 26 sadly has too many issues, and it would have…
I think another problem is: vibecoded emulators (like this one seems to be?) are likely to be a stunt, a cool project, but will not be maintained. Upstreaming this to qemu requires at least some human effort, and it is…
I feel like instances of this kind of decision (also from your examples) fall into two groups: replacing names from colonization with local names, and... Second group name left as an exercise to the reader.
I am Italian, and we get quite pissed when the government issues executive orders (the head of state can't do it), although it happens relatively often. I live in France, and when the president resorted to using them it…
Of course kudos to the author. But I am pretty sure that the availability of iMessage and notifications over Bluetooth starting from iOS 26.5 is a direct result of the EU’s policies for smartwatch interoperability, so……
There’s also the old work on owlink and opendrop https://github.com/seemoo-lab/opendrop, which reimplement apple’s version of WiFi direct and use it to have a Linux implementation of AirDrop. I guess Continuity’s…
Andrej Bauer and others are working on a kind of similar infrastructure, and developing a dedicated query language: https://math.andrej.com/2026/07/11/making-ai-smarter-with-ai...
Your observation is perfectly on point, I think the season of companies announcing breakthroughs might be over soon (unless they somehow manage a major achievement, P vs NP or similar). At the same time, mathematicians…
I am getting 404 right now
Neither of the two. A proof by contradiction, as other comments have stated, is: assuming not P1, we reach a contradiction; thus P1 must be true. This is equivalent to tertium non datur in classical logic. I’m not sure…
This document misses the point in a way that very commonly arises when mathematicians (as opposed to logicians) discuss proof by contradiction. The examples in this document all revolve around assuming a fact, showing…
Do you think there will still be an incentive to release weights in that scenario? Everyone will have models only if there continue to be companies releasing weights.
I remember trying an iPhone 12 in 2020 and feeling it was so fast that no phone task would ever be able to use all that power. Definitely not my current experience on my now old iPhone 12. A lot of it can be attributed…
Same for me! It took me a while staring at the article and wondering why "browser" was mentioned so many times, to realize it was not Android
That's what I was thinking, but the phrasing seems to imply that he did update to 26.4.1? Not sure how that was possible.
This setup feels cumbersome, since you also have to manually track which items you have read. Kobo seems to offer better features in this sense (better than a jail broken kindle), however I like the build of my Kindle…
As an Italian living in another EU country, I always thought that the amount of (broken) bureaucracy of Italy was not particularly worse. However this story comes after a couple more I heard this week, in a line of…
Just a couple of hours ago I was thinking about this project from some time ago doing the same thing: https://github.com/evmar/retrowin32 I wondered how much of this could be done with an LLM agent, and here we have the…
This is a viewpoint commonly held by students who were exposed to imperative programming before having any class in maths. However it shouldn't survive long after that.
I just moved to macOS for the first time, and my only way to adapt to its multi-tasking has been keeping exactly one window per open application, never zero or more than one. The fact that Finder can't be treated like…
By coincidence I was just having a look at the work by the same author on languages based on Interaction Nets. Incredibly cool work, although the main repos seem to have been silent in the last couple of months? This…
I am very intrigued by this. It all seems AI generated. This same HN account posted another repo full of promises and which looks filled with AI generated stubs. What's going on? How did this reach the first page?
Add to this that propositional logic (the language in which we express SAT) is a versatile language to code problems in. Finding cliques in a graph is also NP complete, but it is less natural to use it as a language to…
I guess that might be it, but it's still very surprising to hear for people that were around the internet before or around the early 2000s
If one is to believe that there is no other usage for a Bitcoin besides having a digital ticket worth 60k+ USD, then those people selling those tickets would be organizing one of these schemes. In order for it not to be…
I am very sad that there is no iPadOS for A12X iPads. That tablet is the first one to be clearly desktop-class, and would still be usable with Linux as a desktop. iPadOS 26 sadly has too many issues, and it would have…
I think another problem is: vibecoded emulators (like this one seems to be?) are likely to be a stunt, a cool project, but will not be maintained. Upstreaming this to qemu requires at least some human effort, and it is…
I feel like instances of this kind of decision (also from your examples) fall into two groups: replacing names from colonization with local names, and... Second group name left as an exercise to the reader.
I am Italian, and we get quite pissed when the government issues executive orders (the head of state can't do it), although it happens relatively often. I live in France, and when the president resorted to using them it…
Of course kudos to the author. But I am pretty sure that the availability of iMessage and notifications over Bluetooth starting from iOS 26.5 is a direct result of the EU’s policies for smartwatch interoperability, so……
There’s also the old work on owlink and opendrop https://github.com/seemoo-lab/opendrop, which reimplement apple’s version of WiFi direct and use it to have a Linux implementation of AirDrop. I guess Continuity’s…
Andrej Bauer and others are working on a kind of similar infrastructure, and developing a dedicated query language: https://math.andrej.com/2026/07/11/making-ai-smarter-with-ai...
Your observation is perfectly on point, I think the season of companies announcing breakthroughs might be over soon (unless they somehow manage a major achievement, P vs NP or similar). At the same time, mathematicians…
I am getting 404 right now
Neither of the two. A proof by contradiction, as other comments have stated, is: assuming not P1, we reach a contradiction; thus P1 must be true. This is equivalent to tertium non datur in classical logic. I’m not sure…
This document misses the point in a way that very commonly arises when mathematicians (as opposed to logicians) discuss proof by contradiction. The examples in this document all revolve around assuming a fact, showing…
Do you think there will still be an incentive to release weights in that scenario? Everyone will have models only if there continue to be companies releasing weights.
I remember trying an iPhone 12 in 2020 and feeling it was so fast that no phone task would ever be able to use all that power. Definitely not my current experience on my now old iPhone 12. A lot of it can be attributed…
Same for me! It took me a while staring at the article and wondering why "browser" was mentioned so many times, to realize it was not Android
That's what I was thinking, but the phrasing seems to imply that he did update to 26.4.1? Not sure how that was possible.
This setup feels cumbersome, since you also have to manually track which items you have read. Kobo seems to offer better features in this sense (better than a jail broken kindle), however I like the build of my Kindle…
As an Italian living in another EU country, I always thought that the amount of (broken) bureaucracy of Italy was not particularly worse. However this story comes after a couple more I heard this week, in a line of…
Just a couple of hours ago I was thinking about this project from some time ago doing the same thing: https://github.com/evmar/retrowin32 I wondered how much of this could be done with an LLM agent, and here we have the…
This is a viewpoint commonly held by students who were exposed to imperative programming before having any class in maths. However it shouldn't survive long after that.
I just moved to macOS for the first time, and my only way to adapt to its multi-tasking has been keeping exactly one window per open application, never zero or more than one. The fact that Finder can't be treated like…
By coincidence I was just having a look at the work by the same author on languages based on Interaction Nets. Incredibly cool work, although the main repos seem to have been silent in the last couple of months? This…
I am very intrigued by this. It all seems AI generated. This same HN account posted another repo full of promises and which looks filled with AI generated stubs. What's going on? How did this reach the first page?
Add to this that propositional logic (the language in which we express SAT) is a versatile language to code problems in. Finding cliques in a graph is also NP complete, but it is less natural to use it as a language to…
I guess that might be it, but it's still very surprising to hear for people that were around the internet before or around the early 2000s
If one is to believe that there is no other usage for a Bitcoin besides having a digital ticket worth 60k+ USD, then those people selling those tickets would be organizing one of these schemes. In order for it not to be…