Post AVTZ7ddO66M8Lux0CG by GlowingLantern@mastodon.online
(DIR) More posts by GlowingLantern@mastodon.online
(DIR) Post #AVLVah8fhxtJyLDMjQ by shibayashi@communicating.cypherpunk.observer
2023-05-05T13:20:44.443641Z
0 likes, 0 repeats
On December 11, 2022, I gave a talk at #TEDx #TUWien about “The Era of Green Software.” Aka a 15 minute rant about the sorry state of modern software and the consequences they have on every day life. I tried to shine some light on the importance of #Sustainability in the realm of #SoftwareDevelopment. The video is now online and I want to share it with the #Fediverse. If you liked it and think that it’s an #IdeaWorthSpreading, I’m happy about any boost :)#HackThePlanet 🌍https://youtube.com/watch?v=xtQOxGtmhy4
(DIR) Post #AVLvsz7UBxinlA2f1k by be4foss@floss.social
2023-05-05T13:45:45Z
1 likes, 1 repeats
@shibayashiThis is a very nice talk, thank you!Perhaps post also on PeerTube?Or link to Invidious to reduce unnecessary processes (data-mining, ads, tracking) when users watch the video:https://yewtu.be/watch?v=xtQOxGtmhy4
(DIR) Post #AVLwDqmIOxdxyA50eO by shibayashi@communicating.cypherpunk.observer
2023-05-05T18:19:09.594504Z
0 likes, 0 repeats
@be4foss thanks for linking to an Invidious instance. :)My own PeerTube instance has been offline for a while now, and I currently do not have an account on another instance. Also, I do not own the rights to that video, so I’m not sure if I’m allowed to re-upload it somewhere.
(DIR) Post #AVLwEVRpByd86Xojw0 by GlowingLantern@mastodon.online
2023-05-05T15:25:52Z
1 likes, 0 repeats
@shibayashi We definitely need more regulation in the software development industry, just like more traditional engineering fields. The focus is too often only on "productivity", i.e. how quickly can one code something, rather than the quality of that code.As for choosing better programming languages, #Rust is a great example of a modern programming language that tries to be as secure and efficient as possible, while also reducing complexity for the programmer.
(DIR) Post #AVLwLjHi94jZ2uWzMu by shibayashi@communicating.cypherpunk.observer
2023-05-05T18:20:33.303328Z
0 likes, 0 repeats
@GlowingLantern I fully agree with you 👍
(DIR) Post #AVTZ7NrKkU0LQXLuiG by mtomczak@qoto.org
2023-05-05T18:22:32Z
1 likes, 0 repeats
@GlowingLantern @shibayashi I like this idea but I'm always torn on this idea, because I don't know, if such regulation already existed, that #Rust could ever get off the ground in a world where C and C++ already exist.Those languages are already certified (where such certification exists) for safety-critical and performance-critical applications, and how can places justify the cost to certify yet another language if they already have one? In some ways, the lack of regulation leaves room for better to come along.
(DIR) Post #AVTZ7bvkQrr14HWdXM by GlowingLantern@mastodon.online
2023-05-05T19:24:11Z
1 likes, 0 repeats
@mtomczak @shibayashi I see your point, but I would argue that certification with Rust would probably be easier, as it has more guarantees than C/C++. Even inexperienced (or tired!) programmers produce memory safe code in Rust, which is definitely not the case in C/C++. Certification bodies may even require companies to use programming languages and libraries with security and efficiency guarantees, as they do now with static analysis, adequate testing, etc.
(DIR) Post #AVTZ7ddO66M8Lux0CG by GlowingLantern@mastodon.online
2023-05-05T19:35:45Z
1 likes, 0 repeats
@mtomczak @shibayashi More "red tape" doesn't necessarily mean less innovation. It could even create a more level playing field and allow everyone to "play by the same rules", so to say.
(DIR) Post #AVTZ86ltlXOYii9hzM by mtomczak@qoto.org
2023-05-05T20:10:42Z
1 likes, 0 repeats
@GlowingLantern @shibayashi Ideally, I'd like it to work that way.My conern is cert orgs will have incentive to lean on C++'s mere age as proof that it's reliable, leaving a language like #Rust to fight an uphill battle like "We understand that if you do XYZ, you can panic the Rust compiler. It's really hard to crash a C++ compiler. Can we prove that a compiler that panics can create safe code / the language it compiles is sound if it can crash its own compiler?"... completely ignoring that C++ might just generate undefined behavior instead of crashing.A lot would come down to getting the rules by which a standards committee operates to be sane.
(DIR) Post #AVTZ8YNl6sisLx4pFY by PointyFluff@mastodon.world
2023-05-06T02:55:06Z
1 likes, 0 repeats
@mtomczak @GlowingLantern @shibayashi NIST now considers Rust a "safer language". https://www.nist.gov/itl/ssd/software-quality-group/safer-languages