I don't understand. What does this mean?
The following are equivalent:
Readit Newssilasdavis commented on Some Junk Theorems in Lean github.com/James-Hanson/j... · Posted by u/saithound
silasdavis commented on CapROS: Capability-Based Reliable Operating System capros.org/... · Posted by u/gjvc
Most of the links seem to be broken on https://www.capros.org/overview.html
They tried to realign package management with web standards and tools that browsers can share (URLs and importmaps and "cache, don't install"). They didn't offer compatibility with existing package managers (notably and notoriously npm) until late in that game and took multiple swings at URL-based package repositories (deno.land/x/ and JSR), with JSR eventually realizing it needed stronger npm compatibility.
Bun did prioritize npm compatibility earlier.
Today though there seems to be a lot of parity, and I think things like JSR and strong importmaps support start to weigh in Deno's favor.
Yeah it does look like things have moved on, but there were echoes from previous Go conversations around the idea of a standardised package and the attendant years of hurt that it turned me off a little while ago. I did try: https://github.com/denoland/deno/issues/4574#issuecomment-62...
As someone who have been using Deno for the last few years, is there anything that Bun does better? Bun seems to use a different runtime (JSC) which is less tested than V8, which makes me assume it might perform worse in real-world tasks (maybe not anymore?). The last time I checked Bun's source code, it was... quite messy and spaghetti-like, plus Zig doesn't really offer many safety features, so it's not that hard to write incorrect code. Zig does force some safety with ReleaseSafe IIRC, but it's still not the same as even modern C++, let alone Rust.
I'll admit I'm somewhat biased against Bun, but I'm honestly interested in knowing why people prefer Bun over Deno.
Stopped following Deno while they were rejecting the need for a package management solution. Used Bun instead.
silasdavis commented on Germany: States Pass Porn Filters for Operating Systems heise.de/en/news/Youth-Pr... · Posted by u/trallnag
Yes. This is a bad law, but somehow still a better one than the UK got...
how did we get here?
I've often wondered about this. Does the chemistry imply the energetics of this would be less favourable than other organic decomposition?
This could be bad too I suppose? Pipes and other chemical containment vessels might come under attack.
I love the idea of it shifting from one non-descript design system to another on every other page change. How disorientating. Weird and boring at the same time.
silasdavis commented on Imgur pulls out of UK as data watchdog threatens fine express.co.uk/news/uk/211... · Posted by u/ANewbury
I genuinely think your example is bad and the legal reasoning is bad. A better comparison would be AM Radio broadcasting something obscene into the UK from let's say belgium.
Doing that from Belgium would indeed be beyond the pale
silasdavis commented on Wikipedia loses challenge against Online Safety Act bbc.com/news/articles/cjr... · Posted by u/phlummox
Coming back to London for a spell having lived abroad, I see speech supporting a non violent protest group banned, and find my myself firing up a VPN to avoid dragnet data collection.
Terrorism Act 2000 and 2006 Racial and Religious Hatred Act 2006 Investigator Powers Act 2016 Online Safety Act 2023
There has been a raft of legislation both permitting and mandating digital monitoring while increasingly prohibiting types of speech. Many of these laws with overly broad definitions and large amounts of discretion.
There seems to be some crossover between the software and flying 'communities'. Perhaps this is rather unsurprising given some of the shared prerequisite skills? Is it your experience there are many commercial pilots who code?
Do you expect to get 100% of the way to the sun over your career?