Skip Navigation

Posts
73
Comments
914
Joined
3 yr. ago

  • So you're using [] as an alternative function call syntax to (), usable with nullable parameters?

    What's the alternative? let x = n is null ? null : math.sqrt(n);?

    In principle, I like the idea. I wonder whether something with a question mark would make more sense, because I'm used to alternative null handling with question marks (C#, ??, ?.ToString(), etc). And I would want to see it in practice before coming to an early conclusion on whether to establish as a project principle or not.

    math.sqrt?() may imply the function itself may be null. (? ) for math.sqrt(?n)? 🤔

    I find [] problematic because it's an index accessor. So it may be ambiguous between prop or field indexed access and method optional param calls. Dunno how that is in Dart specifically.

  • The issue, presumably the PR (linked at the top of the issue because of reference).

    Look at the code change. It gets inputs and loops over them and seems to do an in-place fixup. But the code indent is wrong, and it even changed the function definition of the unrelated next function. In Python, the indent-logic-significance language.

    I assume they briefly showed the code on stage. Even then it should have been obvious to any developer. py file, messy indent, changes unrelated function.

    Please correct me if this is the wrong PR.

  • I would make Thursday AI day and do everything with AI. And Friday is recovery day, where I discard everything that didn't work, and do what I want, to recover motivation for long-term sustainability.

    I wonder if and when they would notice a productivity difference. I certainly couldn't and wouldn't be able to do that indefinitely.

  • Makes me think used tokens, which is very easy to fake.

    If I were in a malicious environment, I'd be interested in gaming the system, excessively producing AI code even if I never use it.

  • I understand the need for full detailed reasoning, but that legalese document is not approachable or accessible.

    I wish they had at least given a plain language summary of the changes they intend to make. For full reasoning you could still refer to the whole document.

    I guess I'll trust the EFF in their interpretation.


    Numerous invalid patents have been granted in the past, and had to be challenged to be corrected.These suggested changes are horrendous for a just or sustainable patent system.There may be opportunities for change or efficiency gains, but blocking and evading challenges in various ways is not a good approach. It excessively favors patent trolls which act maliciously and damaging to other companies, the economy and society at large.

  • Great writeup, good argumentation, and excellent sourcing, linking to external resources

  • Typo on “Free, Open Source Software does not a social movement make.” Presumably “does not make a”?

  • uuh, I see Zed's been available for Windows for a month now. That has always been a blocker for me. I'll definitely try it out.

  • Yes, forks remain as they are. Yes, the fork network has a shared data repository on GitHub.

    Consequently, rewritten history will break history compatibility, possibly requiring manual fixups on forks or work based on it.

  • I can't currently use VS Code with extensions to check, but you should be able to uninstall or disable Copilot and MCP. When I search for MCP in the settings, I see several settings, some of which can restrict MCP use/start.

    Alternatively, maybe you want to try a VSCode fork, like Codium (dunno if they only drop telemetry or some of the Copilot stuff as well now), or an alternative similar IDE, like Geany.

  • Looks like it's just random commenters taking random guesses because those have happened before.

    What is a “repository reset”? One commenter writes:

    There was a temporary similar “outage” back in July with rewritten history, apparently something inappropriate was recorded in the repo history they wanted cleaned out. The repo came back after that. I have no idea if this is the same thing, or if they just got tired of maintaining it.

    Seems strange to me. You can prep locally and then force-push. I don't see why rewriting history would require taking the repository down.

  • "Vibe" coders produce code though, right? This is about analysis and issue reports. They didn't produce code.

  • In what way did they “gamify” their unit tests? You mean through presentation of test state/successes?

  • On AniDB I can enter dd.MM.yyyy or yyyy-MM-dd (text input), which I like a lot. I often prefer reading and writing yyyy-MM-dd.

    Some time ago I changed my Windows number format settings to show me yyyy-MM-dd formats. Unfortunately, that broke my webbrowsers date input / datepicker. :( So I had to go back to the standard culture format (de in my case).

    The worst is when you work with dates and don't know what is what, or when the behavior is unexpected.

    Probably everyone knows about the Excel shitshow of implicitly converted values.

    In SQL Server, what do you think 0000-00-00 is when converted to a date, explicitly or implicitly? Well, unfortunately, yyyyMMdd is a safer format than yyyy-MM-dd.

     sql
        
    SET LANGUAGE 'us_english'
    SELECT CONVERT(date, '2025-12-13')
    --SELECT CONVERT(date, '2025-13-12') -- err
    SELECT CONVERT(datetime, '2025-12-13 07:00:00')
    --SELECT CONVERT(datetime, '2025-13-12 07:00:00') -- err
    
    SET LANGUAGE 'Deutsch'
    SELECT CONVERT(date, '2025-12-13')
    --SELECT CONVERT(date, '2025-13-12') --err
    --SELECT CONVERT(datetime, '2025-12-13 07:00:00') --err !!
    SELECT CONVERT(datetime, '2025-13-12 07:00:00')
    
      

    No, yyyy-dd-MM is not a common or valid German date format. That's usually dd.MM.yyyy.

    But worst of all, it changes behavior of the date parsing between date only and date + time types.

  • Your question was very unspecific and broad, and despite that, now it goes into a direction I have not foreseen. Your question would have been much more useful and you would have received a lot better answers if you had provided some context, established a premise, been more specific about what you're asking.

    You asked about PC. Given that Windows is the prevalent PC operating system, I'll answer for that.

    While Windows has a Microsoft Store app store now, traditionally and still prevalent, most software and applications is installed and managed not through this "app store", but manually or with other non-OS-integrated software.

    I feel like the premise of the question is from a very different understanding of how things work or are.

  • I regularly write code.

    My customer gave the go-ahead to use LLM in our project very recently. We'll be trying it out. I'm interested to scope out its use and limitations especially. I'm skeptical it will increase efficiency for me overall. The project is too complex, my/our requirement on quality too high, and I'm thorough to the last var name and code formatting for readability and obviousness. I'm not sure whether I could find it acceptable to compromise on those.

    Between customer communication, planning, review-prep, guiding and helping my team members, and doing reviews, and other tasks within the company, time for my own work can be reduced by a lot. Still, I have tasks I work on, and that includes coding.

  • Microsoft pushes cloud and AI with increasingly negative side-effects. Eventually, EU regulation steps in to require offline-capable OS with fair and obvious choice. Microsoft tries to argue security, but ultimately fails.

    Microsoft continues to push and connect their services as one, with synergy effects. Eventually EU regulation and prosecution steps in, requiring a neutral OS that must not pre-install software or point to other products in OS settings and apps, etc. Integrations must be openly standardized first, before implementing their own.

    Despite all this, and despite a move from EU and EU-national institutions to sovereignty through shared open source solutions, Microsoft retains their strong/prevalent market position because the market as a whole is not as strategic and concerned, and Microsoft products like office, onedrive, Teams, and their other business software and services remain a predominant and grab-first choice, and the security promise of big enterprise software, battle-tested, with strong established auth etc remains a big selling point for them.