Have been using Neo Launcher since it had the features I needed from Nova (mostly hiding most apps from the app list while having them on the home screen in some folder so that it isn’t a mess when you want to find something specific). It hasn’t been updated in a while, but it works perfectly fine for me.
The Phoebus cartel strikes again!
Because we have tons of ground-level sensors, but not a lot in the upper layers of the atmosphere, I think?
Why is this important? Weather processes are usually modelled as a set of differential equations, and you want to know the border conditions in order to solve them and obtain the state of the entire atmosphere. The atmosphere has two boundaries: the lower, which is the planet’s surface, and the upper, which is where the atmosphere ends. And since we don’t seem to have a lot of data from the upper layers, it reduces the quality of all predictions.
If config prompt = system prompt, its hijacking works more often than not. The creators of a prompt injection game (https://tensortrust.ai/) have discovered that system/user roles don’t matter too much in determining the final behaviour: see appendix H in https://arxiv.org/abs/2311.01011.
Like Firefox ScreenshotGo? (I think it only supports English though)
xkcd.com is best viewed with Netscape Navigator 4.0 or below on a Pentium 3±1 emulated in Javascript on an Apple IIGS at a screen resolution of 1024x1. Please enable your ad blockers, disable high-heat drying, and remove your device from Airplane Mode and set it to Boat Mode. For security reasons, please leave caps lock on while browsing.
CVEs are constantly found in complex software, that’s why security updates are important. If not these, it’d have been other ones a couple of weeks or months later. And government users can’t exactly opt out of security updates, even if they come with feature regressions.
You also shouldn’t keep using software with known vulnerabilities. You can find a maintained fork of Chromium with continued Manifest V2 support or choose another browser like Firefox.
Very cool and impressive, but I’d rather be able to share arbitrary files.
And looks like you can only send images in DMs, but not in groups/forums.
I see!
And it was a stable OS version, not a beta or something? That’s the worst kind of bugs. Hopefully manufacturers start formally verifying hardware and firmware as a standard practice in the future.
Other than what I said in the other reply:
I live in the USA so getting one would be problematic but I hear perhaps not entirely impossible for me.
Looks like it has a US release? If you’re unsure or getting a European version, double-check it’s compatible with American wireless network frequencies &c. Specific operators might also have their own shenanigans.
Do you know how it compares to e.g. Fairphone?
Nope, never tried Fairphone.
Very solid, I think (except water protection, but my previous OnePlus also didn’t have good water protection anyway; and I’m careful enough).
I don’t tend to use glyphs or the default launcher (and therefore its special widgets that only work there; but the ability to have apps in folders on my main screen while being hidden from the app menu is more important for me than a handful of widgets, so Neo Launcher it is).
A recent OS update added configurable swap (up to 8GB), calling it “RAM booster”. I don’t use it, but if you want to run a local LLM (or rather a SLM), you could try making use of it? As long as you figure out how to make the model use main RAM and not the swap.
I like the battery life (or maybe it’s just because it’s the first phone where I started charging at 20% and stopping at 80% semi-consistently).
Termux still works despite the new Android versions becoming more hostile to apps executing binaries they didn’t have included already.
One thing I miss from OnePlus is the ability to deny some apps network access entirely. (I think it was removed in later versions of Oxygen OS?)
Also was a OnePlus user - now switched to Nothing Phone (2).
I don’t focus on recommendations specifically. My typical process is:
Skip some of these if irrelevant or if you don’t care enough. Spend extra time if you care a lot.
It works well enough for every new phone (the market there is changing fast, so you start anew every time), it worked for my first PC I’ve decided to assemble with 0 prior knowledge, the mechanical keyboard and the vertical mouse, and pretty much every piece of tech I’m buying.
And I’d say it’s reasonable to use Reddit without an account even if you disagree with what the platform owners are doing. The data is still valuable for such use cases.
The article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica.
I see, thanks. Will check. I just thought perhaps you figured out something other than those from your experience.
Any guidance on choosing appropriate conservative settings for i7-13700K? I may be hit with the same as you in the future (sometimes I have to do some heavy multithreaded combinatorial computations which run several days with 100°C temperature, using all cores). The motherboard has options for customising pretty much everything there is, but I didn’t touch anything overclocking-related, so I have Asus defaults.
I’m still waiting for the day when actual ads across the internet drown in AI-generated advertisements pointing to no real product or service. Perhaps that’ll make attention industry collapse?
If you’re looking for a side project idea, here’s one.
The exact definition of sanity is a cultural choice.
Should be doable with Termux:
termux-sms-listandtermux-sms-sendcommands);termux-sms-listreturns messages in JSON, which is easy enough to handle with, say,jqin bash orjsonin python. The script itself can be a simple loop that fetches the latest messages every few minutes, filters for unprocessed ones from whitelisted numbers and callstermux-sms-send.Maybe it’d make sense to daemonise the script and launch it via
sv.But the Termux app weighs quite a bit itself.