If I got a Copilot license, I’d definitely make sure to expend my quota every single day and use it as much as possible. Especially if I was “highly encouraged” to use it.
Just run a markov chain and let it talk to the thing. It’s expensive to make the queries, for MS.
How does IronFox compare to LibreWolf?
Am dumb, missed the “for android” part.
My absolutely favorite take about art is the one from the edge of the 19->20th century, where they got obsessed about art having to be absolutely separated from reality, to be even worth considering, since that would only taint it, and just be perfect.
So in that case, I have no issues with separating the art from the artist. Or, since they also tried to make art out of their lives (the whole dandy thing), which made basically professional posers, I also don’t mind separating morality/reality from the artists and viewing their life as art. For example, Motley Crue were extremely bad people to be around, but their lifestyle was portrayed well enough that it does sound kinda fun (as long as you don’t actually live like that in reality), so I don’t judge and kind of appreciate them trying.
On the other hand, if someone is a dick as an artist without their behavior being refined enough to pass as an art/pose/dandyism, I make sure to not give them any money whatsoever, or promote their products, and just shittalk and laugh at them. Even if their actuall art is good, which I will probably enjoy, but will definitely not pay for.
Is it a good take on the question that makes sense? Probably not, but it does work for me.
Is it a problem anymore with proton?
Or rather – is testing the game on Linux via proton sufficient, or do you actually look for native Linux builds?
I’m honestly interested as a dev who recently released my game I worked on free time, and I decide to go the route of single Windows build + proton, since it makes the build and release process a little bit easier, since I have a custom CI/CD pipeline and adding a Linux support into it would take some time.
And as someone who has a Linux as a daily driver and game only on Linux, having the game run on it was important to me, but I honestly didn’t see a reason why go with a native build and the additional trouble it would cause with testing - because now I can just test one windows build on my Linux desktop through proton, and be fairly sure that it runs OK on both.
Thank you, that makes perfect sense. It’s easy to fall from the outside into the trap of judging it by the “smarter than you club” label, and forgetting that probably isn’t the point for most members, and the club part is the important one.
I don’t get why something like Mesa even exists. Like, what even is the moment where pulling out your Mensa card is a good idea?
Assuming you are inteligent, you should know that flashing a card from a gatekept “clever people” club will probably not impress many people, just like you should recognize that the test you did doesn’t mean shit and IQ is not a good way how to measure people.
Shadowrun kind of does the same. It’s not really super-advanced, since it’s cyberpunk, but it’s cyberpunk with magic. And it’s my favorite setting, it’s such a cool idea.
Isn’t this actually illeagal in the EU?
Please, whatever you eventually choose to do, make sure to continually reference this amazing website whenever you are implementing any interactable part.
https://cheatsheetseries.owasp.org/
It has cheat sheets for securely implementing everything from login forms, preventing common vulnerabilities (at least look at sheets for Top 10), forgoten password flows, storing passwprds and more.
From the top of my head, If you are building it from a scratch without a framework, you will definitely want to at least look into cheat sheets about input validation, injection prevention, password storage, session management, file upload and authorization with authentication.
They are not that long, and should prevent the most critical and common vulnerabilities you will probably have, where the prevention isn’t too difficult, once you know about it.
The issue isn’t whether you can get a good results or not. The issue is the skills you are outsourcing to a proprietary tool, skills that you will never learn or forget. Getting information out of documentation, designing an architecture, understanding and replicating an algorithm, etc.
You will eventually start struggling with critical thinking, there are already studies about that.
Of course, if you use it in moderation and don’t rely on LLMs too much, you should be ok.
But how did that work for everyone with short-form content and social networks in the last ten years? How is your attention span doing? Surely we all have managed to take short-form content in moderation, since we knew the risks to our attention span, right?
“Advertising is the practice and techniques employed to bring attention to a product or service”
Dotnet Foundation is independent non-profit organization, it should not advertise random bullshit products that are not related to the foundation - which Copilot is not, because it’s Microsoft - or at least include options. If you want to include AI usage into your docs, why isn’t JetBrains IDE and their AI mentioned?
I’d say a much better point is raised by this comment.
Dotnet Foundation’s whole point is to be independent from Microsoft. Why is it then pushing it’s AI slop? Even if we take the point of “there are people using it”, then why doesn’t it talk about JetBrains and their AI, or Claude?
I don’t think you need any active sabotaging in this regard. I’m not really worried about the future of LLMs, because we are already at a point of feedback cascade where thanks to LLMs, more and more of content they steal from the internet has been AI generated by them anyway, which will eventually cause the models to collapse or stagnate. And besides, you wouldn’t be able to sabotage at a scale required for this. Thankfully, the spread of fake AI generated websites and content it has enabled is so massive, that it works as well.
I’m looking forward to that.
He’s 18, contributed to the Switch emulator Ryjunix, alongside some other projects while also doing school. His reasoning is that he along with Whisky doesn’t have the capabilities, manpower and skill to properly contribute to the Wine on MacOS, just like Proton is doing for Linux, and that he’s worried that if Whiskey would make CrossOver unsustainable (who do have the resources to do it better), that it could kill Wine on MacOS.
I’d say that’s fair, and anyone allegeding blackmail or buying off is insulting.
This… Is actually unironically the best argument I’ve heard in favor of AIs so far, that I haven’t thought about.
Still - the thing you’d be doing instead is feeding money and attentention to AI bros, and that’s probably even worse than any job you could be micro sabotaging.
I did Software Engineering Bachelors and then gamedev masters, and while I didn’t really appreciate it at the start, since it felt like I’m learning a lot of stuff I’d never need, I’ve eventually come to be really glad that I did it.
Throughout the classes it felt pretty meh, I didn’t understand why I have to do so much stuff that I’ll never really use, and always felt like I’m just forgetting 90% of what I was taught the moment I was done with finals for that class. Why do I need to learn Smalltalk? Why Lisp? What even is Prolog? Does anyone even do UML anymore? I want to be a C# programmer, I don’t need this.
And it was true. From most of the languages I’ve had to go through, I don’t remember almost anything. But that’s not what it was about, and that’s something I only came to appreciate with time - it was not about learning Pharo or Prolog, it was about overcoming the initial learning curve and getting somewhat familiar with OOP or formal-logic style of languages. And while you forget the details, the familiarity will stay with you. The goal is not to make you a Prolog programmer, but to make you a programmer.
I’ve eventually realized that I can pick up any language pretty quickly, no matter what it is - because I’ve already seen and learned all of the different styles or types of languages there are, and no matter what it is, it’s similar to something I vaguely remember seeing somewhere. And that’s an immense help. I picked that up naturally, I’ve kept hearing the question “what programmer are you? What language you can program in?”, and it felt weird - sure, I do know the most about C#, but I never had issues with picking up whatever was close at hand or needed, and writing anything I needed with a little bit of documentation and googling. And it was thanks to what I learned in school.
And the same applies to the math and data structures that they hammer into you. Do I remember the difference between red and black tree, or a min-heap, and can I prove it? Not really, but I know they exist, and when I see a problem that sounds like it could use some obscure data-structure, it comes to my mind and I know what keywords to look up. And that’s a skill that I’ve notice is missing from most of the people who didn’t have formal CS background. Same goes for algorithms like FFT - you know it exists and what it’s used for, and seeing a problem that could use it will trigger your PTSD.
So, I highly recommend giving college a try. You will learn a lot of cool algorithm, and some of the classes were fascinating, and it will give you a vague overview that will stay with you throughout your carreer, feeding you with keywords about stuff that might be usefull for the problem at hand. It’s the best thing I’ve done in regards to programming.
Is this reply AI generated?
What would be ELI5 use case of this? It has been almost a decade since I did anything math-formal in college, and I wonder what would be some practical uses or situations is SW dev where you should turn to this language.
EDIT: I skimmed the intro to Verifiable C, and I think I vaguely understand the idea - do I get it right, that the point is to basically create a formal definition of the function you are writing, i.e if you have a function that takes an array and sorts it, you’d have something like
For every sequence a and every i, 0 <= i < len(F(a)) -> F(a)i < F(a)i+1
(Or whatever would the correct formal definition be, I don’t really remember the details, I know I missed some stuff about properly defining the variables, but the idea of the definition should be kind of correct)
And then you define this formal definiton in CoQ, then somehow convert your code into CoQ code it can accept it as F(a), and CoQ will try to proove formally that the function behavior is correct?
So, it’s basically more robust Unit Testing that’s backed by formal math proofs?
I think I know who killed him.
By 11, he was programming on his own—a skill he used to playfully torment his friends. One remembers Balaji’s idea of a middle-school prank: writing code that deleted a friend’s Skyrim save file.
I’ve been having issues with Battle.net, or rather - WoW getting stuck at endless black screen, in a window that’s minimizing and maximizing it.
Just doing a Bazzite rollback fixed it, but I also tried a lot of different runners to no success, so it might not be it. I was also able to launch the game in dx11, but it did not recognize my NVIDIA card, and only ran on the CPU emulation at like 1 FPS, so it sounds like a deeper driver issue. Other games worked fine, though.
Hopefully this will fix it, having to rollback all the time, since I CBA to figure out how to rollback permanently isn’t fun.