Selhosted P2P E2EE File Transfer & Messaging PWA

https://positive-intentions.com

* #OpenSource
* #CrossPlatform
* #PWA
* #iOS, #Android, #Desktop (self compile)
* App store, Play store (coming soon)
* Desktop
* #Windows, #MacOS, #Linux (self compile)
* run index.html on any modern #browser
* #Decentralized
* #Secure
* #NoCookies
* #P2P #encrypted
* No registration
* No installing
* #Messaging
* Group Messaging (coming soon)
* Text Messaging
* #Multimedia Messaging
* #Screensharing (on desktop browsers)
* Offline Messaging (in #research phase)
* #FileTransfer
* #VideoCalls
* #DataOwnership
* #SelfHosted
* GitHub pages Hosting
* #LocalOnly storage

Check them out!

(Degoogled links to the apps)
- P2P Chat: https://chat.positive-intentions.com
- P2P File: https://file.positive-intentions.com
- Encrypted drive storage: https://dim.positive-intentions.com/?path=/story/usefs--encrypted-demo

- GitHub: https://github.com/positive-intentions

IMPORTANT NOTES (PLEASE READ!):
* These are NOT products. It's for #testing and #demonstration purposes only.
* They have NOT been reviewed or audited. Do NOT use for sensitive data.
* All functionality demonstrated is experimental.
* This is NOT meant to replace robust solutions like #VeraCrypt, #Simplexchat, #Signal, #Whatsapp, #wetransfer. It's just a #proofofconcept to show what's possible with #browser#APIs.

Selhosted P2P E2EE File Transfer & Messaging PWA

https://positive-intentions.com

* #OpenSource
* #CrossPlatform
* #PWA
* #iOS, #Android, #Desktop (self compile)
* App store, Play store (coming soon)
* Desktop
* #Windows, #MacOS, #Linux (self compile)
* run index.html on any modern #browser
* #Decentralized
* #Secure
* #NoCookies
* #P2P #encrypted
* No registration
* No installing
* #Messaging
* Group Messaging (coming soon)
* Text Messaging
* #Multimedia Messaging
* #Screensharing (on desktop browsers)
* Offline Messaging (in #research phase)
* #FileTransfer
* #VideoCalls
* #DataOwnership
* #SelfHosted
* GitHub pages Hosting
* #LocalOnly storage

Check them out!

(Degoogled links to the apps)
- P2P Chat: https://chat.positive-intentions.com
- P2P File: https://file.positive-intentions.com
- Encrypted drive storage: https://dim.positive-intentions.com/?path=/story/usefs--encrypted-demo

- GitHub: https://github.com/positive-intentions

IMPORTANT NOTES (PLEASE READ!):
* These are NOT products. It's for #testing and #demonstration purposes only.
* They have NOT been reviewed or audited. Do NOT use for sensitive data.
* All functionality demonstrated is experimental.
* This is NOT meant to replace robust solutions like #VeraCrypt, #Simplexchat, #Signal, #Whatsapp, #wetransfer. It's just a #proofofconcept to show what's possible with #browser#APIs.

Friday Bookmarklet Time!

Another one that I put together because, well, I wanted a way to demonstrate an issue related to WCAG SC 2.4.11 Focus Not Obscured (Minimum) (Level AA) in an audit. All it does is track the element in focus and adds a secondary focus indicator that sits above other page content, so you can visualise where the issue is, ready for a screenshot.

#a11y #testing #tools #devtools

Friday Bookmarklet Time!

Another one that I put together because, well, I wanted a way to demonstrate an issue related to WCAG SC 2.4.11 Focus Not Obscured (Minimum) (Level AA) in an audit. All it does is track the element in focus and adds a secondary focus indicator that sits above other page content, so you can visualise where the issue is, ready for a screenshot.

#a11y #testing #tools #devtools

alcinnz
alcinnz boosted

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

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

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)

alcinnz
alcinnz boosted

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

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

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