lorentz said I'm heading out right now among other winter cycling gear to buy a backup light,now the only risk is that I can't resist using my backup light to pretend that I'm a car,@retoor in the center. everywhere else there's light enough to tell where the road is supposed to be, but not to assert that it's actually a road and not a canal full of gravel with yellow-striped asphalt slabs resting on top,it'll be a hemisphere shaped hole by the time I realize,@retoor cross head refers to both Philips and Pozidriv in English and Hungarian,I manage my music with NewPipe and VLC. It's not flawless but I think it's a good failover if you're on Android.,@retoor nope, none of that, in fact I'm not even sure it has autoplay, just a queue where you can add songs from the "recommended" lists under existing songs. I don't mind that though, the YouTube algorithm has drains, bands and songs it keeps returning to within a given subgenre regardless of where you started, and I can only listen to so much Siames or Pomplamoose before I get tired.,correction, it does have autoplay, I just disabled it at some point,@retoor Well, they really don't have to do what they promise because they're Google. But I agree, their front-ends really are amazing for what they do (remove control from the user and then make acceptable choices so people don't miss that control),2fa should never allow access to anything in itself, only supplement other safe credentials.,@jestdotty TOTP doesn't expose any extra information to the service provider, is easier to implement, and harder to hack. Providers that only support SMS despite all these arguments are definitely fishing for phone numbers.,And then there's Microsoft Fucking Authenticator, which modifies _security policies_ on the phone where it's installed, but because it can't be used to contact me employers feel comfortable asking me to install it on my personal phone.,Every once in a while I spend 14 hours focused on a task and then realize at 10pm that I don't have anything to wear the next day. 4am sounds extreme though,@retoor Wow, I know some pretty extreme orthodox jews but none of them take issue with *others* working on Saturday, in fact they're very thankful if others take over any duties they may have. Sounds like a weird thing to ask of other people.,I guess this is what state-sanctioned religions are all about though, adding the given scriptures to the social contract.,I mean, libc is kind of a mediator between libraries and the OS,@Liebranca It would be nice if the C ABI was defined unambiguously for the major platforms.,god, how often I have to be that bitch,@retoor my give/recv ratio is atrocious though, I never remember to upvote even if I find a post interesting and spend tens of minutes talking under it.,@retoor I guess that's the benefit of the bigass like button Facebook pins to the top bar while scrolling comments.,what a daft argument, and how incredibly overused in spite of that!
You can make memory safe programs in Assembly too. You can make class hierarchies and interfaces in Assembly too. Why bother using another language?
Because the point of languages is what you CAN'T do, or more precisely, what has to be clearly marked. Memory safety doesn't mean "your programs can be memory safe". If it meant that, the entire infinite set of Turing-complete languages would be memory safe. Memory safety means that there CAN'T be a memory bug outside an unsafe block. ...,... It means that when your code gets reviewed by the 512'th time because someone somewhere in the ecosystem invited the NSA, Mossad and FSB into every Linux server in existence, the reviewers will not have to read all 100k lines of garbage business logic written by undergrads with zero job experience because they basically need half a career in their portfolio to even be considered for an unpaid internship, just those 30 lines of unsafe code where you implement a specific optimization you needed.,The point of Rust is that you don't have to be highly trained or vigilant, you can just write code. I agree that it's missing a ton of features and it's not really mature yet, even though "mature" is such a fuzzy term that there will be at least two decades between when I consider it mature and when C developers finally have to admit that it's as mature as any other lang, but the single benefit that I don't have to think about safety is important enough that it overrules any difficulty arising from the language's lack of maturity.,Ideally, the goal of C++ within the next 5 years should be to get to a point where an external safety investigator will be able to similarly skip over 99.9% of a C++ codebase which exclusively uses bounds checked access, ranges and smart pointers and simple cases of references and is therefore automatically verifiably lifetime safe, and manually prove the remaining 0.1%. They are making good progress by the way, I'm rooting for them, because the C++ type system is fantastic and I would really like to use it.,@Demolishun I think Herb Sutter charted a 10 year plan in 2019. I would never accuse Herb of having realistic ambitions, but I think that his grandiose plans can get people on board so I adopted that rhetoric. Also most of the external pressure for safety is coming from political entities which pretty much only communicate in the form of very optimistic plans. The NIST won't take "It'll be done when it'll be done" even though on some level they probably know that's the only real schedule.,@12bitfloat I don't think this is even close to Rust's final form. There are at least 4 major pending type system features that are waiting for the new trait solver which is slated to become generally available next year. Const is still kind of a pariah. FromResidual is technically viable now but we just can't agree on its semantics. That will affect almost every function in crates that takes a callback.,@12bitfloat But I guess you can chalk up all of that as library dev concerns. It's true that application development has been pretty much unchanged for a while.,@retoor The problem is manual lifetime management, the source of the majority of recorded critical security bugs. That's what smart pointers were built to replace, and that's why new is only marginally better than malloc.,@Demolishun Of course, you just gotta not make mistakes and then things won't go wrong! Why has no one ever thought of that?,in truth, to correctly model a time travel encounter you'd have to search the behaviour tree of the future persona for a sequence of actions that leads to itself, which is pretty much a whole state space search, so you'd need an ASI with exponentially more neurons than a human.,oh, I almost forgot:
Rehearsing social events dozens of times with digital twins of everyone present, thus creating and destroying countless groups of self-aware creatures on a whim, to ensure a desirable response from the one group you can't destroy without consequences.
SMBC reminded me about this one.,@donkulator I think even human intelligence is too much for that.,@donkulator Given how much of our lives is about getting laid, it's possible that we are in fact a Github action that futuristic humans use to verify that their dating app remains competitive in comparison to a few older reference apps.,@donkulator actually, near-future ML models should be more than capable of detecting bad UX by emulating the bottom 5% of user intelligence and attempting to run some tests purely from verbal description of the desired effect as part of a CI pipeline.,Pretty cool, but where does the flywheel go inside that thing? and what's its axis? Buses need kind of a lot of power and they tend to be moving very fast whenever the road is clear, the gyroscopic procession of a fully charged flywheel has got to be noticeable at least by the driver.,@Lensflare Actually, it may even be beneficial that way, it should keep the bus from falling over on very steep turns if it's ever taken off road (for not more than 10km),I can't think of a use case for a gyroscopically stabilized bus that wouldn't entirely exceed the operational range of a bus in the first place (for example, due to a lack of 3 point seatbelts), but I'm sure they exist. As for the flywheel, I'm not sure what a charger would look like but as far as physical limitations go it should be possible to charge it way faster than any battery, which is I think the limiting factor for charging battery-powered buses at stops.,@Demolishun I read about a concept for electric car infrastructure where the batteries themselves were rapidly replaceable. I sometimes wonder if a durable economic model could be designed for their distribution. Sadly batteries are expensive and degrade over time so if you want to replace one at a charging station they'd have to determine its quality before determining the differential price of the new fully charged battery.,Does the VS developer shell do something that a regular dev environment opened in a regular editor with a regular console doesn't?,@cuddlyogre Interesting, I never perceived envvars as such a complicated problem that OS config, a project-specific envfile, and build system scripting couldn't handle them completely.
I mean, there's only so many sources envvars can reasonably be associated with, mainly the code, the OS, and a finite number of modes to choose from.,If you lock the Mutex, any function that is called on the value should take a & or &mut depending on whether it itself mutates the value, and the guard should automatically decay to a reference as a result. If it doesn't, &*g or &mut*g should do the trick, as with any container that implements Deref,^ that isn't a logical law but it's ultra rare for a function definition to mention MutexGuard.,You mention the need to take an argument that may or may not be in a Mutex. Your main options here for parameter types are &T and &mut T, and when you lock the mutex the guard decays to either. If you need the function to take ownership of the value you're in a bit of trouble so consider thoroughly whether it really makes sense for that function to take ownership, and what the ownership means.
1. If you take ownership because you want to mutate the value long after even the caller returned, you should replace T with Arc<Mutex<T>>.
2. If the only reason you need to take ownership is because you're mapping over the value without copying, use a crate like replace_mut or take_mut.
3. If you take ownership because you expect the resources no longer to be available, you can use Arc::try_unwrap and Mutex::into_inner.,@jestdotty You can't dereference self? That's the first time I see that sentence, I dereference self all the time. A cursory search didn't bring up anything, and I tried to produce a few error messages too in case it's just an awkward templated message. Where did you read this?
std Mutex and async leads to unfixable deadlocks so I presume that's an async mutex from async_std or similar? Just checking.
Even still, can't you defer the actual assignment of the fields until after all the futures resolve so that you don't need to mutate the object in multiple places, especially during initialization? Having multiple unordered tasks write to the same object is exactly the kind of thing Rust discourages, and initialization is a special case where this really shouldn't be necessary because there is a return phase which is strictly ordered after all of the unordered setup tasks.,@CoreFusionX I really wonder what input redirection would look like in a structured shell. Maybe some function combinators?,@jestdotty It's late now but I'll fuck around with async tomorrow a bit because I'm beginning to suspect that your solution will actually be a
&Mutex<&mut T>
but I'm not sure how much of the usual reference stuff works in an async function and it bugs me that I don't know this. If you can't share the code, can you think of a minimal example that demonstrates the purpose and implementation of this async function?,@AdamOnAir All of those tools run just fine in the regular command line too, possibly with a $PATH extension. Why wouldn't they?,all I'm saying is, setting envvars is like the most fundamental thing you can do in a scriptable shell, more basic even than running other programs. It's not an IDE feature and tying it to one sounds backwards as hell.,@jestdotty Okay, I looked around, lifetimes work fine with async functions. The trouble is that the most obvious mechanisms of concurrency like tokio::spawn require their arguments to be 'static. There are other tools though. The type of my_mutex is Mutex<&mut Self>, and notice how the async blocks aren't move
https://gist.github.com/lbfalvy/...,If you do actually use Tokio specifically, tokio::join! does nearly the exact same thing. I picked futures because this can be implemented runtime-independently and you might be using a different runtime.,Also also, apparently futures also has an async mutex which would eliminate the async_std dependency, but I can't find one in Tokio, so I guess if you use Tokio it's better to use tokio::join and async_std's Mutex and eliminate futures? Idk, all of these crates also offer a ton of other overlapping features, pick whichever you like. Future is the glue and it''s defined in the standard library so pretty much all of these should just work together.,note: if you use the futures::future::join (or join3 etc) function instead of a macro, rust-analyzer won't be disabled inside the async blocks,@jestdotty Regarding deadlocks, are you absolutely sure that no future ever blocks the thread waiting for the result of another future, such as by receiving from a stdlib MPSC queue or locking an stdlib mutex?,The shitty thing is, thanks to global state and a very haphazard and unprincipled DI scheme, I'm not even allowed to remove all of it because who knows, maybe some other part of the application depends on an Excel spreadsheet being loaded.,@TheEnd At least removing Excel automation is a priority. Removing incidental "lucky" initialization is entirely out of budget and the odds that we would ever assign a budget for it diminishes with each month.,I think this is an artifact of ES being terrible with ref loops because you can execute code at load-time. In better languages I usually put types next to the runtime code they are associated with and just import them into all other files without care because the resulting reference loops aren't really a problem.,@retoor It's not really about summaries. Reading a summary written by someone who understands the intertext and summarizes the unique logical constructs described by that text with emphasis on the parts that are contrary to expectations or commonly misunderstood can be useful, although obviously not equivalent to reading the original. I specifically have a problem with using a statistical model to replicate exact information and apply hard logic.,A general purpose summary will typically target a specific type of reader and describe things that reader needs. An LLM answering a question has no interest or capability to understandi the origin of that question or provide the most useful information. It just has to answer a question. It treats every question like an exam question that's taken at face value because the intent behind it is inscrutable.,@Lensflare I'm beginning to doubt that it actually is that useful. Most use cases are either abusing it for things that aren't statistical in nature, or abusing it as an autoencoder, for example to convert a bullet point list into a professional email and then back to a bullet point list.,@jestdotty That's a bizarre definition, but even if it was the definition of intelligence, it still isn't what we want from ML, and certainly doesn't make a program good at teaching.,@retoor Getting isolated answers to narrow questions isn't learning, and no amount of it will get you a new skill. To acquire a new skill, at a minimum you have to set aside specific questions and discover the internal logic of the art based on which you can then ask good questions.,well I guess you can call that learning in the same sense that binging documentaries is learning natural science. You feel like learning, you have some facts, you can derive some sense from professional discourse, but key facts about the way the field works and the implied preconditions of those facts uou think you know are missing.,Don't get me wrong, this type of surface level knowledge is great! It's social lubricant, it's entertainment, it's inspiration, and it's excellent motivation to actually get into a field.
it's not however expertise. Systems have to be learned accurately. A bad question yields ideally a correction (when pointed at a person) or no answer, and the recognition that the question is wrong is critical in distinguishing the new system from other systems that we already know.,@jestdotty true, but a really space efficient compression scheme doesn't sound like a very dignified market for something that can pass the Turing test up to 5 minutes of conversation or more.,It was on my Google Play home page while I was looking for something unrelated.,It's also like they lost all meaning. Rounded corners SEPARATE. You put them on an item that is logically on top and separate from the enclosing box, which DOESN'T VISUALLY CONNECT TO GRIDLINES. Cells of a grid, full-screen and tiled windows, and especially GODDAMN MOTGERFUCKING TABS are in an intricate relationship with the surrounding and enclosing boxes. The visual representation of this relationship may use rounded corners - although I for one think they're ugly, but the way Chrome uses them on the tab bar is at least informative - but just rounding off corners for the sake of being hip is a total waste of screen space and clickable area.,God, I hate the rounded Firefox tab bar so much,Theory: Windows 11 moved the start menu to the left end of the variable length list at the bottom center of the screen from the nice and logical bottom left corner because they're planning to make the screens rounded too.,@retoor I sometimes still wonder what happened to that guy.,@12bitfloat I'm more concerned with how because the parser is supposed to skip chars until something matches, libido() enables the ygramul() command,@Strawberry1102 The error rate of LLMs dwarfs that of any real source, and the nature of the errors is very different too; errors in a source are usually common mistakes that the reader eventually learns to double check, thereby improving their own accuracy as well. "errors" in LLM output usually have no traceable logical origin because the text itself doesn't originate from the logical process it appears to describe.,I've never needed a starting point for exploration so I can't say whether LLMs are useful for that. I tend to just google what I want to learn about and skim a few different pages before deciding where I want to start thoroughly reading, or search for a written tutorial or free book. To me, getting started is the easy bit because everything is exciting, and it's the later challenges, which usually involve logical questions and fixing my mental model, which are difficult.,It's only fair that we dedicated the internet, the pinnacle of human specialization, primarily to them,I have several power banks that I can daisy chain for some 6 hours of video playback.
also I have a notebook because nothing burns time like trying to draw faces at odd angles,SVG has a lot of features graphics cards really hate, but a subset of SVG might be viable.,@Demolishun I use LibreWolf for most purposes because
- IT doesn't know about it so it's not blocked
- it doesn't follow group policy
Unfortunately, for the same reasons it can't use Windows authentication, so I still have to use Edge for authenticated company resources.
I also run Brave specifically for YouTube, which IS blocked but I have a shortcut to spawn an administrator powershell and launch it from there. Brave also allows plugins but I just vehemently hate Chrome's Ctrl+Tab logic.,@retoor I actually don't align with the librewolf idea at all, I mean I respect their zeal but I often value convenience over anonymity so the first thing I did was to loosen most of the defaults. Its main purpose to me is that it happened to be the first Firefox fork I tried that didn't read group policy.
Not even MSSQL sends telemetry by default. At least we're pretty sure. You never know with Microsoft of course.,@Lensflare Plus, again, you are by definition allowed to compile code and run it, which negates any other restriction.,@jestdotty On the contrary, I care about my work precisely because I'm forced to spend so much time on it. Some people choose to completely disconnect during working hours and become a kind of wage zombie. Nothing wrong with that, but I would definitely kill myself if after a month or so I couldn't find a way to emotionally and logically engage with whatever I'm doing most of my waking life.,@retoor Given how broad strokes the developer access level is, I suspect something like that must've happened here too. Someone did a very thorough analysis to determine the minimal necessary permissions, and forgot to take into account that development involves anything that can happen in the real system and some things that can't, so when developers flooded the support channels they just gave device admin and a handful of other arbitrary things that mentioned "admin", "owner" or "authority" , and the devs have just been making do.,@Root In theory it's very similar here except we're a Microsoft shop through and through.
Except I'm device admin so in practice I can do whatever the hell I want with the metal.
I shudder to think how we'd live if IT were actually good at access control.,The spyware and the buggy popup come standard with your corporate ITSec department I'm pretty sure. For us thhe popup is a VPN and when it shows up your connection is gone until reboot. Someone came up with a way to crash the IP stack (or whatever bit the VPN abuses in userspace) such that it can restart independently from the rest of the OS.,@retoor idk Google has been almost disabling mv2 any day now for years but most of my friends on Chrome can still block YouTube ads with uBO just fine.,@jiraTicket I work for a transnational. It's understood on both sides that I'm acting as spokesperson for the entire team here, but I'm not at all convinced that 10 people have that much more leverage than 1 over the cybersecurity strategy applied to many thousands of (white collar) employees worldwide.,white collar just means office worker, it's contrasted with blue collar which is manual labor. ChatGPT is being ridiculously elitist here by implying that blue collar work isn't knowledge based.,There are people with degrees in electric engineering on the workshop floor earning significantly more than I do with not much more experience.,@retoor yeah, but at least electricians are usually private contractors so they're priced by the market. The stigma that it's low skill labor certainly isn't great, but they cost a fortune in Hungary now because all the capable ones emigrated so evidently a sufficient supply gap can correct the prices regardless of the public image of the profession.,I'd go, probably,Rust is the absolute worst offender with names though, LINQ is pretty bad too but they at least imitated SQL. Rust borrows a ton of concepts from ML and Haskell and almost none of them by the original name, for no fucking reason. Unfortunately I also learned about these concepts with Rust so I have to constantly translate when I try to talk about the concepts on general.,And the names don't even make sense. What the fuck is a FromResidual? Option already has like 20 different meanings in Rust, Maybe has 0.,The iterator transformations are well named, but as far as I'm concerned everything about iterators is basically perfect in Rust.```
