just read about TLA+/PlusCal and now really want to spend more time with formal verification https://en.wikipedia.org/wiki/TLA%2B
It's not necessarily *my* FOSS projects that I want to be successful, but rather the FOSS ecosytem as a whole. I have stewardship over my little slice of it, but the FOSS ecosystem is a much broader (and singular) thing that I believe we all have a joint responsibility in caring for.
All free software is ours for the improving: projects will welcome our contributions and we should focus on broadening our impact.
To accomplish this, it helps to work on reducing the mental leap it takes for you to go from user to contributor, until the line between the two roles is difficult to distinguish. Contribute early, contribute often, and you'll be rewarded with a healthier free software ecosystem.
Holy shit you guys! The #EU has adopted a standard to measure how repairable something is!
This means the path is now clear to make actual laws requiring companies to make their products repairable.
custom structural search inspections are really really nice :+1: https://blog.jetbrains.com/idea/2020/06/intellij-idea-2020-2-eap-5-java-15-related-problems-intentions-preview-and-more/ #intellij
I was talking about this last night throughout my replies but I reckon it ought to be posted outright:
dynamic linking bad
static linking good
🌟 @jett1oeil - Relaxing landscape photos
🌟 @Minetest - FLOSS alternative to Minecraft
🌟 @codeberg - Non-profit git hosting for free open source projects
🌟 @manyver_se - Serverless social network (in beta)
🌟 @disseminOA - Helping researchers get papers out of paywalls and onto free open repositories
🌟 @Blender - Official account for the libre 3D graphics suite
🌟 @blender - Official PeerTube instance for Blender (now fixed!)
@teckids_eV meine Firma arbeitet mit der Telekom im Mobilfunk zusammen. Was gibs denn?
Introducing the BARE message encoding
I've had my head turned by Linaria!
A really nice styled-components like CSS-in-JS library with no runtime!
Our new Fairphone 3 protective case is slim, lightweight and soft, yet sturdy enough to survive unexpected shocks and drops. This purpose-built case is just one more way we’re helping your phone last even longer. Now in GREEN! 💚 📱 Coming soon: https://bit.ly/2C9F8Da
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!