plazi_species, to China
@plazi_species@mastodon.green avatar
kubikpixel, to rust
@kubikpixel@chaos.social avatar

»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«

Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?

🦀 https://www.pm.inf.ethz.ch/research/prusti.html


#rust #rustlang #viper #coding #test

plazi_species, to thailand
@plazi_species@mastodon.green avatar
stignygaard, to photography
plazi_species, to thailand
@plazi_species@mastodon.green avatar
madargon, to drawing
@madargon@is-a.cat avatar

Spiny bush #viper with cool spiky scales 🐍​ It is even more visible on photos.

#drawing #art #MastoArt #CreativeToots #krita #ArtWithOpenSource #animal #snake

dismantl, to golang

Reminder to self: don't use a Go library that has almost 400 open issues and over 100 open PRs on github, no matter how widely used it is. I LOVE debugging race conditions in my code due to a poorly maintained dependency. 🙃​

spaceflight, to space

The #NASA #JPL got a nice #Juno 🛰️ video of the #Jupiter flyby, but it's got >200MB. So here's the 1MB version. Original : https://www.jpl.nasa.gov/images/pia25723-juno-offers-a-window-seat-for-a-jupiter-flyby

video/mp4

spaceflight,

will investigate whether the ocean 🌊 of 's could be a suitable habitat for life 🦠
II will put 👨‍🚀 into around the 🌙 before returning them home.
(Volatiles Investigating Polar Exploration Rover) will explore the moon's 🌙 south pole
will orbit the moon 🌙, measuring the temperature 🌡️ of the surface and mapping out the locations of water 💧 molecules
's Moon eXploration () will land on ' surface and collect a sample ⛏️ before returning to
's will study physical properties of the ☄️ and
https://www.cbsnews.com/news/space-missions-launch-2024-artemis-clipper-viper-moon-mars/

lancetay, to space
TheSpaceshipper, to bsg
@TheSpaceshipper@socel.net avatar

Battlestar Galactica (1978): Colonial Viper, filming miniature by Apogee
#bsg #galactica #viper #spaceship #model #miniature #scifi

budak, to singapore
@budak@kopiti.am avatar
itnewsbot, to science

NASA starts building ice-hunting Moon rover - Enlarge / Artist's concept of the VIPER rover working in lunar darkness... - https://arstechnica.com/?p=1954907 #johnsonspacecenter #astrobotic #science #artemis #space #rover #viper #moon #nasa

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • mdbf
  • ngwrru68w68
  • tester
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • InstantRegret
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • megavids
  • tacticalgear
  • osvaldo12
  • normalnudes
  • cubers
  • cisconetworking
  • everett
  • GTA5RPClips
  • ethstaker
  • Leos
  • provamag3
  • anitta
  • modclub
  • lostlight
  • All magazines