Marius Mikučionis
@mikucionis.bsky.social
Software developer and lecturer.
Formal verification, testing, model-checking, timed automata, C++
Formal verification, testing, model-checking, timed automata, C++
Reposted by Marius Mikučionis
Huge thanks to all attendees of ISoLA 2025! Your contributions in Computer Science helped shape a successful and inspiring gathering. We look forward to what’s ahead. A special shout-out to our sponsors and supporters for making it possible!
#AISoLA2025
@easyconferences.bsky.social
#AISoLA2025
@easyconferences.bsky.social
November 11, 2025 at 7:33 AM
Huge thanks to all attendees of ISoLA 2025! Your contributions in Computer Science helped shape a successful and inspiring gathering. We look forward to what’s ahead. A special shout-out to our sponsors and supporters for making it possible!
#AISoLA2025
@easyconferences.bsky.social
#AISoLA2025
@easyconferences.bsky.social
Parent's guide to AI
natesnewsletter.substack.com/p/raising-hu...
natesnewsletter.substack.com/p/raising-hu...
Raising Humans in the Age of AI: A Practical Guide for Parents
Most articles focus on fear or don't how and why AI works: this guide offers a practical explanation of AI for parents, and a skills framework to help parents coach kids on real-world AI usage
natesnewsletter.substack.com
August 30, 2025 at 6:46 AM
Parent's guide to AI
natesnewsletter.substack.com/p/raising-hu...
natesnewsletter.substack.com/p/raising-hu...
All your communications belong to us🤦
youtu.be/3NyUgv6dpJc
youtu.be/3NyUgv6dpJc
GDPR meant nothing: chat control ends privacy for the EU
YouTube video by Louis Rossmann
youtu.be
August 21, 2025 at 10:13 PM
All your communications belong to us🤦
youtu.be/3NyUgv6dpJc
youtu.be/3NyUgv6dpJc
The Ultimate C++ Developer Masterclass Humble Bundle: 22 books for the price of one.
In particular I am excited about "Modern CMake for C++" and "Hands-on Design Patterns with C++", but there's something for everyone, really.
www.humblebundle.com/books/ultima...
In particular I am excited about "Modern CMake for C++" and "Hands-on Design Patterns with C++", but there's something for everyone, really.
www.humblebundle.com/books/ultima...
Humble Tech Book Bundle: The Ultimate C++ Developer Masterclass by Packt
The all-new Ultimate C++ Developer Masterclass Bundle by Packt is pitch perfect—get it now!
www.humblebundle.com
August 12, 2025 at 8:08 AM
The Ultimate C++ Developer Masterclass Humble Bundle: 22 books for the price of one.
In particular I am excited about "Modern CMake for C++" and "Hands-on Design Patterns with C++", but there's something for everyone, really.
www.humblebundle.com/books/ultima...
In particular I am excited about "Modern CMake for C++" and "Hands-on Design Patterns with C++", but there's something for everyone, really.
www.humblebundle.com/books/ultima...
Reposted by Marius Mikučionis
#LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems - CppCon 2024
www.youtube.com/watch?v=Kvhg...
#cpp
#cplusplus
www.youtube.com/watch?v=Kvhg...
#cpp
#cplusplus
LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems - CppCon 2024
YouTube video by CppCon
www.youtube.com
December 17, 2024 at 2:31 PM
#LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems - CppCon 2024
www.youtube.com/watch?v=Kvhg...
#cpp
#cplusplus
www.youtube.com/watch?v=Kvhg...
#cpp
#cplusplus
In a post-truth era we need to stand by the history more than ever.
youtu.be/7gxssycoxz0
youtu.be/7gxssycoxz0
NATO Expansion is a LIE
YouTube video by Jake Broe
youtu.be
December 15, 2024 at 3:21 PM
In a post-truth era we need to stand by the history more than ever.
youtu.be/7gxssycoxz0
youtu.be/7gxssycoxz0
Reposted by Marius Mikučionis
Think Parallel - Bryce Adelstein Lelbach - ACCU 2024
YouTube video by ACCU Conference
www.youtube.com
August 30, 2024 at 5:00 PM
A few impressions from STORM_SAFE project meeting in Gothenburg
November 16, 2024 at 6:49 AM
A few impressions from STORM_SAFE project meeting in Gothenburg