home.social

#code — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #code, aggregated by home.social.

  1. Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
    github.com/creusot-rs/creusot/ #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated

  2. Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
    github.com/creusot-rs/creusot/ #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated

  3. Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
    github.com/creusot-rs/creusot/ #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated

  4. Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
    github.com/creusot-rs/creusot/ #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated

  5. Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
    github.com/creusot-rs/creusot/ #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated

  6. When you have the chance do you hire the #automation driven #devops engineer, or the #code (in this case #python and #golang heavy) driven devops engineer.

  7. When you have the chance do you hire the #automation driven #devops engineer, or the #code (in this case #python and #golang heavy) driven devops engineer.

  8. When you have the chance do you hire the #automation driven #devops engineer, or the #code (in this case #python and #golang heavy) driven devops engineer.

  9. When you have the chance do you hire the #automation driven #devops engineer, or the #code (in this case #python and #golang heavy) driven devops engineer.

  10. When you have the chance do you hire the #automation driven #devops engineer, or the #code (in this case #python and #golang heavy) driven devops engineer.

  11. «KI-Code führt vermehrt zu Produktionsausfällen:
    Die schnelle Einführung von KI-generiertem Code führt laut einer Umfrage vermehrt zu Produktionsausfällen.»

    Jetzt ist die rethorische Frage, ob das schreiben der Tests von Anfang an ein Teil vom Coding sein soll und weshalb KI meiner Meinung nach ihren Code nicht darauf aufbaut?

    🧑‍💻 heise.de/news/KI-Code-fuehrt-v

    #coding #kicode #test #aicoding #fehler #ausfall #programmierung #code #aislop #produktivitat

  12. «KI-Code führt vermehrt zu Produktionsausfällen:
    Die schnelle Einführung von KI-generiertem Code führt laut einer Umfrage vermehrt zu Produktionsausfällen.»

    Jetzt ist die rethorische Frage, ob das schreiben der Tests von Anfang an ein Teil vom Coding sein soll und weshalb KI meiner Meinung nach ihren Code nicht darauf aufbaut?

    🧑‍💻 heise.de/news/KI-Code-fuehrt-v

    #coding #kicode #test #aicoding #fehler #ausfall #programmierung #code #aislop #produktivitat

  13. «KI-Code führt vermehrt zu Produktionsausfällen:
    Die schnelle Einführung von KI-generiertem Code führt laut einer Umfrage vermehrt zu Produktionsausfällen.»

    Jetzt ist die rethorische Frage, ob das schreiben der Tests von Anfang an ein Teil vom Coding sein soll und weshalb KI meiner Meinung nach ihren Code nicht darauf aufbaut?

    🧑‍💻 heise.de/news/KI-Code-fuehrt-v

    #coding #kicode #test #aicoding #fehler #ausfall #programmierung #code #aislop #produktivitat

  14. «KI-Code führt vermehrt zu Produktionsausfällen:
    Die schnelle Einführung von KI-generiertem Code führt laut einer Umfrage vermehrt zu Produktionsausfällen.»

    Jetzt ist die rethorische Frage, ob das schreiben der Tests von Anfang an ein Teil vom Coding sein soll und weshalb KI meiner Meinung nach ihren Code nicht darauf aufbaut?

    🧑‍💻 heise.de/news/KI-Code-fuehrt-v

    #coding #kicode #test #aicoding #fehler #ausfall #programmierung #code #aislop #produktivitat

  15. «KI-Code führt vermehrt zu Produktionsausfällen:
    Die schnelle Einführung von KI-generiertem Code führt laut einer Umfrage vermehrt zu Produktionsausfällen.»

    Jetzt ist die rethorische Frage, ob das schreiben der Tests von Anfang an ein Teil vom Coding sein soll und weshalb KI meiner Meinung nach ihren Code nicht darauf aufbaut?

    🧑‍💻 heise.de/news/KI-Code-fuehrt-v

    #coding #kicode #test #aicoding #fehler #ausfall #programmierung #code #aislop #produktivitat

  16. Ello anyone who likes electronic music in/near Sheffield, I'm going to be playing at an Algorave tomorrow at Factory Floor, it's free if you fancy it : )

    ra.co/events/2437400

    Also the night after, on Friday, is a big EMOM event at hagglers corner where I'll be VJing for some of the artists upstairs. (Including the one I've been making the custom wheelie bin system for)

    ra.co/events/2371355

    #Sheffield #electronic #music #live #event #algorave #code #vj #visuals #audiovisual

  17. Ello anyone who likes electronic music in/near Sheffield, I'm going to be playing at an Algorave tomorrow at Factory Floor, it's free if you fancy it : )

    ra.co/events/2437400

    Also the night after, on Friday, is a big EMOM event at hagglers corner where I'll be VJing for some of the artists upstairs. (Including the one I've been making the custom wheelie bin system for)

    ra.co/events/2371355

    #Sheffield #electronic #music #live #event #algorave #code #vj #visuals #audiovisual

  18. Ello anyone who likes electronic music in/near Sheffield, I'm going to be playing at an Algorave tomorrow at Factory Floor, it's free if you fancy it : )

    ra.co/events/2437400

    Also the night after, on Friday, is a big EMOM event at hagglers corner where I'll be VJing for some of the artists upstairs. (Including the one I've been making the custom wheelie bin system for)

    ra.co/events/2371355

    #Sheffield #electronic #music #live #event #algorave #code #vj #visuals #audiovisual

  19. Ello anyone who likes electronic music in/near Sheffield, I'm going to be playing at an Algorave tomorrow at Factory Floor, it's free if you fancy it : )

    ra.co/events/2437400

    Also the night after, on Friday, is a big EMOM event at hagglers corner where I'll be VJing for some of the artists upstairs. (Including the one I've been making the custom wheelie bin system for)

    ra.co/events/2371355

    #Sheffield #electronic #music #live #event #algorave #code #vj #visuals #audiovisual

  20. Ello anyone who likes electronic music in/near Sheffield, I'm going to be playing at an Algorave tomorrow at Factory Floor, it's free if you fancy it : )

    ra.co/events/2437400

    Also the night after, on Friday, is a big EMOM event at hagglers corner where I'll be VJing for some of the artists upstairs. (Including the one I've been making the custom wheelie bin system for)

    ra.co/events/2371355

    #Sheffield #electronic #music #live #event #algorave #code #vj #visuals #audiovisual

  21. #TIL (through a colleague) about this project to reverse engineer #legacy #code into detailed specifications for #AI #agents: "Reversa: A Reverse Documentation Engineering Framework for Converting Legacy #Software into Operational Specifications for AI Agents" github.com/sandeco/reversa

    #ReverseEngineering

    See also: arxiv.org/abs/2605.18684

  22. #TIL (through a colleague) about this project to reverse engineer #legacy #code into detailed specifications for #AI #agents: "Reversa: A Reverse Documentation Engineering Framework for Converting Legacy #Software into Operational Specifications for AI Agents" github.com/sandeco/reversa

    #ReverseEngineering

    See also: arxiv.org/abs/2605.18684

  23. #TIL (through a colleague) about this project to reverse engineer #legacy #code into detailed specifications for #AI #agents: "Reversa: A Reverse Documentation Engineering Framework for Converting Legacy #Software into Operational Specifications for AI Agents" github.com/sandeco/reversa

    #ReverseEngineering

    See also: arxiv.org/abs/2605.18684

  24. #TIL (through a colleague) about this project to reverse engineer #legacy #code into detailed specifications for #AI #agents: "Reversa: A Reverse Documentation Engineering Framework for Converting Legacy #Software into Operational Specifications for AI Agents" github.com/sandeco/reversa

    #ReverseEngineering

    See also: arxiv.org/abs/2605.18684

  25. #TIL (through a colleague) about this project to reverse engineer #legacy #code into detailed specifications for #AI #agents: "Reversa: A Reverse Documentation Engineering Framework for Converting Legacy #Software into Operational Specifications for AI Agents" github.com/sandeco/reversa

    #ReverseEngineering

    See also: arxiv.org/abs/2605.18684

  26. Week 22 is now live - hopefully quite a quick challenge, since next week's will be bigger. The goal is to format text like quotes, poems or novels by right-aligning them based on some parameter values

    program52.com/en/challenge/202

    #coding #learn #code #programming #school #fun #challenge