tobz1000

As someone with minimal knowledge of LSP specifics, I'm a bit confused about why this exists. Is it the case that LSP alone does not provide adequate functionality for Python type queries?

There is a lot of anger in the UK because their (our) environment and life conditions are measurably worse than in the past (even 10 years ago). This anger is masterfully directed (by political orgs but not the actual government) against immigrants, drug addicts, and other groups whose ousting is positioned as an "easy fix" to these problems. So there's not much meaningful action taken against the actual perpetrators.

One of the biggest shortcomings I often see with LLM-produced content, following a planning conversation, is that they misunderstand the breadth of the domain for which a detail is relevant or interesting.

So if it fixes a bug where function was accidentally deleting a file, it will update the function's documentation with "does not delete any important files", as if that's a key feature and not just one of a million things it should not do.

The same pattern repeats when an LLM is left to generate its own copy after a brainstorming and architecting session. It has no concept of what's important to the end-user.

> the proportion of all 2n-bit values that can be generated by the product of two n-bit values goes to zero as n becomes large. This means that if you have, say, 10000000-bit integers multiplying 10000000-bit integers, you’d expect relatively few 100000000000000-bit integers to be produced.

That should be "relatively few 20000000-bit integers", right?

At least in the UK, the main high-street retailers will only stock goods from reputable brands with a (relatively) decent track record and safety standards. I don't believe there is any intersection between products sold on Temu and e.g. Argos, John Lewis.

I don't know definitively, but the Zig project has been vocally anti-LLM code; Bun was bought by an LLM company.

Panther Lake's efficiency doesn't match M5, but it seems to be very good by all accounts. "Extremely disappointing" is a misrepresentation.

> there are testimonies of smart home devices like anti-theft alarms or automatic doors, that stop working whenever [...] because their backends rely on Cloudflare.

The fault here lies 100% with horribly designed IoT devices that turn into bricks when they lose internet connection.

All of them offer only proxied access to the internet. They do not expose access to any "private network".

The comment probably refers to data races over memory access, which are prevented by usage of `Send` and `Sync` traits, rather than more general race conditions.

And live bookmarks. This was the healthy way to read news from multiple sources before social media.

There is a years-old proposal for deeply-comparable types: https://github.com/tc39/proposal-record-tuple

Maybe we'll see it one day.

Or you can adblock and donate on Patreon etc. to your favourite channels. Not every channel you watch will benefit, but a much higher percentage of your money goes to creators, who generally get a less than fair deal from platform holders. Same goes for buying music on Bandcamp + pirating, versus a music streaming subscription.

Measuring GDP adjusted by purchasing power parity, but not per capita, seems like an odd metric.

PPP-adjusted GDP per-capita gives an indication of the level of goods/services affordable by an individual citizen. Total GDP, unadjusted, is an indicator of a country's economic power. What does PPP-adjusted total GDP indicate?

As always, remember to consider humidity when compararing locations - it can make both cold and hot weather feel much harsher. I'm more comfortable in 40c at low humidity than 25c at 90%. The UK experiences much more of the latter.

I pay for ProtonMail but understand that most wouldn't. AFAIK they still offer a decent free tier, which I'm happy to help support.

It seems equivalent to desktop for me.

Add-ons -> [add-on-name]: opens the modal content for an addon

Add-ons -> Add-ons manager -> [add-on name] -> Settings: opens the settings page for an addon in a new tab.

Pocket Casts has been reliable for me for a few years.

Could "energy density" not refer to energy-per-volume rather than mass? Then that headline might make sense per this quote from someone at Honda: "Simply, the energy density would be doubled. So same energy, same volume base, kind of half [the weight]"

Although the author himself confuses the matter, suggesting volume is also reduced: "If Honda's solid-state batteries truly do cut weight and size in half without reducing performance, there could be quite a bit more space in the floor of future Honda vehicles."

It sounds more like the I/O firmware was running on dedicated PS1 hardware:

https://www.theguardian.com/technology/2013/dec/12/ps4-and-x...

> The PlayStation 2, meanwhile, had the original PlayStation chipset built in, so it ran pretty much any PSone title – and when that chip wasn't being used for backwards compatibility it doubled as an input/output processor, which was pretty canny.

A small but passionate minority - given framework's modularity, it's not inconceivable that someone else will manufacture and sell a small batch of compatible keyboards and touchpads with buttons.

vscode is the best-case scenario for Electron in my experience; this suggests that you need good diligence to ensure reasonable performance with the framework. Even then, performance is only acceptable, not exceptional.

Sublime Text is a great example of what performance can be like with a different toolkit. Compare it to vscode - even on a fast machine - and you'll start to notice all the little lags that can creep in.

I'd love to see this design. There's something similar on the HP Omen 16: https://i.imgur.com/R4O5zzU.png

Not sure why 99% of laptops see a numpad as a higher priority than matching a desktop keyboard layout.

My guess is a dropdown selection box.

1. Efficiency, and 2. Integrated graphics power.

Conversely, what is the advantage of Intel, other than peak boost performance (at vastly higher wattage)?

Most comments are in favour of the former, but we've been trained by every media player UI to understand that a button with a pause symbol means that the media is currently playing.

If you listen to music all day, saving phone battery life is a pretty good reason. Plus a non-Android MP3 player can get 40-100 hours on a charge.

> all the mp3 players I've seen are made to be as cheap as possible.

There are plenty of high-end players which prioritise sound quality and provide a better output than phones. The NW-ZX700 in the featured article looks to be one of these. FiiO is another well-known higher-end brand: https://www.fiio.com/m17

Compilation can be very intensive, and it's detrimental to a developer's workflow if they must wait for long recompiles.

Rust was originally written in OCaml before being self-hosted, and it wouldn't be as fast (or would be even slower ;) ) today if it was still OCaml.

And remember, low-level =/= poor abstractions. I think there are several novel abstractions available in Zig which the compiler devs probably want to make use of themselves.

These changes would prompt some additional remarks about the Rust implementation: most optimisations make code more verbose and less idiomatic, but in Rust it can sometimes be the opposite.

This is so close to my idea for the ideal note-taking app (that I never tried to make). I discovered it a couple of months ago and used it to plan a trip around Europe: research and write up on desktop, refer and make quick changes on phone.

The monetisation options are incredibly user-respecting too. Although I don't need the Pro features, I'm on the monthly subscription just to support the project.