#Tag
Async Concurrency relates to Multi-threaded Concurrency
the same as
Manual Memory Management relates to Garbage Collection
(at least in systems languages like #Rust)
#SoftwareEngineering #Concurrency #Async #Comparison #RustLang
Somebody asked me a advice for a new developer, My respose is "Read" read documentation of the technologies that you use(languages, libraries, frameworks) read about design patterns and good practices. Reading is important not only to get information also to mint agility. Now AI seems bring us all, but nowdays AI is not perfect, AI could be wrong like forums or other people so your main friend allways will be the official docs
#developer #softwareEngineering #ai
Software Performance: Avoiding Slow Code, Myths & Sane Approaches – Casey Muratori | The Marco Show
https://yewtu.be/watch?v=apREl0KmTdQ
(or YT: https://www.youtube.com/watch?v=apREl0KmTdQ)
Very inspiring #podcast/ #interview with Casey Muratori on how to create performant software - by The Marco Show.
Somebody asked me a advice for a new developer, My respose is "Read" read documentation of the technologies that you use(languages, libraries, frameworks) read about design patterns and good practices. Reading is important not only to get information also to mint agility. Now AI seems bring us all, but nowdays AI is not perfect, AI could be wrong like forums or other people so your main friend allways will be the official docs
#developer #softwareEngineering #ai
Apparently, we are storing log output in .yml files now! 😬
Apparently, we are storing log output in .yml files now! 😬
Async Concurrency relates to Multi-threaded Concurrency
the same as
Manual Memory Management relates to Garbage Collection
(at least in systems languages like #Rust)
#SoftwareEngineering #Concurrency #Async #Comparison #RustLang
Dear null,
A blog post by Dmitrii Aleksandrov:
https://home.expurple.me/posts/dear-null/
"Get the domain model out of your head. Get it out of external docs. Get it out of the unit tests. Put it right into the code that represents it. Let the compiler validate the model that you’ve designed."
THIS! 💯
#ProgrammingLanguage#SoftwareDevelopment#SoftwareEngineering#NullSafety
Dear null,
A blog post by Dmitrii Aleksandrov:
https://home.expurple.me/posts/dear-null/
"Get the domain model out of your head. Get it out of external docs. Get it out of the unit tests. Put it right into the code that represents it. Let the compiler validate the model that you’ve designed."
THIS! 💯
#ProgrammingLanguage#SoftwareDevelopment#SoftwareEngineering#NullSafety
Imagine if only 50% of the energy that is currently used to talk about #LLMs and "#AgenticCoding", was instead used to talk, teach and practice #TDD.
Imagine what kind of #software we will have in either scenario 10 years down the line...
Should Test-Driven Development (TDD) Be Used MORE In Software Engineering? - by the channel Modern Software Engineering:
https://inv.nadeko.net/watch?v=6yb7jKpxTjM
(or YT: https://www.youtube.com/watch?v=6yb7jKpxTjM)
Imagine if only 50% of the energy that is currently used to talk about #LLMs and "#AgenticCoding", was instead used to talk, teach and practice #TDD.
Imagine what kind of #software we will have in either scenario 10 years down the line...
Should Test-Driven Development (TDD) Be Used MORE In Software Engineering? - by the channel Modern Software Engineering:
https://inv.nadeko.net/watch?v=6yb7jKpxTjM
(or YT: https://www.youtube.com/watch?v=6yb7jKpxTjM)
Circuit Breakers prevent cascading failures. When a service fails repeatedly, stop calling it temporarily. Give it time to recover instead of making the problem worse with more requests. #DesignPattern#SoftwareEngineering
Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services
https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)
Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 🥺
https://github.com/model-checking/kani/issues/3965
Give her a follow:
https://github.com/carolynzech
#FormalVerification#FormalMethods #RustLang#Testing#SoftwareEngineering
Circuit Breakers prevent cascading failures. When a service fails repeatedly, stop calling it temporarily. Give it time to recover instead of making the problem worse with more requests. #DesignPattern#SoftwareEngineering
Examples
Manifest function (expected/stability):
- Sending kids to school, so that they become well educated
Manifest dysfunction (expected/instability):
- Holding on to fossil fuels as a ("cheap") energy source
Latent function (unexpected/stability):
- Kids might form deep relationships and belonging with other peers in school
Latent dysfunction (unexpected/instability):
- Increased human, social and economic cost of climate change caused by using fossil fuels for energy
2/3
I find this kind of stuff super fascinating! 🤓
You can recognize/apply these concepts everywhere:
Also in software dev:
Not properly fixing something, but instead do a workaround:
Manifest dysfunction:
Might be harder to extend in the future.
Latent function:
If it was properly fixed, the software would have become 2x faster, because the actual error has manifested itself in the execution of unnecessary logic.
3/3
Owi
https://github.com/OCamlPro/owi
Symbolic execution for #Wasm, #C, C++, #Rust and #Zig
"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."
#FormalVerification#SoftwareTesting#Testing#SoftwareEngineering #RustLang#ZigLang
Not doing unit-/integration testing is not a strategy - it's a clusterfuck!
A space for Bonfire maintainers and contributors to communicate
