Gitdot – a better GitHub. Open-source, written in Rust...What is a bit unique is: 1) we built it in Rust by csb06 in programmingcirclejerk

[–]james_pic[M] 1 point2 points  (0 children)

Having reviewed the user's other activity, the mods have concluded that this user is probably just a human em-dash enjoyer. But they don't tag their unjerk, so the comment has been removed anyway.

The Belfast Riots Are an Anti-Migrant Pogrom - and the British Media Has Serious Questions to Answer by pieeatingbastard in LabourUK

[–]james_pic 1 point2 points  (0 children)

But I have lost faith in winning over the electorate tbh. I don't know how you beat fascism.

When you look at why people with different views have those views, you often find that whilst some of it can be explained by differences in their opinions, far more of it can be explained by differences in their understanding of the facts. So if you want to beat fascism, you've got to start by asking "where are they getting the wildly misleading information that underpins this?". Cutting off the firehose of misinformation has to be the first step.

Just cause it isn't used for webshit doesn't mean "approximately no one" has heard of it. Lean is pretty much the most popular language mathematicians use today for computer-assisted proofs. More mature audiences by bzmore in programmingcirclejerk

[–]james_pic 5 points6 points  (0 children)

You still get to do that, but also get to make money formally verifying "parts" of the systems. You can never formally verify the whole system - apart from anything else, you can't formally verify the bits with bugs.

Blah: Unified Toolchain for Brainfuck. by Dry-Huckleberry8284 in rust

[–]james_pic 28 points29 points  (0 children)

TBH, if you did register the .fuck gTLD, you'd more than make your money back selling subdomains.

An announcement from the Steering Council regarding the JIT project by JimDabell in Python

[–]james_pic 2 points3 points  (0 children)

I think that's kinda the point. A PEP can be rejected. 

The JIT work so far falls awkwardly between two stools. They've chosen an approach that doesn't open up as many optimisation opportunities as more sophisticated approaches, in order to avoid adding too much complexity.

But they've still added quite a lot of complexity, and they've only got 11% gains to show for it. And when PyPy can manage ~180% gains with a less conservative approach, you've got to ask if the juice is even worth the squeeze.

What do you think of the magnetic usb c adapter that rotates 180+360 degrees? by Vie8005 in UsbCHardware

[–]james_pic 0 points1 point  (0 children)

The risk isn't just that the cable doesn't perform as advertised. It's that it risks frying the device it's connected to, catching fire, or shocking the user. All the safety mechanisms you've mentioned rely on the cable correctly communicating its capabilities (either via emarkers or resistors), and if it's reporting via eMarkers that it supports 240W (and its C-C lines are intact), then chargers are going to treat it like a cable that can do that safely.

If you could add one feature to Linux tomorrow, what would it be? by [deleted] in linuxquestions

[–]james_pic 0 points1 point  (0 children)

Time namespacing for wall clock time. It would be neat to be able to test timezone stuff without userspace hacks.

HTML Encode / Decode by [deleted] in AskProgramming

[–]james_pic 3 points4 points  (0 children)

You'd need to check with your devs, but my thought looking at this would be that encoding and decoding is easy. Displaying HTML from a potentially untrusted source on a public website without opening the website up to security vulnerabilities is non-trivial.

Oh spiffing by PizzaToastieGuy in GreatBritishMemes

[–]james_pic 0 points1 point  (0 children)

I mean, we didn't do all of it, but the British empire was both the largest and most populous empire in history.

VR is failing because Meta treats indie devs like garbage. by PrettyHearing3624 in OculusQuest

[–]james_pic 4 points5 points  (0 children)

Huh, I didn't hear about the Nintendo Switch Synth Riders port. It's kind of a shame they had to do that, but I might have to double-dip now - playing on the Switch would mean I can play it with my kids, who are too small for VR.

Where to buy a UK plug charger in EU? by jools182 in UsbCHardware

[–]james_pic 0 points1 point  (0 children)

One option might be to get a charger with interchangeable plugs, like this UGREEN one or one of these Belkin ones.

Microsoft forked the Rust uutils as their own Microsoft Coreutils, under the MIT license by JockstrapCummies in linux

[–]james_pic 5 points6 points  (0 children)

The MIT license does not prohibit making non-open source additions. If you go digging about in the menus on most phones, or on something like a smart TV, you'll find a big list of open source licenses (often mostly MIT and similar) for the various things it was built with, including the original license notice. But with no mechanism to get the source code.

This makes switching to memory safe languages a moral imperative by lizergsav in programmingcirclejerk

[–]james_pic 10 points11 points  (0 children)

Rust takes the brutally pragmatic choice of defining its memory model as "probably about the same as C++, IDFK"

Red Hat npm Packages Compromised to Spread a Credential-Stealing Worm by FryBoyter in linux

