alcinnz
alcinnz boosted
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 4 weeks ago

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
Elena Rossini
@ele@elenarossini.com  路  activity timestamp 3 weeks ago
https://elenarossini.com/2025/07/testing/

Please don鈥檛 mind me, I鈥檓 just testing if I broke the ActivityPub federation of this site (or not). If you鈥檙e reading this and didn鈥檛 get my previous post from today, it鈥檚 here:

My adventures in self-hosting: day 210 (viva FOSS!)

cheers!

#ActivityPub #micro #testing
Zelphir Kaltstahl
@zelphirkaltstahl@mastodon.social  路  activity timestamp 3 weeks ago

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 .
Zelphir Kaltstahl
@zelphirkaltstahl@mastodon.social replied  路  activity timestamp 3 weeks ago

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)

alcinnz
alcinnz boosted
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 2 months ago

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
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 4 weeks ago

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
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 2 months ago

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