#softwareengineering
119 posts · Last used 8d
Boosted by @welcome@friends.deko.cloud
Hello Mastodon. We're DynoKore. We build Keel, which holds what AI coding agents work from: requirements, acceptance criteria, rules and decisions as linked records, with a different agent reviewing every merge request.
Our proof is DynoInvoice, an e-invoicing system agents are building under Keel, with the source published for study.
Latest: we changed a core rule two weeks in, and no service had to be rewritten. https://dynokore.com/blog/one-rule-22-tasks/?ref=mastodon
#introduction #AIcoding #SoftwareEngineering
Boosted by @welcome@friends.deko.cloud
Hello #Fediverse! 👋 Here is my #Introduction as a #Backend Engineer on mastodon.social.
I specialize in building scalable APIs, distributed systems, and scalable AI infrastructure. My core focus is production reliability, systems architecture, and managing complex distributed workflows.
Stack of choice:
#Python
#FastAPI & #Django
#SystemDesign
Looking to connect with fellow developers and open-source maintainers. Drop a follow to talk shop! 🛠️
#SoftwareEngineering #DevOps #SRE #GetFediHired
Alright Fedi, I'm looking for a job out of AI hell. I know chances aren't great for anyone right now, but I'm taking mine anyway.
I'm a (senior?) #Python developer with 10 years of experience in both #DataScience and #SoftwareEngineering (with a preference for the latter). I can find my way around #Rust and don't shy away from #JavaScript. I've done a bit of #React lately and haven't found it terrible.
I thrive in team environments where I have time both to work on my own and in pairs or mobs ( https://mob.sh is a great tool I'd use again, but IntelliJ's Code With Me works too).
My greatest passion is automating the tasks around coding away - testing, building, deploying code with either the shortest set of commands or just fully automated from a pipeline on pull/merge requests.
I won't say no to places that require me to use AI, but I have a strong preference to be able to write my code myself.
Would love boosts for reach! Also thanks for reading 💖
#FediJob #BoostsWelcome #BoostsAppreciated #GetFediHired
Edit because I'm really dumb: looking in the greater #Mainz/ #Wiesbaden area in #Germany or fully remote. Remote is generally an important factor for me for personal reasons; if your company does things like "3 days a week office", I will only be able to do this in a very small radius.
Semantic Versioning Will Not Save You
https://hynek.me/articles/semver-will-not-save-you/
#SoftwareEngineering #OpenSource #Programming
jsonfile: a quick hack for tinkering
https://crawshaw.io/blog/jsonfile
#Go #Programming #SoftwareEngineering
How we use /goal to find bugs in Patch the Planet
https://blog.trailofbits.com/2026/07/28/how-we-use-goal-to-find-bugs-in-patch-the-planet/
#Security #BugHunting #SoftwareEngineering
Unlocking your data: the value is in collaboration
https://blog.scottlogic.com/2026/08/12/unlocking-your-data-in-collaboration.html
#Data #Collaboration #SoftwareEngineering
Why agentic AI starts with legacy modernisation
https://blog.scottlogic.com/2026/08/21/why-agentic-ai-starts-with-legacy-modernisation.html
#AI #SoftwareEngineering #LegacySystems
The fundamental problem of programming language package management
https://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package-management/
#SoftwareEngineering #Programming #OpenSource
Engineering flexible permissions for Zulip open-source team chat
https://blog.zulip.com/2025/03/20/engineering-flexible-permissions/
#OpenSource #TeamChat #SoftwareEngineering
Unintended consequences: Bound threads and unsafe FFI calls
https://blog.ezyang.com/2014/12/unintended-consequences-bound-threads-and-unsafe-ffi-calls/
#SoftwareEngineering #Programming #OpenSource