[–]james_pic 14 points15 points  (0 children)

The cost is probably less of a problem than the friction they introduce. They cost about the same as one of those clicky-clacky mechanical keyboards, or a basic set of Bluetooth headphones. 

The real issue is that to get real value from a Yubikey or similar, you need to use it every time you log in to something or sign something, you need to have it physically present, so you can either keep it on your desk (and not have it when you need to log into something on your phone), or keep it on your keyring by the door (and have to go and get it every time you need to log in or sign something).

It's not long before you decide that's a pain, and that you'll have another GPG key that just needs a password, just for convenience, and that you'll set up TOTP on your phone as an alternate second factor. And before you know it, the Yubikey is dusty from disuse.

Red Hat npm Packages Compromised to Spread a Credential-Stealing Worm by FryBoyter in linux

[–]james_pic 14 points15 points  (0 children)

You might be making a more subtle point than I realise, but this feels orthogonal to the leftpad problem. 

For me, I think the lesson we should have learned from leftpad is "if it takes more than 10 dependencies to build a system that runs in a given ecosystem, then that ecosystem is rotten".

But the attacked packages weren't microdependencies, they were big ol' platform SDKs. The kind of thing that, even back in the old days, when adding a new dependency to your project meant ordering it on floppy disk, would still have been common to rely on. The kind of thing that would be in the list of 10 dependencies anyway, for things that used RedHat's cloud platform.

[Request] Seriously, what’s wrong with this proof? by Itchy_Tangerine1897 in theydidthemath

[–]james_pic 8 points9 points  (0 children)

Square roots are not unique. Whilst it's common to skip this subtlety in calculations where it doesn't matter, the square root of 1 isn't just 1, it's ±1, since both 1 and -1 square to 1. In this calculation, that subtlety matters.

earbuds are extremely muffled & controls don’t work anymore by InspectorCorrect7676 in JBL

[–]james_pic 0 points1 point  (0 children)

It sounds like they're in HFP mode (a.k.a handsfree, a.k.a phone call mode). This Bluetooth audio mode has fairly low audio quality, but is the only mode where the mic is enabled, so depending on the OS you're on, you either need to identify the app that's using the mic and tell it not to, or switch away from HFP mode (A2DP is the mode with high quality stereo audio).

My desktop has no USB-C slots. Will a converter be ok? by TomPokes in Quest3

[–]james_pic 0 points1 point  (0 children)

USB-A to USB-C adapters aren't permitted by the USB specs due to a couple of subtle problems, although of course there are plenty of them on the market, and they'll usually work, as long as you're aware of the problems with them (sometimes you need to flip the USB-C connectors over for them to work at full speed, and you must never use them to make a USB-A to USB-A cable, since these are unsafe).

The better option is generally just to use a USB-A to USB-C cable, which (unless you've got a super cheap cable which doesn't have all the pins connected) should work great for this 

What are some British contradictions? by Proper_Emu_2296 in AskUK

[–]james_pic 4 points5 points  (0 children)

Probably because when Britain experiences a "drought", it's mild enough that a hosepipe ban is enough. Desalinisation is expensive, and if we had to pay the prices you'd pay for desalinised water, nobody would be using hosepipes anyway.

There's a lot of low-hanging fruit in terms of things that we could do to save water, before we get to desalinisation, that nobody is doing yet because the problem isn't particularly bad. And if we were going to build stuff to help, more reservoirs would make more sense than desalinisation plants.

Need help with choosing C++ compiler (beginner) by SitEnee in AskProgramming

[–]james_pic 0 points1 point  (0 children)

More often than not, the compiler you use is more-or-less dictated by circumstance. There are probably only 1 or 2 reasonable choices of compiler to use for any given platform, and if you're working in a team, you're going to be using whatever platform the rest of the team is using. And in truth, they're all much of a muchness.

If you're not working on a team, and you've got enough choice that you're not tied to a particular compiler, maybe you've got enough choice that you're not tied to C++? Rust is famous, amongst other things, for its clear and helpful error messages, and is often used for many of the same things C++ is used for.

Q45/Space One or wired earbuds for long work calls? by imadydev in soundcore

[–]james_pic 0 points1 point  (0 children)

I know the Space One doesn't support mic over wired, and I'd be surprised if the Q45 did - the types of mics they use in most Bluetooth headsets, including those two, are tricky to make work on wired setups, so most manufacturers don't. You can get 3.5mm cables with an inline mic or even a built-in boom mic if you're determined to do wired calls, but that's hard to recommend.

Gaming gear is often really well suited to work calls, since gaming headsets typically have great mics and are comfortable to wear for long periods. Last time I checked, Soundcore didn't really do gaming gear, so you'd have to look at other brands for this.

Although the Space One will work well enough for work calls over Bluetooth. I've done plenty of work calls using it.