Please don’t mind me, I’m just testing if I broke the ActivityPub federation of this site (or not). If you’re reading this and didn’t get my previous post from today, it’s here:
My adventures in self-hosting: day 210 (viva FOSS!)
cheers!
I am currently looking for a #job . I am an experienced (senior) software developer/engineer with 7y of experience. If someone is looking for a capable software engineer or knows someone looking for engineers, please let me know.
I do #python #scheme #django #docker and aim for reproducible software. I learned some #devops and #ansible and can manage servers. Used to do #fullstack dev work, before everything needed to be an SPA.
I am looking for #remote work or work in #berlin or #potsdam .
I also got experience with the following (5 = a lot, 1 = a little) :
#machinelearning #ml (3) (I have implemented some ML models myself in the past, for learning purposes.)
#guix (3) (Using it for reproducible setups of projects.)
#functionalprogramming #fp (5) (Doing it in my own projects.)
#objectorientedprogramming #oop (4) (last job and past 😜 in my own projects.)
#CI / #CD (3) (Last job)
#make (4) (using it for my own project setups and convenience)
#testing (4) (last job, own projects)
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
