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++
That would be shell prompt engineering 😅
September 12, 2025 at 5:51 AM
That would be shell prompt engineering 😅
Nice! I haven't noticed that. Now I see JetBrains ad on compiler explorer of the last C++ Weekly episode 🤔
January 18, 2025 at 5:12 AM
Nice! I haven't noticed that. Now I see JetBrains ad on compiler explorer of the last C++ Weekly episode 🤔
Maybe you could get sponsorship from some industrial IDE. Just saying. There are some really good ones, with AI and stuff. Which opens another can of worms about privacy and copyrights - another topic for a weekly episode?
January 18, 2025 at 4:52 AM
Maybe you could get sponsorship from some industrial IDE. Just saying. There are some really good ones, with AI and stuff. Which opens another can of worms about privacy and copyrights - another topic for a weekly episode?
His abridged answers seem exaggerated, but he also explains in well established pathways: fructose is metabolized only in liver leading to non-alcoholic fatty liver disease etc ("poison") - but only if fructose is chronically abused - also often the case. Then excess of carbs prevents use of fats.
December 31, 2024 at 1:16 PM
His abridged answers seem exaggerated, but he also explains in well established pathways: fructose is metabolized only in liver leading to non-alcoholic fatty liver disease etc ("poison") - but only if fructose is chronically abused - also often the case. Then excess of carbs prevents use of fats.
See also work by Robert H. Lustig, he has many talks on YT, he has been battling for kids and everyone for over decade. It's scandalous.
December 31, 2024 at 1:01 AM
See also work by Robert H. Lustig, he has many talks on YT, he has been battling for kids and everyone for over decade. It's scandalous.
There's a lot to reflect on. I'll pass it to my students. Thank you!
November 27, 2024 at 8:59 AM
There's a lot to reflect on. I'll pass it to my students. Thank you!
"it is nice to be important, but it is more important to be nice"
I heard it from Scooter, hyper, hyper! 😁
I heard it from Scooter, hyper, hyper! 😁
November 27, 2024 at 8:57 AM
"it is nice to be important, but it is more important to be nice"
I heard it from Scooter, hyper, hyper! 😁
I heard it from Scooter, hyper, hyper! 😁
Incredible talk. Can we have those implementations in the STL?
November 23, 2024 at 2:21 PM
Incredible talk. Can we have those implementations in the STL?
Part of "you don't pay for what you don't use" principle?
November 17, 2024 at 7:23 AM
Part of "you don't pay for what you don't use" principle?
I am new here. Perhaps this link is relevant:
bsky.app/profile/bsky...
bsky.app/profile/bsky...
💡 Tip: You can set your website as your username on Bluesky!
This is one form of self-verification, and we especially encourage official organizations and brands to do this! Examples include @npr.org @react.dev @duolingobrasil.com.br.
Here's our guide for how to do this:
This is one form of self-verification, and we especially encourage official organizations and brands to do this! Examples include @npr.org @react.dev @duolingobrasil.com.br.
Here's our guide for how to do this:
How to set your domain as your handle - Bluesky
Using a domain as your handle helps with account identity, verification, and portability. Here's how to set your domain as your handle.
bsky.social
November 16, 2024 at 8:53 PM
I am new here. Perhaps this link is relevant:
bsky.app/profile/bsky...
bsky.app/profile/bsky...
Obligatory selfie🫣
November 16, 2024 at 6:55 AM
Obligatory selfie🫣
Another storm surge barrier with a passage for eels
November 16, 2024 at 6:53 AM
Another storm surge barrier with a passage for eels
