Revisiting the Mars Rover Safety Monitor
by M. Anthony Aiello – Jul 17, 2025. In the blog
We just revisited the crucial role of high-integrity software in space exploration, focusing on the Mars Rover's safety monitor system. Check out how AdaCore's solutions help ensure mission success by keeping software reliable in the most critical environments.
blog.adacore.com/revisiting-t...
21.07.2025 12:36 — 👍 0 🔁 1 💬 0 📌 0
YouTube video by SAE Media Group
Ensuring Software Safety in the Automotive Industry
The @adacore.bsky.social CPRO Quentin Ochem, talks to Automotive Engineering (SAE Media Group) about the value of international standards like ISO 26262 in preventing recalls. www.youtube.com/watch?v=OoI2...
10.07.2025 10:02 — 👍 1 🔁 1 💬 0 📌 0
🧩 What do SAT solvers and Sudoku have in common?
Our latest blog explores how AdaSAT, a SAT solver in Ada, solves Sudoku — and what it reveals about modelling and constraint solving.
Read more: blog.adacore.com/solving-sudo...
#Ada #FormalMethods #Sudoku
08.07.2025 13:02 — 👍 1 🔁 0 💬 0 📌 0
Account maintained by the Common Weakness Enumeration (CWE™) Program to update the community on CWE-related announcements.
https://cwe.mitre.org
Bi-Weekly Digest for Rustaceans https://weeklyrust.substack.com/
Leading regulatory compliance for open source.
Hosted by @eclipse.org
On a mission to make software development a more productive and enjoyable experience. Make it happen. With Code.
The international conference about Rust in Italy.
(Florence, 2nd-4th November, 2025)
Cataloguing the Rust community's awesomeness. #rustlang
An annual conference dedicated to the Rust coding language.
EuroRust is a 2 day conference for the European Rust community. We cover all things Rust. Presented by @mainmatter.com
October 14-17 2026, Barcelona & Online
Open Source JobHub is aimed at developers, engineers, managers, marketers, and others within today's open source tech industry. Open Source JobHub provides resources to help you find the perfect job fit.
https://opensourcejobhub.com
Open source is collaboration, communication, community, and more.
Our goal is to make the people of open source and their lived experiences more visible.
Find out more at opensourcestories.org
Technology news and analysis with a focus on founders and startup teams.
Got a tip? http://techcrunch.com/tips
A 🌏 team of gadget obsessives here to help you make informed decisions on tech.
What to use, what to cancel. What to buy, what to skip.
Our in depth reporting on innovation reveals and explains what’s happening now to help you know what’s coming next.
Find our journalists on Bluesky: https://bsky.app/starter-pack/technologyreview.com/3lar7fofuwl2n
The premier online publication dedicated to the growing European technology ecosystem(s). https://tech.eu
Tech.eu Summit London 2026 -> https://tech.eu/summit
An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!
rustconf.com
Making videos about using Rust in embedded systems
https://youtube.com/@therustybits
A community of software developers sharing coding resources and general commentary.
Built on Forem, an OSS for building online community 🌱
Join the #DEVCommunity: https://dev.to 🌟
Find us in the Fediverse: https://fosstodon.org/@thepracticaldev
The source for everything Embedded Rust. Curated news and resources to up your Rusteacean game. 2x a month. 🦀
🗞️ Subscribe: http://theembeddedrustacean.com/subscribe
Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
The nonprofit organization behind the Python programming language. For help with Python code: http://python.org/about/help/
On Mastodon: @ThePSF@fosstodon.org
